逻辑覆盖法教学过程的分析与设计

软件测试中两种非常重要的方法就是黑盒测试和白盒测试,白盒测试的核心是针对被测软件的内部逻辑如何进行测试,白盒测试中一种很重要的方法就是逻辑覆盖法,该方法关注点是判定—条件表达式本身的复杂度,通过对程序逻辑结构的遍历来实现对程序的覆盖,遵循的基本原则是对程序代码中所有逻辑值均需测试真值和假值,实现更广泛的覆盖率,进而达到软件测试的目的。

判定覆盖和条件覆盖的比较研究

判定覆盖和条件覆盖是白盒测试中常用的方法,分析并得出结论:在具有短路特性的计算机语言编写的程序中,满足条件覆盖的测试用例是满足判定覆盖的,反之则不然。

软件单元测试用例设计探讨

单元测试的核心工作是根据软件需求规格说明、详细设计说明和源代码编写单元测试用例集。介绍了单元测试用例设计的逻辑覆盖法和路径覆盖法,剖析了它们的优缺点,并结合这两种用例设计方法,给出了一种循环结构的测试策略。