论文部分内容阅读
由于表达式LRAUC错误对程序中各类错误的广泛覆盖性,本文以表达式 LRAUC错误为检测对象,研究了表达式测试方法。本文首先阐述了当前表达式测试方法理论研究的局限性;然后,为了解决处于程序上下文中的一般表达式测试问题,研究了表达式错误/失效过程,并对影响该过程复杂性的因素进行了简化,提出了表达式LRAUC单路测试方法;阐述了此方法的具体实现,给出了表达式LRAUC单路测试约束集构造算法。