摘要：

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

关键词: 软件测试 程序失效 表达式测试方法 单路测试方法 计算机 软件开发