Model-based regression testing by OCL

详细信息    查看全文

• 作者：Philipp Zech ; Philipp Kalb ; Michael Felderer…
• 关键词：Model ; based testing ; Regression testing ; Model ; based regression testing ; Model evolution ; Software testing ; Software evolution
• 刊名：International Journal on Software Tools for Technology Transfer
• 出版年：2017
• 出版时间：February 2017
• 年：2017
• 卷：19
• 期：1
• 页码：115-131
• 全文大小：
• 刊物类别：Computer Science
• 刊物主题：Software Engineering; Software Engineering/Programming and Operating Systems; Theory of Computation;
• 出版者：Springer Berlin Heidelberg
• ISSN：1433-2787
• 卷排序：19

文摘

Model-based testing has gained widespread acceptance over the last decade, not only in academia but also in industry. Despite its powerful features of abstraction and automation, most existing approaches and tools provide only limited support for regression testing. Yet regression testing, the repeated execution of selected test cases after system modification, is vital, because changes may introduce new bugs or unwanted side effects that must be avoided at all costs. Model-based testing’s potential for supporting regression testing has yet to be explored, even though syntactic and semantic abstractions within software models already allow identifying changes in software systems. This change information can easily be used for test case selection. In this article, we present a model-based regression testing method based on OCL. By means of a running example using the UML Testing Profile we show how our method supports regression testing on the basis of an existing model-based testing method.