Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '02),
ACM Press, New York, NY, pp. 191-195 (2002)

Semi-Proving: an Integrated Method Based on
Global Symbolic Evaluation and Metamorphic Testing

T.Y. Chen 2 , T.H. Tse 3 , and Zhi Quan Zhou 3

[author-izer free download from ACM digital library]


We present a semi-proving method for verifying necessary conditions for program correctness. Our approach is based on the integration of global symbolic evaluation and metamorphic testing. It is relatively easier than conventional program proving, and helps to alleviate the problem that software testing cannot show the absence of faults.

Keywords: Semi-proving, program proving, program testing, metamorphic testing, symbolic execution, global symbolic evaluation.

1. This research is supported in part by the Hong Kong Research Grants Council and The University of Hong Kong Committee on Research and Conference Grants.
2. (Corresponding author.)
Centre for Software Analysis and Testing, Swinburne University of Technology, Hawthorn 3122, Australia.
3. Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong.


  Cumulative visitor count