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 条
[31]   Test Cases Generation for Embedded Real-time Software Based on Extended UML [J].
Yin Yongfeng ;
Liu Bin ;
Lu Minyan ;
Li Zhen .
2009 INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND COMPUTER SCIENCE, VOL 1, PROCEEDINGS, 2009, :69-74
[32]   TEST DATA GENERATION FOR SOFTWARE TESTING BASED ON QUANTUM-INSPIRED GENETIC ALGORITHM [J].
Mao, Chengying ;
Yu, Xinxin .
INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE AND APPLICATIONS, 2013, 12 (01)
[33]   A performance evaluation of heuristics-based test case generation methods for software branch coverage [J].
Chang, KH ;
Cross, JH ;
Carlisle, WH ;
Liao, SS .
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1996, 6 (04) :585-608
[34]   Search-Based Software Test Data Generation for Path Coverage Based on a Feedback-Directed Mechanism [J].
Semujju S.D. ;
Huang H. ;
Liu F. ;
Xiang Y. ;
Hao Z. .
Complex System Modeling and Simulation, 2023, 3 (01) :12-31
[35]   Search-based Multi-paths Test Data Generation for Structure-oriented Testing [J].
Cao, Yang ;
Hu, Chunhua ;
Li, Luming .
WORLD SUMMIT ON GENETIC AND EVOLUTIONARY COMPUTATION (GEC 09), 2009, :25-32
[36]   Input-profile-based software failure probability quantification for safety signal generation systems [J].
Kang, Hyun Gook ;
Lim, Ho Gon ;
Lee, Ho Jung ;
Kim, Man Cheol ;
Jang, Seung Cheol .
RELIABILITY ENGINEERING & SYSTEM SAFETY, 2009, 94 (10) :1542-1546
[37]   Enhancing logic-based testing with EvoDomain: A search-based domain-oriented test suite generation approach [J].
Kalaee, Akram ;
Parsa, Saeed ;
Mansouri, Zahra .
INFORMATION AND SOFTWARE TECHNOLOGY, 2025, 177
[38]   Experimental Study on GA-based Path-Oriented Test Data Generation Using Branch Distance [J].
Chen, Yong ;
Zhong, Yong .
2009 THIRD INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, VOL 1, PROCEEDINGS, 2009, :216-+
[39]   Object-Oriented Test Case Generation Using Teaching Learning-Based Optimization (TLBO) Algorithm [J].
Al-Masri, Ohood ;
Al-Sorori, Wedad .
IEEE ACCESS, 2022, 10 :110879-110888
[40]   Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution) [J].
Barth, Max ;
Dietsch, Daniel ;
Heizmann, Matthias ;
Jakobs, Marie-Christine .
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2024, 2024, 14573 :326-330
12345