【摘 要】
：
作为动态测试充分性的基本评价指标,覆盖率分析只能帮助修正因输入不足而导致的测试用例设计缺陷;针对航天嵌入式软件测试过程中不影响覆盖率统计结果的用例设计缺陷,从测试
【机 构】
：
北京控制工程研究所,北京轩宇信息技术有限公司
论文部分内容阅读
作为动态测试充分性的基本评价指标,覆盖率分析只能帮助修正因输入不足而导致的测试用例设计缺陷;针对航天嵌入式软件测试过程中不影响覆盖率统计结果的用例设计缺陷,从测试步骤和预期结果两大测试用例核心要素开展研究,提出十个典型缺陷,分别予以分析,并进行缺陷修正;工程实践证明,这些缺陷的发生率高,具有典型性;修正这些缺陷后,可以有效检出软件设计缺陷;与用例执行后的覆盖率统计数据分析相结合,可以有效提高测试充分性。
其他文献
针对目前公路工程中最常见的路面采用3m直尺、连续式平整度仪、激光路面平整度仪、车载式颠簸累积仪等技术进行检测,对其路面平整度、路床压实度、路面承载能力及路面抗滑能
我厂现用的球磨机都是一个方向旋转。当大齿轮单面使用周期到后，需要翻面，这就需要停磨3－4天，且检修工作量也大。若使球磨机反转，就可以直接使用大齿轮的另一面。本文通过对小轴承
随着人口老龄化,老年精神病患者增多,特别是忧郁患者自杀有上升趋势,住院期间通常采用各种不同的方式来自杀。所以,在老年科病房中做好安全防护至关重要。
提出了一种立式可旋转自行车存取装置的设计方案,该装置主要由举升装置、圆柱形固定架、液晶显示屏、旋转底座、伺服系统组成,通过提升机构将自行车竖立沿圆周摆放,配合底座
现阶段我国经济事业飞速发展同时也带动了广播电视文化创意产业的加速崛起。当今社会发展势头最迅猛的应该就是广播电视媒体,广播电视媒体属于高科技媒体技术,在文化产业中占
目的探讨糖尿病合并肛周脓肿患者术后应用清热养阴托毒汤的临床疗效。方法选取该科2017年1月—2019年1月阶段接收的糖尿病合并肛周脓肿手术患者80例,按照术后治疗方式分为观
文章首先对互联网时代下气象信息服务系统的建设需求进行简要分析,在此基础上对互联网时代气象信息服务系统的设计实现进行论述。期望通过本文的研究能够对推动我国气象信息
本文对切空载变压器所产生的截流过电压进行了研究。利用ATPDraw程序,建立切空载变压器的仿真计算模型,考虑不同型号的变压器与不同长度电缆的组合,计算所产生的过电压,并将
智能台区综合管控技术,将新型智能配变终端与新型模块化JP杆上配电控制箱的设计相融合。通过GPRS无线通信方式、数据分析技术,实现全数据采集、全状态管控、全业务融合,建立
以东北农业大学的基础化学系列实验教学改革为例，从实验教学模块设置、网络平台构建、绿色实验推进、开放性综合化学实验的开设等角度，阐述了基础化学系列实验课程“一体化、多