Automated generation of test programs from closed specifications of classes and test cases

Proceedings - International Conference on Software Engineering

Volumn 26, Issue , 2004, Pages 96-105

  Leow, Wee Kheng ^a   Khoo, Siau Cheng ^a   Sun, Yi ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC SPECIFICATIONS; TEST CASES; TEST PROGRAMS (TP);

CODES (SYMBOLS); COMPUTER SIMULATION; COMPUTER SOFTWARE; EVALUATION; INTEGER PROGRAMMING; OBJECT ORIENTED PROGRAMMING; TESTING;

COMPUTER SCIENCE;

EID: 4544369973     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. B. Beizer. Software Testing Techniques. Thomson Computer Press, 2nd edition, 1990.
2. W. K. Chan, T. Y. Chen, and T. H. Tse. An overview of integration testing techniques for object-oriented programs. In Proc. of 2nd ACIS Annual Int. Conf. on Computer and Information Science (ICIS), pages 696-701, 2002.
3. H. Y. Chen, T. H. Tse, and T. Y. Chen. TACCLE: a methodology for object-oriented software testing at the class and cluster levels. ACM Trans. on Software Engineering and Methodology, 10(1):56-109, 2001.
4. M. Donat. Automating formal specification based testing. In Proc. Conf. on Theory and Practice of Software Development, volume 1214, pages 833-847, 1997.
5. T. L. Graves, M. J. Harrold, J.-M. Kim, A. Porter, and G. Rothermel. An empirical study of regression test selection techniques. ACM Trans. on Software Engineering and Methodology, 10(2): 184-208, 2001.
6. D. Gries. The Science of Programming. Springer-Verlag, 1981.
7. C. A. R. Hoare. An axiomatic basis for computer programming. Comm. of ACM, 12:576-583, 1969.
8. H. Hong, I. Lee, O. Sokolsky, and S. Cha. Automatic test generation from statecharts using model checking. Technical Report MS-CIS-01-07, Dept. of Computer and Information Science, U. of Pennsylvania, 2001.
9. IEEE. IEEE Standard 829-1991: Standard for Software Test Documentation. IEEE Press, New York, 1991.
10. L. J. Jagadeesan, A. A. Porter, C. Puchol, J. C. Ramming, and L. G. Votta. Specification-based testing of reactive software: Tools and experiments. In Int. Conf. on Software Engineering, pages 525-535, 1997.
11. A. M. Memon, M. E. Pollack, and M. L. Soffa. Using a goal-driven approach to generate test cases for guis. In Int. Conf. Software Engineering, 1999.
12. T. Nipkow, L. C. Paulson, and M. Wenzel. Isabelle/HOL - A Proof Assistant for Higher-Order Logic (LNCS 2283). Springer, 2002.
13. M. Obayashi, H. Kubota, S. P. McCarron, and L. Mallet. The assertion based testing tool for OOP: ADL2. In Proc. Int. Conf. Software Engineering, 1998.
14. A. J. Offutt and S. Liu. Generating test data from SOFL specifications. J. of Systems and Software, 49(1):49-62, 1999.
15. S. Owre, S. Rajan, J. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In R. Alur and T. A. Henzinger, editors, Computer-Aided Verification, CAV '96 (LNCS 1102), pages 411-414. Springer-Verlag, 1996.
16. R. M. Poston. Automating Specification-Based Software Testing. IEEE Computer Society Press; 1996.
17. W. Pugh. The Omega Test: A fast practical integer programming algorithm for dependence analysis. Comm. of ACM, 8:102-114, 1992.
18. S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice-Hall, 1995.
19. S. Sankar and R. Hayes. Specifying and testing software components using ADL. Technical Report TR-94-23, Sun Microsystems Labs, 1994.
20. M. Scheetz, A. von Mayrhauser, R. France, E. Dahlman, and A. E. Howe. Generating test cases from an OO model with an ai planning system. In Proc. 10th Int. Symp. on Software Reliability Engineering, 1999.
21. N. Suzuki and K. Ishihata. Implementation of array bound checker. In ACM Principles of Programming Languages, pages 132-143, 1977.