Reusable Model-Based Testing

被引：0

作者：

Olimpiew, Erika Mir ^{[1
]}

Gomaa, Hassan ^{[1
]}

机构：

[1] George Mason Univ, Dept Comp Sci, Fairfax, VA 22030 USA

来源：

FORMAL FOUNDATIONS OF REUSE AND DOMAIN ENGINEERING, PROCEEDINGS | 2009年 / 5791卷

关键词：

Reuse; model-based testing; requirements; software product lines; feature model; use case model; activity diagrams; decision tables; SYSTEM;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

A reusable model-based testing method for software product lines (SPL) is used to create test specifications from use case and feature models, which can then be configured to test individual applications that are members of the SPL. This paper describes feature-oriented model-based testing method for SPLs that can be used to reduce the number of reusable test specifications created to cover all use case scenarios, all features, and selected feature combinations of a SPL. These test specifications can be automatically selected and configured during feature-based test derivation to test a given application derived from the SPL. This paper also addresses what application configurations to test and how to configure test specifications for these applications. This model-based testing method was applied and evaluated on two SPL case studies.

引用

页码：76 / 85

页数：10

共 50 条

[1] Model-based testing of NASA's GMSEC, a reusable framework for ground system software
Gudmundsson, Vignir
Schulze, Christoph
Ganesan, Dharmalingam
Lindvall, Mikael
Wiegand, Robert
[J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2015, 11 (03) : 217 - 232
[2] Model-Based Testing
Schieferdecker, Ina
[J]. IEEE SOFTWARE, 2012, 29 (01) : 14 - 18
[3] Model-based testing
Le Traon, Yves
Xie, Tao
[J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2023, 33 (02):
[4] Model-based testing
Pretschner, A
[J]. ICSE 05: 27th International Conference on Software Engineering, Proceedings, 2005, : 722 - 723
[5] An Abstraction for Reusable MDD Components - Model-based Generation of Model-based Code Generators
Kulkarni, Vinay
Reddy, Sreedhar
[J]. GPCE'08: PROCEEDINGS OF THE ACM SIGPLAN SEVENTH INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, 2008, : 181 - 184
[6] Combinatorial testing and model-based testing
Hierons, Robert M.
Xie, Tao
[J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2022, 32 (02):
[7] Model Learning and Model-Based Testing
Aichernig, Bernhard K.
Mostowski, Wojciech
Mousavi, Mohammad Reza
Tappler, Martin
Taromirad, Masoumeh
[J]. MACHINE LEARNING FOR DYNAMIC SOFTWARE ANALYSIS: POTENTIALS AND LIMITS, 2018, 11026 : 74 - 100
[8] Model-based testing in practice
Pretschner, A
[J]. FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 537 - 541
[9] Model-Based Testing of Obligations
Rubab, Iram
Ali, Shaukat
Briand, Lionel
LeTraon, Yves
[J]. 2014 14TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2014), 2014, : 1 - 10
[10] Model-Based Flight Testing
de Mendonca, Celso Braga
da Silva, Edmar Thomaz
Curvo, Marcelo
Trabasso, Luis Gonzaga
[J]. JOURNAL OF AIRCRAFT, 2013, 50 (01): : 176 - 186

← 1 2 3 4 5 →