A systematic review of state-based test tools

Shafique, Muhammad; Labiche, Yvan

doi:10.1007/s10009-013-0291-0

Cited by 56 publications

(33 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…[32]) considers more elaborated SUT models compared to combinatorial testing; namely, states of SUTs are considered. MBT tools aim at generating sequences of test cases which ensure a certain path-coverage criterion.…”

Section: Sat Solvers In Model-based Testingmentioning

confidence: 99%

Greedy combinatorial test case generation using unsatisfiable cores

Yamada

Biere

Artho

et al. 2016

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering

View full text Add to dashboard Cite

Combinatorial testing aims at covering the interactions of parameters in a system under test, while some combinations may be forbidden by given constraints (forbidden tuples).In this paper, we illustrate that such forbidden tuples correspond to unsatisfiable cores, a widely understood notion in the SAT solving community. Based on this observation, we propose a technique to detect forbidden tuples lazily during a greedy test case generation, which significantly reduces the number of required SAT solving calls. We further reduce the amount of time spent in SAT solving by essentially ignoring constraints while constructing each test case, but then "amending" it to obtain a test case that satisfies the constraints, again using unsatisfiable cores. Finally, to complement a disturbance due to ignoring constraints, we implement an efficient approximative SAT checking function in the SAT solver Lingeling.Through experiments we verify that our approach significantly improves the efficiency of constraint handling in our greedy combinatorial testing algorithm.

show abstract

Section: Sat Solvers In Model-based Testingmentioning

confidence: 99%

Greedy combinatorial test case generation using unsatisfiable cores

Yamada

Biere

Artho

et al. 2016

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering

View full text Add to dashboard Cite

show abstract

“…In a systematic review, Shafique and Labiche [17] identified a total of 46 tools and 2 APIs providing support for model-based testing. Micskei maintains an online overview of model-based testing tools [18]; currently (according to the information last modified in July 2014) the list contains 20 academic, commercial and open source tools plus 13 tools that are not developed anymore.…”

Section: Related Workmentioning

confidence: 99%

Model-Based Testing of Stateful APIs with Modbat

Artho

Seidl

Gros

et al. 2015

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)

View full text Add to dashboard Cite

“…It has been applied successfully at different levels of testing and in various application domains [4], [13]. One of the key elements of MBT is the model that describes the behavior of the system under test (SUT).…”

Section: Introductionmentioning

confidence: 99%

Automated generation of state abstraction functions using data invariant inference

Tonella

Nguyen

Marchetto

et al. 2013

2013 8th International Workshop on Automation of Software Test (AST)

View full text Add to dashboard Cite

Abstract-Model based testing relies on the availability of models that can be defined manually or by means of model inference techniques. To generate models that include meaningful state abstractions, model inference requires a set of abstraction functions as input. However, their specification is difficult and involves substantial manual effort. In this paper, we investigate a technique to automatically infer both the abstraction functions necessary to perform state abstraction and the finite state models based on such abstractions. The proposed approach uses a combination of clustering, invariant inference and genetic algorithms to optimize the abstraction functions along three quality attributes that characterize the resulting models: size, determinism and infeasibility of the admitted behaviors. Preliminary results on a small e-commerce application are extremely encouraging because the automatically produced models include the set of manually defined gold standard models.

show abstract

A systematic review of state-based test tools

Cited by 56 publications

References 31 publications

Greedy combinatorial test case generation using unsatisfiable cores

Greedy combinatorial test case generation using unsatisfiable cores

Model-Based Testing of Stateful APIs with Modbat

Automated generation of state abstraction functions using data invariant inference

Contact Info

Product

Resources

About