An Investigation into the Application Model Checking to Software Testing
Mei Yuan-yuan · Computer and Information Technology · 2010
Model based or specification based testing is a promising technique to generate test cases.In this approach a specification or a model of the system is created.Test cases are derived from this specification or model.We study on how to use model checkers to test software.The method considers testing of not only the desirable system behavior,but also the undesirable one.Such an approach should reduce both the enormous cost and the significant time and human effort,which give base for the future research.