Test Scenario Generation for Context-Oriented Programs

09/24/2021
by   Pierre Martou, et al.
0

Their highly adaptive nature and the combinatorial explosion of possible configurations makes testing context-oriented programs hard. We propose a methodology to automate the generation of test scenarios for developers of feature-based context-oriented programs. By using combinatorial interaction testing we generate a covering array from which a small but representative set of test scenarios can be inferred. By taking advantage of the explicit separation of contexts and features in such context-oriented programs, we can further rearrange the generated test scenarios to minimise the reconfiguration cost between subsequent scenarios. Finally, we explore how a previously generated test suite can be adapted incrementally when the system evolves to a new version. By validating these algorithms on a small use case, our initial results show that the proposed test generation approach is efficient and beneficial to developers to test and improve the design of context-oriented programs.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/18/2022

QuSBT: Search-Based Testing of Quantum Programs

Generating a test suite for a quantum program such that it has the maxim...
research
03/23/2018

Combinatorial Modeling and Test Case Generation for Industrial Control Software using ACTS

Combinatorial testing has been suggested as an effective method of creat...
research
07/12/2019

Concolic Testing Heap-Manipulating Programs

Concolic testing is a test generation technique which works effectively ...
research
02/29/2020

ADF-GA: Data Flow Criterion Based Test Case Generation for Ethereum Smart Contracts

Testing is an important technique to improve the quality of Ethereum sma...
research
02/18/2020

An Evaluation of Monte Carlo-Based Hyper-Heuristic for Interaction Testing of Industrial Embedded Software Applications

Hyper-heuristic is a new methodology for the adaptive hybridization of m...
research
09/13/2017

On the Generation of Initial Contexts for Effective Deadlock Detection

It has been recently proposed that testing based on symbolic execution c...
research
09/02/2021

A Novel Compaction Approach for SBST Test Programs

In-field test of processor-based devices is a must when considering safe...

Please sign up or login with your details

Forgot password? Click here to reset