A framework for specification-based class testing

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn 2002-January, Issue , 2002, Pages 153-162

  Liu, Ling ^a   Miao, Huaikou ^a   Zhan, Xuede ^a  

^a SHANGHAI UNIVERSITY   (China)

Author keywords

Automata; Computer bugs; Costs; Formal specifications; Object oriented modeling; Partitioning algorithms; Programming; Software maintenance; Software testing; System testing

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; OBJECT ORIENTED PROGRAMMING; PROGRAM DEBUGGING; SOFTWARE TESTING; TESTING;

AUTOMATON; CLASS TESTING; COMPUTER BUGS; OBJECT ORIENTED MODELLING; PARTITIONING ALGORITHMS; PROGRAMMING; SOFTWARE TESTINGS; SYSTEM TESTING; TEST CASE; TESTING PROCESS;

FORMAL SPECIFICATION;

EID: 84948763858     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2002.1181508     Document Type: Conference Paper

References (16)

1. IEEE Std 829-1998
2. nd ed., 1990.
3. R. M. Poston, Automating Specification -Based Software Testing, IEEE Computer Society Press, Los Alamitos, California, 1996.
4. The International Organization for Standardization. Z Notation, Final Committee Draft, CD 13568.2, August 1999.
5. J. M. Spivey. The Z Notation: A Reference Manual, Second edition. Prentice Hall, 1992.
6. nd Edition). Prentice Hall, 1986.
7. J. Dick and A. Faivre. Automating the generation and sequencing of test cases from model-based specification, In Proceedings of FME'93: Industrial-Strength Formal Methods. Pages 268-284, Odense, Penmark, 1993, Springer-Verlag.
8. P. Stocks and D. Carrington. A framework for specification-based testing. IEEE Transaction on Software Engineering. 22(11):777-793, November 1996.
9. P. Ammannn and A. J. Offutt. Using formal methods to derive test frames in category-partition testing. In Proceedings of the Ninth Annual Conference on Computer Assurance (COMPASS94), pages 69-80, Gaithersburg MD, June 1994, IEEE Computer Society Press.
10. Robert M. Hierons. Testing from a Z Specification. The Journal of Software Testing, Verification, and Reliability, 7:19-33, 1997.
11. I. J. Hayes. Specification directed module testing. IEEE Transactions on Software Engineering, SE-12[1]:124-133, January 1986.
12. Robert V. Binder: Testing Object-Oriented System:Models, Patterns, and Tools. Addison Wesley Longman, Inc. 2000.
13. R. Duke, P. King, G. Rose and G. Smith, The Object-Z Specification Language: Version 1, Technical Report No. 91-1, April 1991, Queensland, Australia.
14. Miao Huaikou, Liu Ling, A test class framework for generating test cases from Z specification, Proc. of Sixth IEEE International Conference on Engineering of Complex Computer System, September 11-15, 2000.
15. I. MacColl, L. Murray, P. Strooper, D. Darrington, Specification-based class testing: A case study, Technical Report No. 98-08, December 1998, Queensland, Australia.
16. Grame Smith, The Object-Z Specification Language, Kluwer Academic Publishers, 2000, America.