One of the main challenges of software testing research is the automated addition of oracles to the generated test cases: Whereas the automated generation of operation sequences (which is one of the essential components of test cases) is in practice a solved problem, the automated addition of the oracle (another indispensable element) is still an important problem and an open research question. This article proposes an approach to get executable test suites composed by complete test cases (i.e., they include the oracle). The core of the method is based on annotated regular expressions. The test generation process, which is supported by a tool, follows three steps: (1) creation of annotated regular expressions, where each regular expression describes a set of sequences of operations to be executed against the system under test; (2) expansion of the regular expressions to get sequences of operations, which still do not have parameter values; and (3) generation of the executable test cases with oracle. In this third step, each test case is generated with the suitable oracle, depending on the conditions specified in the regular expression.

中文翻译：

---

使用正则表达式和组合技术自动生成 oracled 测试用例

软件测试研究的主要挑战之一是将预言机自动添加到生成的测试用例中：而操作序列的自动生成（这是测试用例的基本组成部分之一）实际上是一个已解决的问题，而自动添加预言机（另一个不可或缺的元素）仍然是一个重要的问题，也是一个开放的研究问题。本文提出了一种获取由完整测试用例（即，它们包括 oracle）组成的可执行测试套件的方法。该方法的核心是基于带注释的正则表达式。由工具支持的测试生成过程遵循三个步骤： (1) 创建带注释的正则表达式，其中每个正则表达式描述一组要针对被测系统执行的操作序列；(2) 扩展正则表达式得到操作序列，仍然没有参数值；(3) 用oracle生成可执行的测试用例。在第三步中，根据正则表达式中指定的条件，使用合适的 oracle 生成每个测试用例。