A specification-based approach to testing polymorphic attributes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3308, Issue , 2004, Pages 306-319

  Liu, Ling ^a   Miao, Huaikou ^a  

^a SHANGHAI UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; COMPUTER SOFTWARE SELECTION AND EVALUATION; GRAPHIC METHODS; OBJECT ORIENTED PROGRAMMING; SPECIFICATIONS; TESTING;

EXPERIMENTAL ANALYSIS; GRAPH REPRESENTATION; MODEL-BASED OPC; MODEL-BASED SPECIFICATIONS; OBJECT-ORIENTED FEATURES; OBJECT-ORIENTED SOFTWARE TESTING; SOFTWARE QUALITY; TESTING TECHNIQUE;

SOFTWARE TESTING;

EID: 27144470469     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30482-1_28     Document Type: Article

References (14)

1. Mei, H. Chen, H.M. Kao: Testing Object-Oriented Programs - An Integrated Approach. In: Proceedings of International Symposium on Software Reliability Engineering, Boca Raton, Florida(Nov. 1999), 73-82
2. Roger T. Alexander, A. Jefferson Offutt: Criteria for Testing Polymorphic Relationship. In: Proceedings of International Symposium on Software Reliability Engineering, California, USA(Oct. 2000), 8-11
3. V. Martena, A. Orso, M. Pezze: Interclass Testing of Object Oriented Software. In: Proceedings of the Conference on Engineering of Complex Computer Systems, MD, USA(Dec. 2002), 135-144
4. Mary J. Harrold, John D. McGregor, Kevin Fitzpatrick: Incremmental Testing of Object-Oriented Class Inheritance Structures. In: Proceedings of the International Conference on Software Engineering, Melborne, Australia(May 1992), 68-80
5. P. Stocks, D. Carrington: A Framework for Specification-Based Testing. IEEE Transaction on Software Engineering. 22(11) (1996) 777-793
6. Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper:Extending Testing Templates with Inheritance. Autralian Software Engineering Conference, Australia(Oct. 1997), 80-87
7. Ling Liu, Huaikou Miao, Xuede Zhan: A Framework for Specification-Based Class Testing. In: Proceedings of the Conference on Engineering of Complex Computer Systems, MD, USA(Dec. 2002), 153-162
8. Ling Liu: Object-Oriented Formal Specification Based Test Generation. Ph.D. thesis, Shanghai University, 2004
9. M. Harrold, G. Rothermel: Performing Data Flow Testing on Classes. In: Symposium on Foundations of Software Engineering, New Orleans(April, 1994), 200-207
10. L. Gallagher, J. Offutt: Integration Testing of Object-Oriented Components Using Finite State Machines. Submitted for publication, 2002
11. T. Ostrand, M. Balcer: The Category-Partition Method for Specifying and Generating Functional Tests. Communications of the ACM. 31(6) (1988) 676-686
12. G. Smith: An Object-Oriented Approach to Formal Specifications. Ph.D. Thesis, University of Queensland, 1992
13. G. Smith: The Object-Z Specification Language. Kluwer Academic Publishers, 2000
14. Jeff Offutt, Roger Alexander, Ye Wu, Wuangsheng Xiao, Chunk Hutchinson: A Fault Model for Subtype Inheritance and Polymorphism. In: Symposium on Software Reliability Engineering, Hong Kong, PRC(Nov. 2001) 84-93