2010 | OriginalPaper | Chapter
An Automated Approach to Testing Polymorphic Features Using Object-Z
Authors : Mahreen Ahmad, Aamer Nadeem, Tai-hoon Kim
Published in: Advances in Software Engineering
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Formal methods have proven their worth in different fields specially software engineering. Although object-oriented design features like inheritance and polymorphism improve the quality of design, these features may introduce new types of faults. However, the current research on formal specification based testing primarily focuses on unit level testing only. There is very little work on formal specification based inheritance and polymorphic testing. This paper describes a novel approach for testing of polymorphic relationships using an Object-Z specification. The proposed approach is based on the idea of coupling based testing. Tool support for the proposed technique has also been provided and is empirically evaluated by a real life example.