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