Patent
1996-07-23
1998-05-19
Kriess, Kevin A.
395705, G06F 944
Patent
active
057548609
ABSTRACT:
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.
REFERENCES:
patent: 4819233 (1989-04-01), Delucia et al.
patent: 5255385 (1993-10-01), Kikuchi
patent: 5317740 (1994-05-01), Sites
patent: 5317741 (1994-05-01), Schwanke
patent: 5361351 (1994-11-01), Lenkov et al.
patent: 5428788 (1995-06-01), Schwanke
patent: 5432795 (1995-07-01), Robinson
patent: 5495571 (1996-02-01), Corrie, Jr. et al.
patent: 5560000 (1996-09-01), Lenkov et al.
patent: 5590330 (1996-12-01), Goskun et al.
patent: 5668999 (1997-09-01), Gosling
Introduction to Automata Theory, Languages, and Computation, J. Hopcroft et al., Addison-Wesley Series in Computer Science, pp. 77-85.
"Cb: A Low-level Subset of C", W. McKeeman, Journal of C Language Translation, vol. 3, No. 3, 1991, pp. 214-226.
"Avoiding Arithmetic Exceptions in Constant Expression Evaluation", W. McKeeman, Journal of C Language Translation, vol. 4, No. 4, 1993, pp. 291-295.
"Dynamic Syntax: A Concept for the Definition of the Syntax of Programming Languages", K. Hanford et al., IBM Technical Report No. T.R. 12.090, 1971, pp. 1-46.
A Random Generator for the Automatic Production of Executable PL/1 Programs (APEX), P. Schofield et al., IBM Technical Report No. TR.12.062, 1966, pp. 1-11.
"The Syntax Machine An Introduction", S. Glassover et al., IBM Technical Report No. TR.12.077, 1968, pp. 1-65.
"The Syntax Machine A description", S. Glassover et al., IBM Technical Report No. TR.12.078, 1967, pp. 1-9.
A retrospective view of APEX (Automatic production of executable programs), C. Jones, IBM Technical Report No. TR.12.065, 1966, pp. 1-20.
McKeeman William M.
Payne Andrew
Reinig August C.
Digital Equipment Corporation
Fisher Arthur W.
Kriess Kevin A.
Saturnelli Anne E.
LandOfFree
Method and apparatus for software testing using a differential t does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and apparatus for software testing using a differential t, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for software testing using a differential t will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1864376