【摘 要】
：
单元测试是软件质量保证的重要技术方法,也是安全关键软件测试中必不可少的重要环节。介绍了传统单元测试方法中覆盖程度较高的Z-路径覆盖,通过程序实例和理论分析,对Z-路径
【机 构】
：
北京航空航天大学计算机学院,中国人民解放军96901部队
论文部分内容阅读
单元测试是软件质量保证的重要技术方法,也是安全关键软件测试中必不可少的重要环节。介绍了传统单元测试方法中覆盖程度较高的Z-路径覆盖,通过程序实例和理论分析,对Z-路径覆盖在对循环的测试中出现的问题进行分析,证实了传统Z-路径覆盖可能存在的缺陷,并在此基础上提出一种改进的Z-路径覆盖准则,给出了相应的测试用例补充方法,以保证测试用例的充分性。此外还提出了一种检测未覆盖出口的方法,进一步提高和保证单元测试的充分性。最后,对相关工作进行了总结和展望。
其他文献
目的:探讨半硫丸改善甲减生殖机能的作用机制.方法:采用随机平行对照方法,观测半硫丸大、小剂量,甲状腺片,甲状腺片合半硫丸对实验性甲减大鼠甲状腺功能与性激素水平的影响.
目的 探讨全反式维甲酸（ATRA）对兔晶状体上皮细胞（RLECs）移行性和黏附性的影响及其作用机制，筛选防治后发性白内障的药物。方法 于第二代体外培养RLECs中添加浓度为10^-8～10^-5mmol
面向商业航天高可靠伺服产品研制,构建了基于系统化管理和持续改进理念的系统QFD模式,提出基于组合质量技术的质量功能展开(Quality Function Deployment,QFD)应用、寿命周期
钻井监督是油公司驻现场的全权代表，其职责是依合同、设计、标准规范等对钻井工程实施质量、成本、进度和HSE等全过程的监督或阶段监督。
目的观察高度近视眼行准分子激光非球面切削与普通球面切削的视力、Q值和像差差异，探讨非球面切削对提高视觉质量的作用。方法高度近视眼病例56例（112眼）分为两组，分别行非球面切
目的 建立反相高效液相色谱法（ＨＰＬＣ）测定兔眼玻璃体内帕米的浓度。方法 蛊外伤性增生性玻璃体视网膜病变（ＰＶＲ）动物模型，结膜下注射１．２５ｍｇ／０．５ｍｌ维拉帕米，按时抽取玻璃体样品，经提取、浓缩处理后，采用ＨＰ１０５０ＨＰＬＣ系
重点分析新型螺旋流量计量仪表现场试验与计量含水达80％以上的原油分析仪表的可行性。探讨随着油田原油采出液中含聚合物、含沙、高含水等杂质呈逐年增高的趋势和高含水油计量
目的:观察消痰散结方对裸鼠胃癌组织及体外培养的胃癌细胞中基质金属蛋白酶及其抑制剂表达的影响,初步探讨消痰散结方抑制胃癌浸润转移的作用机理.方法:体外培养MKN-45人胃癌
建筑物的电气供配电安装在整个电气作业中占据着非常重要的地位。但是复杂的系统集成以及大量的质量控制要求使其成为电气施工中的重点和难点因而需要对其施工技术和管理措施
强直性脊柱炎（AS）是一种主要侵犯脊椎并可累及周围关节的慢性进行性炎性疾病。本病几乎累及全部骶髂关节，后期可造成脊柱或受累关节的强直畸形，终可导致全身残疾。近年来．笔者采用