Ákos Hajnal
ABSTRACT
An integrated testing criterion is proposed that extends traditional criteria to be effective to reveal domain errors. The method requires many fewer test cases and is applicable for any kind of predicates. An automated test data generation algorithm is developed to satisfy the criterion. This is the first integrated algorithm that unites path selection and test data generation. The method is based on function minimization and is extended to find required test cases corresponding to ON-OFF points very quickly. In this way the algorithm is dynamic and thus can be used in practice.
- 1.Bertolino, A. and Marie, M. Automatic generation of path covers based on the control flow analysis of computer programs. IEEE Tra~s. Softw. Eng., 20 (12), 885- 899, 1994. Google Scholar
Digital Library
- 2.Clarke, L. 1976. A system to generate test data and symbolically execute programs. IEEE Trans. Soft~v. Eng. SE-~, 3, 215-222.Google ScholarDigital Library
- 3.Ferguson, Ih, Korel, B. The chaining approach for software test data generation. A CM Trans. Softw. Eng. Method; Vol. 5, No. 1, January 1996, 63-86. Google ScholarDigital Library
- 4.Forg~cs, I., Bertolino, A. 1997. Feasible test path selection by principal slicing. To appear on the Sixth European Software Engineering Conference Zurich. Google ScholarDigital Library
- 5.Howden, W. E. 1976. Reliability of the path analysis testing strategy. IEEE Trans. Softw. Eng. SE-~, 3 (Sept.), 208-215.Google ScholarDigital Library
- 6.Howden, W. E. Partial statistical test coverage and abstract testing. Proc. of the Quality Week, San Francisco, May 1997.Google Scholar
- 7.Jeng, B. 1990. A new approach to domain testing. New York Univ., Dept. of Computer Science, Ph.D. Thesis, Aug. Google ScholarDigital Library
- 8.Jeng, B., Weyuker, E. J. A simplified domain-testing strategy. A CM Trans. Softw. Eng. Methoc~ Vol. 3, No. 3, July 1994, 254-270. Google ScholarDigital Library
- 9.Jeng, B. Toward an Integration of Data Flow and Domain Testing. Submitted to publication.Google Scholar
- 10.Karmarkar, N. A new polynomial-time algorithm for linear programm;ng. In Proceedings of the Sixteenth Annual A CM Symposium on Theory of Computing, 302- 311, Washington, D.C., 1984. Google ScholarDigital Library
- 11.Korel, B. 1990. Automated software test data generation. IEEE Trans. Softly. Eng., 8 (Aug.), 870-879. Google ScholarDigital Library
- 12.Ntafos, S. C., 1984. On required element testing. IEEE gh~r~. $oftw. Eng, 10 (6), 795-803, Nov.Google ScholarDigital Library
- 13.Rapps, S., Weyuker, E. J. 1985. Selecting test data using data flow information. IEEE ghms. Softw. Eng., 11 (4), 367-374, Apr. Google ScholarDigital Library
- 14.White, L. J. and Cohen, E' I. 1980. A domain strategy for computer program testing. IEEE gh~ns. Softly. Eng., 6 (3), 247-257.Google ScholarDigital Library
- 15.Yates, D. F., Malevris, N. 1989. Reducing the effects of infeasible paths in branch testing. ACId SIGSOFT Software Engineering Notes, 14 (8), 48-54. Google ScholarDigital Library
Index Terms
- An applicable test data generation algorithm for domain errors
Recommendations
An applicable test data generation algorithm for domain errors
An integrated testing criterion is proposed that extends traditional criteria to be effective to reveal domain errors. The method requires many fewer test cases and is applicable for any kind of predicates. An automated test data generation algorithm is ...
The complementary aspect of automatically and manually generated test case sets
A-TEST 2016: Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and EvaluationThe test is a mandatory activity for software quality assurance. The knowledge about the software under testing is necessary to generate high-quality test cases, but to execute more than 80% of its source code is not an easy task, and demands an in-...
Automatic string test data generation for detecting domain errors
Domain testing is designed to detect domain errors that result from a small boundary shift in a path domain. Although many researchers have studied domain testing, automatic domain test data generation for string predicates has seldom been explored. ...
Comments