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) |
T.H. Tse 2
[paper from IEEE Xplore | paper from IEEE digital library | postprint]
ABSTRACT |
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.
Email: |
||
EVERY VISITOR COUNTS: |