【摘 要】
：
基于DD图理论能够获取覆盖整个路径的分支测试路径集合,但缺少精简无约束边集合的方法,分支测试用例选取复杂,工程应用更少。在DD图提炼无约束边集合的基础上,对程序路径树进
论文部分内容阅读
基于DD图理论能够获取覆盖整个路径的分支测试路径集合,但缺少精简无约束边集合的方法,分支测试用例选取复杂,工程应用更少。在DD图提炼无约束边集合的基础上,对程序路径树进行研究,提出通过循环计算路径树未被选中路径中包含的未被覆盖无约束边的个数,实现最优化分支覆盖测试路径集选择方法,满足基于DO-178B和GJB/Z 141军用软件语句、分支和MC/DC测试覆盖指标要求。实际工程应用结果表明,该方法实现了优化测试用例,满足了测试充分性要求。
其他文献
地下管线施工是市政施工的重要组成部分,与整体市政施工质量息息相关。地下管线施工质量在很大程度上决定了城市的 运营状态。本文论述了地下管线施工的作用,概括了市政施工
放射源污染已经成为环境污染中的重要问题,放射源检测是避免核污染的有效方法。阐述放射源在线监控系统的设计思路,该系统利用ZigBee技术,集辐射剂量测量、放射源定位、放射
800t 变幅桥面起重机是针对商合杭铁路芜湖长江公铁大桥专项设计的桥面施工设备,设计之初,考虑后期其他项目桥梁架 梁的改造需求,在整体结构和电气控制上采用模块化设计,具备
【正】在机械加工中,深孔是指孔深与孔直径之比L/D为5~10的孔。深孔加工属于机械加工难点,其工艺复杂,一般采用半封闭式切削加工的形式,加工中的散热、冷却和排屑是需要重点
近年来,我国政府采购制度体系已初步完成。但随着政府采购范围、规模的逐步扩大,政府采购效率低、周期长的问题越来越突出,采购人对此意见较大,协议采购方式由此应运而生。
【正】无位置传感器无刷直流电动机(BLDCM)不直接检测转子磁极位置,与有刷电机相比,既减少了位置传感器,又简化了电动机本体结构。本文,笔者以某BLDCM控制系统设计为例,对无
2008北京奥运会期间用水保障问题一直备受关注。从河北省水利部门了解到，奥运期间，河北将全力保障北京用水。河北在保定一带建有四个水库，作为向北京供水的调解库和备用水源足以
【正】 经济适用房 俏销 从1993年开始,我国不少的大中城市均把经济适用房的建设纳入地方政府的一级管理目标,房改部门始终督办协调服务,规划土地部门从建设立项、土地定位到
王大庆酷爱观鸟和摄影,经常利用闲暇时间前往野外摄影观鸟。十余年来,他在汝州境内观察记录的鸟类超过300种,其中,红颈瓣蹼鹬、长嘴鹬、红颈苇鹀、草地鹨、西方秧鸡、铁爪鹀6
牛胃肠炎是牛常见的疾病,其特征是牛的胃部、肠粘膜和深层组织出现炎症,如果不能采取及时有效的治疗措施,牛会日渐消瘦,严重的会死亡。为此,应该明确该病的病因,做出科学的诊