【摘 要】
：
动态测试主要是通过设计测试用例、开发和运行测试程序来发现软件中存在的错误。如何判断设计的测试用例是充分的,针对不同级别的软件,DO-178B规定了不同的结构覆盖标准。本
【机 构】
：
南京航空航天大学,中国航空无线电电子研究所
论文部分内容阅读
动态测试主要是通过设计测试用例、开发和运行测试程序来发现软件中存在的错误。如何判断设计的测试用例是充分的,针对不同级别的软件,DO-178B规定了不同的结构覆盖标准。本文针对A级软件,给出一种适合MC/DC准则的最小测试用例集快速设计方法。针对一个判定中同一条件出现多次的复杂情形引起的两种不同用例设计思路,结合LDRATestbed覆盖分析结果,总结出合理的设计方法。
其他文献
药物制剂工艺与制备课程是高职药物制剂技术专业的核心课程。依据高职人才培养目标,确定本课程的目标是,培养学生的药物制剂生产和操作岗位核心能力。在课程实施中,采用灵活
<正> 混凝土搅拌质量的测定到目前为止还在沿用一九六八年制定的质量标准和测试方法,但是这种测定还不能对混凝土拌合物的均匀性提供准确的结果。为了对BⅡ类的混凝土搅拌质
通过对武汉琴台大剧院消费者进行实地调查,以多次到琴台大剧院观看表演的消费者的问卷信息作为潜在消费者的研究样本,通过数据分析、逻辑分析等分析方法,探究琴台大剧院潜在
目的探讨骨髓活检和染色体标本同时取材，并分析骨髓活检联合染色体检查方法在全血细胞减少症中的诊断效果及临床价值。方法随机选取2012年3月～2017年9月在本院接受治疗的全血细
为了满足经济和社会发展的需要,实现教育部提出的培养应用型人才目标,首先对目前大学生英语教学中存在的问题进行了分析和研究,针对说、写能力差的问题提出了改革教学内容,增
研究不同的提取温度、提取时间和提取pH值等对米糠多糖提取得率的影响.采用响应面分析的方法得到米糠多糖的最佳提取条件为:温度80.5℃,时间1.3h,pH值4.93.并在此基础上,比较
通过对容器苗根系生长同地上部分生长关系以及不同高度容器苗造林成活情况的调查研究, 确定四翅滨藜最佳出圃高度为6 ～20cm , 使该树种1 年可连续育苗、出圃造林3 次。
<正> 在历史上,服务劳动曾是一种家庭内部的劳动,表现为人们在生产劳动之余的一种自我服务。即便在今天,人们的这种自我服务倾向仍未完全消失,不过表现的形式不同而已。随着
<正>光阴荏苒,岁月更迭。从1999年,黄金周制度的实施,到今天将近8亿人次的出行,我国的假日经济已走过了20年光辉历程。20年,让大家切实感受到了时代进步的同时,也是带动相关
连续检波对数视频放大器（SDLVA）大量使用于电子设备中。本文对SDLVA在振动试验中出现的故障原因进行了分析和研究,并给出了相应的整改方法。经过验证,SDLVA的可靠性得到了明显