论文部分内容阅读
本文介绍了一种软件测试技术——代码覆盖分析,讨论了在测试计划中增加覆盖分析时应该考虑的细节,详细介绍了代码覆盖的基本方法和一般方法,并对各种方法进行了分析比较.
代码覆盖分析技术研究
【摘 要】
：
本文介绍了一种软件测试技术——代码覆盖分析,讨论了在测试计划中增加覆盖分析时应该考虑的细节,详细介绍了代码覆盖的基本方法和一般方法,并对各种方法进行了分析比较.
【机 构】
：
装甲兵工程学院技术保障系 装甲兵工程学院信息工程系(北京)
【出 处】
：
第十届全国容错计算机学术会议
【发表日期】
：
2003年11期
其他文献
目前我国许多印染企业在近几年来纷纷完成了ISO 9000质量管理体系认证工作,在完善了质量管理的基础上,进一步开展质量成本管理,在提升竞争力的过程中充分发挥质量体系应有的作用.本文介绍了质量成本的概念、组成和意义,并对获证企业如何开展好质量成本管理方法提出了几点建议.
本文主要围绕Reactex HQ-L系列活性染料时纯棉织物进行染色时的工艺条件进行研究,通过对不同工艺因素(染色温度、盐用量、碱用量、浴比等)的研究,确定了比较合理的染色工艺.
纺织品的染色牢度是评价其质量的重要指标,也是是否达到"生态纺织品"的主要指标之一.但是活性染料深浓色织物的湿牢度和湿摩擦牢度,浅色织物的日晒牢度,以及分散染料因热迁移现象而造成的色牢度下降成为近几年业界讨论的热点.本文重点从工艺合理化提高染色牢度详细分析讨论,以期获得一定效果.就涤/锦和棉/锦交织物提高染色牢度提出看法.
本文对甲(月朁)型活性染料及其构效关系进行了探讨。文章围绕甲(月朁)为母体的活性染料、甲(月朁)活性染料的合成、甲(月朁)活性染料的结构和光谱性能、甲(月朁)活性染料的应用性能等进行了论述。
随着集成电路设计复杂性的日益增加,功能验证已成为整个设计流程的瓶颈.传统的模拟验证方法需要大量的时间,而且不能获得完全的覆盖率;形式验证方法是模拟方法的重要补充,它无需产生测试激励,不仅能够缩短设计周期,而且能够达到完全的功能覆盖率.本文介绍了目前应用最广泛的一种形式验证方法——等价性检验在一款通用CPU设计验证中的应用,包括RTL设计与门级网表、门级网表与门级网表、RTL设计与RTL设计之间的功
本文介绍了一种可修复的三模冗余容错计算机,在建立该机故障模型的基础上,提出了一种高效的、可检测处理系统故障和表决器故障的表决机制.
本文研究了针对网络的基于三值BGM模型的分布式系统级故障诊断问题,主要对一步可诊断性的相关问题进行了研究,解决了相应的可诊断度问题、特征问题等,并提出了进一步需要解决的问题.
软件测试和软件容错是两种提高软件系统可靠性的主要技术手段.本文根据文献提出的一种基于规范和程序域分析的软件测试方法,开发出90个测试用例,对34个版本的RSDIMU容错软件进行测试.实验表明:软件测试和软件容错技术相结合,可以进一步提高软件系统的可靠性.