J. M. Leaton

Learn More
Model-based testing is a new and evolving technique for generating a suite of test cases from requirements. Testers using this approach concentrate on a data model and generation infrastructure instead of hand-crafting individual tests. Several relatively small studies have demonstrated how combinatorial test generation techniques allow testers to achieve(More)
The paradigm of model-based testing shifts the focus of testing from writing individual test cases to developing a model from which a test suite can be generated automatically. We report on our experience with model-based testing of a highly programmable system that implements intelligent telephony services in the U.S. telephone network. Our approach used(More)
Software systems require the validation of design features through regression testing. Two primary challenges in system validation are ensuring that test suites reflect actual system usage, and managing the test suite size to keep testing costs low while keeping testing results meaningful. To create a test environment that is close to actual system usage,(More)
  • 1