The implementation of an e cient automatic test generation scheme for black-box testing environment is discussed. It uses checkpoint encoding and antirandom testing schemes. Checkpoint encoding converts test generation to a binary problem. The checkpoints are selected t o p r obe the input space such that boundary and illegal cases are generated in addition to valid cases. Antirandom testing selects each test case such that it is as di erent as possible from all the previous tests. The implementation is illustrated using benchmark examples that have been used in the literature. Use of random testing both with checkpoint encoding and without is also reported. Comparison and evaluation of the e ectiveness of these methods is also presented. Implications of the observations for larger software systems are noted. Overall, antirandom testing has higher code coverage than encoding random testing, encoding random testing has higher code coverage than pure r andom testing.
Software testing often requires massive numbers of test cases that must be manually inspected for correctness. This paper demonstrates the use of software "test oracles" to automate the process of checking the correctness of program output. The Prosper system, implemented by the authors, can be used to define test oracles and monitor the runtime behavior of software. An effective method to design software for testability must include the concurrent development of test oracles.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.