Model-based Verification of High Integrity Systems
The Test Automation Framework (TAF) approach for model-based development and automatic test generation has been demonstrated to reduce cycle time by 50% and increase quality by eliminating requirement defects to reduce rework, and automating test. This paper describes organizational best practices at applying model-based testing, by describing key concepts and techniques for modeling requirements, and mapping models to the interfaces of the application to automate test driver generation. It uses various examples and demonstrations, from avionics, to smart cards.
Please disable any pop-up blockers for proper viewing of this Whitepaper.