基于错误的表达式测试研究

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

On Fault-Based Expression Testing

Because of the wide coverage of the LRAUC faults on the various program faults, the detection of LRAUC faults in expressions is studied in our expression testing research. In this paper, the weakness in current expression testing research is described first. Then, to solve the problem of general expression testing in program contexts, we describe the fault/failure process of expression faults. By simplifying the factors which affect process complexity, we propose a method for single-path testing expression LRAUC. The realization of the method is described, and the algorithm to construct the constraint set of expression LRAUC single-path testing is given.