Model-based testing in practice

摘要: Model-based testing is a new and evolving technique for generating suite of test cases from requirements. Testers using this approach concentrate on data model generation infrastructure instead hand-crafting individual tests. Several relatively small studies have demonstrated how combinatorial techniques allow testers to achieve broad coverage the input domain with number We conducted several large projects in which we applied these systems millions lines code. Given complexity testing, model-based was used conjunction automation harnesses. Since no empirical study has been measure efficacy approach, report our experience developing tools methods support testing. The four case presented here offer details results applying test-generation scale diverse applications. Based projects, insights into what works practice thoughts about obstacles transferring technology organizations.