By Topic

Algorithm MSEL for determining observational equivalence in object-oriented class-level testing

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Huo Yan Chen ; Dept. of Comput. Sci., Jinan Univ., Guangzhou, China

Testing is one important means to improve reliability and quality of software systems. The testing for object-oriented software systems is more difficult than that of procedure-oriented programming. Based on the concept of equivalent fundamental pairs, we have proposed a new methodology for testing object-oriented software at the class level. The main results of the methodology are published in ACM Transactions on Software Engineering and Methodology (see vol.7, no.3, p.250-95, 1998). The paper refines some algorithm in the methodology. Some problem in the methodology seems undecidable at the first glance. However, the refinement in this paper shows that it is decidable.

Published in:

Systems, Man and Cybernetics, 2003. IEEE International Conference on  (Volume:2 )

Date of Conference:

5-8 Oct. 2003