Test scenario generation for feature-based context-oriented software systems

被引：6

作者：

Martou, Pierre ^{[1
]}

Mens, Kim ^{[1
]}

Duhoux, Benoit ^{[1
]}

Legay, Axel ^{[1
]}

机构：

[1] UCLouvain, ICTEAM, Louvain La Neuve, Belgium

来源：

JOURNAL OF SYSTEMS AND SOFTWARE | 2023年 / 197卷

关键词：

Context-oriented programming; Feature modelling; Dynamic software product lines; Software testing; Combinatorial interaction testing; Satisfiability checking (SAT); PRIORITIZATION;

D O I：

10.1016/j.jss.2022.111570

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Feature-based context-oriented programming reconciles ideas from context-oriented programming, feature modelling and dynamic software product lines. It offers a programming language, architecture, tools and methodology to develop software systems consisting of contexts and features that can become active at run-time to offer the most appropriate behaviour depending on the actual context of use. Due to their high run-time adaptivity, dedicated tool support to test such systems is needed. Building upon a pairwise combinatorial interaction testing approach from the domain of software product lines, we implement an algorithm to generate automatically a small set of relevant test scenarios, ordered to minimise the number of context activations between tests. We also explore how the generated scenarios can be enhanced incrementally when the software evolves, and how useful the proposed testing approach is in practice. (c) 2022 Elsevier Inc. All rights reserved.

引用

页数：23

共 42 条

[11] Advances in test generation for testing software and systems [J].

Yenigun, Husnu ;

Yilmaz, Cemal ;

Ulrich, Andreas .

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2016, 18 (03) :245-249

[12] Adaptation oriented test data generation for Adaptive Systems [J].

Araujo da Silva, Delcio Nonato .

2020 15TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2020), 2020,

[13] Test Scenario Generation for Web Application Based on Past Test Artifacts [J].

Lacanienta, Rogene ;

Takada, Shingo ;

Tanno, Haruto ;

Oinuma, Morihide .

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2014, E97D (05) :1109-1118

[14] Testing object-oriented programs: from formal specification to test scenario generation [J].

Chang, KH ;

Liao, SS ;

Seidman, SB ;

Chapman, R .

JOURNAL OF SYSTEMS AND SOFTWARE, 1998, 42 (02) :141-151

[15] Test Case Generation for Object-Oriented Systems: A Review [J].

Singh, Rajvir .

2014 FOURTH INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS AND NETWORK TECHNOLOGIES (CSNT), 2014, :981-989

[16] An Output-Oriented Approach of Test Data Generation Based on Genetic Algorithm [J].

Zhang, Weixiang ;

Wei, Bo ;

Du, Huisen .

ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, ICA3PP 2015, 2015, 9532 :100-108

[17] ADTEST: A test data generation suite for Ada software systems [J].

Gallagher, MJ ;

Narasimhan, VL .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (08) :473-484

[18] Demand Based Test Case Generation for Object Oriented System [J].

Singh, Rajvir ;

Bhatia, Rajesh ;

Singhrova, Anita .

IET SOFTWARE, 2019, 13 (05) :403-413

[19] Exhaustive Test Case Generation for Nuclear Safety Software Based on the Software Logic Model [J].

Lee, Sang Hun ;

Lee, Seung Jun ;

Shin, Sung Min ;

Lee, Eun-Chan ;

Kang, Hyun Gook .

NUCLEAR TECHNOLOGY, 2024, 210 (05) :850-867

[20] Issues and solutions in feature-based modelling: re-designing the shape kernel of CAD systems [J].

Gomes, A ;

Middleditch, A ;

Reade, C .

GLOBALIZATION OF MANUFACTURING IN THE DIGITAL COMMUNICATIONS ERA OF THE 21ST CENTURY: INNOVATION, AGILITY, AND THE VIRTUAL ENTERPRISE, 1998, :325-335

← 1 2 3 4 5 →