Automatic Testing with Formal Methods

摘要

The use of formal system specifications makes it possible to automate the211u001ederivation of test cases from specifications. This allows to automate the whole 211u001etesting process, not only the test execution part of it. This paper presents the 211u001estate of the art and future perspectives in testing based on formal methods. The 211u001etheory of formal testing is briefly outlined, a test tool is presented which 211u001eautomates both test derivation and test execution on-the-fly, and on application 211u001ecase study is discussed.