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
关键词
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 条
[21]   Framework for cloud-based software test data generation service [J].
Chawla, Priyanka ;
Chana, Inderveer ;
Rana, Ajay .
SOFTWARE-PRACTICE & EXPERIENCE, 2019, 49 (08) :1307-1328
[22]   Software Test Data Generation for Multiple Paths Based on Genetic Algorithms [J].
Peng, Yeping ;
Zeng, Bi .
INFORMATION TECHNOLOGY APPLICATIONS IN INDUSTRY, PTS 1-4, 2013, 263-266 :1969-1973
[23]   RGA: A lightweight and effective regeneration genetic algorithm for coverage-oriented software test data generation [J].
Yang, Shunkun ;
Man, Tianlong ;
Xu, Jiaqi ;
Zeng, Fuping ;
Li, Ke .
INFORMATION AND SOFTWARE TECHNOLOGY, 2016, 76 :19-30
[24]   An approach to design test oracle for aspect oriented software systems using soft computing approach [J].
Singhal, Abhishek ;
Bansal, Abhay ;
Kumar, Avadhesh .
INTERNATIONAL JOURNAL OF SYSTEM ASSURANCE ENGINEERING AND MANAGEMENT, 2016, 7 (01) :1-5
[25]   Software test data generation based on improved particle swarm optimization algorithm [J].
Liu, Dan ;
Wang, Jianmin .
International Journal of Applied Mathematics and Statistics, 2013, 44 (14) :210-217
[26]   From Code Generation to Software Testing: AI Copilot With Context-Based Retrieval-Augmented Generation [J].
Wang, Yuchen ;
Guo, Shangxin ;
Tan, Chee Wei .
IEEE SOFTWARE, 2025, 42 (04) :34-42
[27]   Feature-Based Test Oracles to Categorize Synthetic 3D and 2D Images of Blood Vessels [J].
Junior, Misael C. ;
Oliveira, Rafael A. P. ;
Valverde, Miguel A. G. ;
Jackowski, Marcel P. ;
Nunes, Fatima L. S. ;
Delamaro, Marcio E. .
II BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING (SAST 2017), 2017,
[28]   CATS#: A Testing Technique to Support the Specification of Test Cases for Context-Aware Software Systems [J].
de Souza Doreste, Andrea Cristina ;
Travassos, Guilherme Horta .
PROCEEDINGS OF THE 21TH BRAZILIAN SYMPOSIUM ON SOFTWARE QUALITY, SBOS 2022, 2022,
[29]   Model-based automatic test case generation for automotive embedded software testing [J].
Ki-Wook Shin ;
Dong-Jin Lim .
International Journal of Automotive Technology, 2018, 19 :107-119
[30]   Model-based automatic test case generation for automotive embedded software testing [J].
Shin, Ki-Wook ;
Lim, Dong-Jin .
INTERNATIONAL JOURNAL OF AUTOMOTIVE TECHNOLOGY, 2018, 19 (01) :107-119