Automatic Generation of Normal Forms for Testing Object-Oriented Software

Testing object-oriented software is more complex than its procedural counterpart. The concept of "Fundamental pairs" was introduced in the authors' TACCLE methodology for testing object-oriented software. It was proved that, although the set of fundamental pairs is only a proper subset of equivalent ground terms, the use of fundamental pairs as test cases covers the use of equivalent ground terms. Recently, they found that any normal form consists of only a creator, or a creator followed only by constructors but not transformers; and yet the reverse is not necessarily true. Thus, the generation of patterns of normal forms is nontrivial and warrants further study.

Provided by: Institute of Electrical and Electronics Engineers Topic: Software Date Added: Mar 2013 Format: PDF

Find By Topic