搜索筛选:
搜索耗时0.5992秒,为你在为你在102,285,761篇论文里面共找到 192 篇相符的论文内容
发布年度:
[期刊论文] 作者：宫云战,,
来源：装甲兵工程学院学报 年份：2004
软件剩余初始故障个数Ｎ０、平均无故障时间ＭＴＢＦ、故障暴露率λ和软件运行的成功 率φ等是衡量软件可靠性的重要参数。其中对高可靠性软件（包括军用软件等）ＭＴＢＦ是最重要的。 传统的ＭＲＢＦ计算方法......
[会议论文] 作者：宫云战,,
来源： 年份：2004
近十年来,软件的质量受到广泛重视,软件的可靠性被视为安全第一软件的生命。围绕如何提高软件的质量特别是如何提高软件可靠性技术,软件技术得到了长足的进步,特别是软件测试...
[期刊论文] 作者：宫云战,,
来源：创新世界周刊 年份：2004
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技...
[期刊论文] 作者：宫云战,
来源：装甲兵工程学院学报 年份：2004
MTBF,初始故障数N,故障暴露率K,一次运行的成功率θ是软件可靠性的基本参数,也是反映软件可靠性的关键因素.在理论分析和工程应用实验基础上,给出了这些参数的计算方法....
[期刊论文] 作者：宫云战,,
来源：装甲兵工程学院学报 年份：2004
面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测...
[期刊论文] 作者：宫云战,
来源：装甲兵工程学院学报 年份：2004
故障模型是测试的基础,也是一个测试方法成熟的重要标志。软件的错误表现为2个方面:①计算结果错误;②系统“死机”。导致第1类错误的故障相对来说是比较容易检测的。导致系统死机的故障其后果是严重的,这类故障由于一般其检测概率较小,也往往难以检测。死循环......
[期刊论文] 作者：宫云战,,
来源：装甲兵工程学院学报 年份：2000
...
[期刊论文] 作者：宫云战,,
来源：装甲兵工程学院学报 年份：2003
软件的缺陷是软件质量的重要因素之一,低缺陷密度的软件是高质量软件的必要条件.软件的缺陷是不可避免的,统计表明,经过PSP训练的软件工程师平均引入的缺陷密度为50个缺陷/kL...
[期刊论文] 作者：宫云战,
来源：装甲兵工程学院学报 年份：2004
全世界大约有700万个软件工程师,每年大约开发100万个软件项目,并以每年10％以上的速度在递增,在所有这些项目中只有9％的项目是成功的,也就是说,只有大约9万个软件项目能在规定...
[期刊论文] 作者：宫云战,
来源：装甲兵工程学院学报 年份：2000
...
[期刊论文] 作者：李东, 宫云战,,
来源：装甲兵工程学院学报 年份：2004
论述了软件测试技术近几年来研究的最新成果。包括软件的故障模型、白盒测试技术、黑盒测试技术、人工测试技术、可靠性测试技术和测试性设计技术等。以作为对近十几年来软件...
[会议论文] 作者：金大海, 宫云战,,
来源： 年份：2004
本文介绍了一种面向对象程序自动执行模型,用以辅助自动化测试。该模型将对象转换图、状态转换图、状态转换驱动和脚本选择器等部件相结合,自动选择并运行测试脚本,同时经状...
[期刊论文] 作者：金大海, 宫云战,,
来源：装甲兵工程学院学报 年份：2004
介绍了一种数据驱动方法,用以实现自动化测试。通过对测试数据的产生及选取、控制数据调度的 研究发现,不仅应用更灵活的数据驱动方法,对程序进行更深、更广的测试,而且无需...
[期刊论文] 作者：万琳, 宫云战,,
来源：火力与指挥控制 年份：2002
根据嵌入式火控软件的数据特点 ,设计了相应的划分测试原则。并以某型坦克火控软件的实验数据对比了划分测试与随机测试的覆盖率 ,总结出对于该类软件划分测试具有一定的优势...
[期刊论文] 作者：曹文静,宫云战,
来源：计算机工程与设计 年份：2003
在软件开发和评估过程中,软件测试性是一个越来越需要考虑的重要因素,对于软件测试性的计算则是指导软件进行有效测试的理论工具.目前,对软件测试性有几种不同的理解,从而导...
[期刊论文] 作者：曹文静,宫云战,
来源：计算机工程与科学 年份：2005
由于表达式LRAUC错误对程序中各类错误的广泛覆盖性,本文以表达式 LRAUC错误为检测对象,研究了表达式测试方法。本文首先阐述了当前表达式测试方法理论研究的局限性;然后,为了解决处于程序上下文中的一般表达式测试问题,研究了表达式错误/失效过程,并对影响该过......
[期刊论文] 作者：何新华,宫云战,
来源：电子科学学刊 年份：1997
二元判定图的有效描述将大大提高验证和测试生成效率。作者根据电路结构的特点，以标准门的ＢＤＤ为基础，从原始输入到输出，通过逐级拼接，极有效地完成电路的ＢＤＤ构造，另外根据验证和测试的需......
[期刊论文] 作者：何新华,宫云战,
来源：计算机辅助设计与图形学学报 年份：1997
本文分析了固定故障所反映出的状态变换特征，提出状态变换故障模型。基于无复位时序电路，详细研究了有复位的同步电路测试生成问题及在无复位电路中的应用。最后讨论了故障精简......
[期刊论文] 作者：万琳,宫云战,
来源：计算机工程 年份：2001
主要针对我国装备领域的一种嵌入式控制软件的数学仿真平台模拟测试，介绍了平台的结构及被测软件的设计，并对测试所收集的各项数据进行分析，同时简单讨论了可测试剖面及覆盖率的......
[期刊论文] 作者：曹文静,宫云战,,
来源：计算机辅助设计与图形学学报 年份：2007
针对C/C++程序中的非法计算,形式化定义了非法计算故障;建立了表达式区间运算模型、变量取值区间集产生模型和非法计算故障模型,并将其作为静态识别非法计算的基础;提出了非法计算自动测试算法.实验结果表明,文中方法具有较高的故障检测准确率和测试效率.......
相关搜索：
