语句覆盖相关论文
介绍了软件测试覆盖的基本概念和不同关键等级软件的测试结构覆盖要求。重点对修正的条件/判定覆盖(MC/DC)要求进行了分析和研究。......
本文基于测试工具LDRA Testbed实现飞机航电系统综合数据记录系统的单元和部件测试的研究.以飞机综合数据记录系统为例,通过测试过......
与串行程序不同,并行程序不仅存在大量不同类型的通信语句,而且执行过程具有不确定性。这使得许多已有的串行程序测试方法不适用于......
对于系统软件故障问题,现在普遍方法是Tarantula和Ochiai故障定位方法,在研究这两种方法时发现,在测试用例出现冗余的情况下,得出......
代码覆盖率是衡量软件测试效果完整性的重要指标.本文讨论了一种代码覆盖工具的实现方案,该方案可以自动地统计代码覆盖率并具有较......
软件白盒测试是测试行业常用的一种工具,可以对软件的逻辑路径进行覆盖测试。本文通过论述软件白盒测试的作用及效果,指出白盒测试......
本文讨论了HDL测试过程中的代码覆盖问题,重点分析了语句覆盖、路径覆盖和表达式覆盖等三种覆盖方法,并给出了相应的例子.......
针对软件因涉及多程序要素间相互作用而来的复杂缺陷,研究了基于信息流的关键软件缺陷定位技术,对现有的信息流进行了扩展,并对经......
语句覆盖和判定覆盖测试标准是两个著名的测试标准，这两个标准广泛的应用于软件测试。本文就语句覆盖和判定覆盖测试标准之间手差别......
随着软件产业的飞速发展,人们对软件质量的要求也越来越高.现在,软件已经直接影响到了我们项目的成功和设备的安全.而软件中的复杂......
符号执行中约束求解所占的时间比例非常高.同时,不同复杂度约束的求解时间开销差距悬殊,这一现象在对包含复杂数值计算的程序进行......
针对基于宿主机的嵌入式软件测试,提出一种单元测试中通用的语句覆盖率测试方法,通过插桩技术,采用向源代码插桩实现语句覆盖率测......
本文以无线电调谐单元设备中的无线电调谐软件为例,通过引入LDRA TESTBED自动化测试工具提高测试效率,实现满足DO-178C中的语句覆......
伴随着软件和硬件的发展而逐步发展起来的软件测试。软件测试是一种检验手段,目的是为了寻找软件系统的中缺陷,在业界已经有越来越......
在对汇编语言源程序的测试工作中，山于其非结构化的设计思想以及众多的跳转指令，使得插桩非常困难。该文在汇编嵌入式软件程序流程图......
Fuzzing是一种有效的软件脆弱性动态测试方法,为了避免传统Fuzzing技术的盲目性所导致的测试效率低下的问题,提出了静态分析和遗传......
测试用例的数量与质量往往决定着测试工作的效率和系统的质量。论文主要研究基于UML模型中的状态图实现测试用例的自动生成。测试......
