文章基本信息

标题：Inclination To-wards Automated Model-Based Test Generation
本地全文：下载
作者：Gaurav Gupta ; Parampreet Kaur
期刊名称：International Journal of Advanced Research In Computer Science and Software Engineering
印刷版ISSN：2277-6451
电子版ISSN：2277-128X
出版年度：2013
卷号：3
期号：3
出版社：S.S. Mishra
摘要：Model-based test generation basically means functional testing for which the test specification is given as a test model. The test model is derived from the system requirements. In mo del-based testing, test cases are derived automatically from the test model. Coverage criteria are often considered at the test model level. The i nternal matters of the SUT are hidden since it uses a black -box or gray-box testing technique. Model-based tests can be applied to all levels from unit tests to system tests. Model-based testing has gained much attention with the advent of UML models in software design and development. The paper introduces model-based testing and software models as examples in addition to advantages of MBT and limitations of other approaches.
关键词：SUT; MBT; Finite state machines (FSM); State charts; UML; Grammars; Markov chains