公开(公告)号：US5754860A

公开(公告)日：1998-05-19

申请号：US685346

申请日：1996-07-23

申请人： William M. McKeeman ,  August C. Reinig ,  Andrew Payne

发明人： William M. McKeeman ,  August C. Reinig ,  Andrew Payne

IPC分类号： G06F11/36 ,  G06F9/44

CPC分类号： G06F11/3684

摘要： Techniques used in testing software are described. A test generator produces a source program used to test two or more compilers using a differential testing technique. The test generator includes a grammar with added semantic constraints to minimize the generation of non-conforming source programs. The source program is a conforming source program conforming to constraints included in a programming language standard. By using properties of a conforming source code, a differential testing technique is described in which a test failure indicates that one or more of the compilers is not processing the source program correctly in accordance with the programming language standard. If a test failure is detected, the source program causing the test failure is reduced using various reduction and simplification techniques.

摘要翻译： 描述了测试软件中使用的技术。 测试发生器产生用于使用差分测试技术测试两个或多个编译器的源程序。 测试生成器包括具有附加语义约束的语法，以最小化不合格源程序的生成。 源程序是符合编程语言标准中包含的约束的一致的源程序。 通过使用一致的源代码的属性，描述了差分测试技术，其中测试失败指示一个或多个编译器不是根据编程语言标准正确处理源程序。 如果检测到测试失败，则使用各种简化和简化技术来减少导致测试失败的源程序。