|
Title:
|
ON THE INTEGRATION OF METAMORPHIC TESTING AND MODEL CHECKING |
|
Author(s):
|
Huai Liu , Daoming Wang , Huimin Lin , Tsong Yueh Chen |
|
ISBN:
|
978-972-8924-97-3 |
|
Editors:
|
Hans Weghorn and Pedro Isaías |
|
Year:
|
2009 |
|
Edition:
|
V II, 2 |
|
Type:
|
Reflection Paper |
|
First Page:
|
299 |
|
Last Page:
|
302 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
Metamorphic testing, an innovative software testing technique, generates test cases based on domain specific properties.
Model checking is a technique that verifies software designs against system properties. Motivated by the fact that both
techniques are based on some properties of software under development, we investigate how to integrate metamorphic
testing and model checking. This paper will introduce and discuss some potential topics on this new research direction. |
|
|
|
|
|
|
