Combinatorial Sequence Testing Using Behavioral Programming and Generalized Coverage Criteria

01/03/2022
by   Achiya Elyasaf, et al.
0

This paper tackles three main issues regarding test design: (1) it proposes a new way to model what to test; (2) it offers a framework for specifying coverage criteria that generalizes previous types of coverage; (3) it outlines a Bayesian approach to an informed exploitation-exploration balance in the context of testing. In addition to the theoretical contribution, we present an empirical evaluation with a proof-of-concept tool that we have developed to support the conceptual advantages and to illustrate practical benefits.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/26/2022

An Efficient Black-Box Support of Advanced Coverage Criteria for Klee

Dynamic symbolic execution (DSE) is a powerful test generation approach ...
research
03/17/2022

Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs

Test Coverage criteria are an essential concept for test engineers when ...
research
12/02/2021

Testing Reactive Systems Using Behavioural Programming, a Model Centric Approach

Testing is a significant aspect of software development. As systems beco...
research
03/17/2018

Towards Efficient Data-flow Test Data Generation Using KLEE

Dataflow coverage, one of the white-box testing criteria, focuses on the...
research
08/18/2023

End-to-End Test Coverage Metrics in Microservice Systems: An Automated Approach

Microservice architecture gains momentum by fueling systems with cloud-n...
research
08/14/2023

SOTIF-Compliant Scenario Generation Using Semi-Concrete Scenarios and Parameter Sampling

The SOTIF standard (ISO 21448) requires scenario-based testing to verify...
research
01/28/2022

Systematic Training and Testing for Machine Learning Using Combinatorial Interaction Testing

This paper demonstrates the systematic use of combinatorial coverage for...

Please sign up or login with your details

Forgot password? Click here to reset