Journal Article
Automating Functional Test Design with Model-Based Testing
2012-04-16
2012-01-0010
Classic problems of functional software test development industry include often poorly documented coverage of specification requirements, challenging delivery cycles, high software quality requirements, costly test development, inflexible test sets, and high maintenance costs due to ever changing requirements. Technology and commercial software exist today that can help to resolve all of these issues by automating test design with model-based testing (MBT), i.e., by automatically generating tests and test documentation. In numerous case studies over a wide range of application areas MBT has been independently confirmed [9, 10] to cut testing costs significantly by increasing productivity, to enable of up to 91% code coverage during test execution [8], and to locate numerous defects that have escaped in conventional testing approaches.
