Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC '05),
vol. 1, IEEE Computer Society Press, Los Alamitos, CA, p. 332 (2005)

Research Directions in Model-Based Metamorphic Testing and Verification 1

T.H. Tse 2

[paper from IEEE Xplore | paper from IEEE digital library | postprint]


Model-based software testing generally refers to test case selection and result evaluation based on a behavioral model of the target software. It may not, however, be possible to evaluate test results in some situations. For embedded software in a real-time environment, for instance, the results may only appear in a fraction of a second and cannot be observed by the tester. In this position paper, we discuss the research opportunities for such situations despite the challenges.

Keywords: Model-based software testing, metamorphic testing, software verification, software cybernatics

1. This research is supported in part by grants of the Research Grants Council of Hong Kong and The University of Hong Kong.
2. Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong.


  Cumulative visitor count