在白盒测试中,测试人员重要任务之一就是查找不可达语句。很多软件相关人员尤其是开发人员都存在一种错误的观念,他们认为不可达语句对程序的质量影响不大,不可达语句仅仅增加了代码的存储容量,降低了代码的可读性而已。可他们没有想到这一点:在设计上,是不会设计出不可达语句的,所以正常的编码中是不应该存在不可达语句的,尤其是绝对不能出现路径不可达语句与逻辑不可达语句。如果存在这两类不可达语句,很可能的原因是出现了编码错误。对于航空、航天、军工等行业的软件,出现这样的错误往往会带来灾难性的后果。因此,对于白盒测试人员来说,尽量全面的找出代码中存在的不可达语句是一项非常重要的工作。然而,面对动辄上万,十万乃至百万行的代码,测试人员往往只能是尽力而为了。因此,如果找出一种方法能够自动的查找出不可达语句,必将会大幅度降低测试人员的工作量,促进代码质量的提高。下面我们就对不同种类的不可达语句的查找方法进行阐述。 在白盒测试中,测试人员重要任务之一就是查找不可达语句。很多软件相关人员尤其