This article describes a model-based testing approach that combines automated test-case and test-driver generation from Statecharts specifications. It focuses on how the test engineer can control the test generation process, and how he/she specify the relationship between model variables and the interfaces of the system under test.
Members-Only Content
This content is restricted to members only.
You must be logged in with an active membership to access this page.
Please click the link below to log in. If you do not have an account or your membership is inactive, you may need to register or renew it.