Generating test cases for specification mining

Dallmeier, Valentin; Knopp, Nikolai; Mallon, Christoph; Hack, Sebastian; Zeller, Andreas

doi:10.1145/1831708.1831719

Cited by 109 publications

(101 citation statements)

References 28 publications

Supporting

Mentioning

100

Contrasting

Order By: Relevance

“…FSM models have been exploited to generate test cases in several existing works [13,15,[19][20][21][22]16]. In case of a design-time model, abstract test cases can be used to check how the expected behaviours (coming from the model) have been implemented in the application [19,20].…”

Section: Related Workmentioning

confidence: 99%

“…In case of a design-time model, abstract test cases can be used to check how the expected behaviours (coming from the model) have been implemented in the application [19,20]. Hence, the role of behaviour specifications is to provide abstract test cases, test oracles, and a measure of the test adequacy [21].…”

Section: Related Workmentioning

confidence: 99%

“…Hence, the role of behaviour specifications is to provide abstract test cases, test oracles, and a measure of the test adequacy [21]. Instead, the role of an inferred model is mainly to provide abstract test cases (e.g., [22,19,16]), to be instantiated in executable test cases by adding inputs and, eventually, test oracles (e.g., [16]). This instantiation is an expensive activity and the presence of infeasible test cases demand for substantial effort and knowledge from the tester's side, who is required to recognise them and filter them out.…”

Section: Related Workmentioning

confidence: 99%

See 2 more Smart Citations

N-Gram Based Test Sequence Generation from Finite State Models

Tonella

Tiella

Nguyen

2014

Future Internet Testing

View full text Add to dashboard Cite

Abstract. Model based testing offers a powerful mechanism to test applications that change dynamically and continuously, for which only some limited black-box knowledge is available (this is typically the case of future internet applications). Models can be inferred from observations of real executions and test cases can be derived from models, according to various strategies (e.g., graph or random visits). The problem is that a relatively large proportion of the test cases obtained in this way might result to be non executable, because they involve infeasible paths. In this paper, we propose a novel test case derivation strategy, based on the computation of the N -gram statistics. Event sequences are generated for which the subsequences of size N respect the distribution of the N -tuples observed in the execution traces. In this way, generated and observed sequences share the same context (up to length N ), hence increasing the likelihood for the generated ones of being actually executable. A consequence of the increased proportion of feasible test cases is that model coverage is also expected to increase.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

N-Gram Based Test Sequence Generation from Finite State Models

Tonella

Tiella

Nguyen

2014

Future Internet Testing

View full text Add to dashboard Cite

show abstract

“…A similar abstraction has also been used in [5], which presents a technique to build an enabledness model from contracts and static analysis. Tautoko [4] generates similar models starting from an existing test suite. Our tool does not infer the model directly from the test execution traces.…”

Section: Related Workmentioning

confidence: 99%

Runtime Monitoring of Functional Component Changes with Behavior Models

Ghezzi

Mocci

Sangiorgio

2012

Models in Software Engineering

View full text Add to dashboard Cite

Abstract. We consider the problem of run-time discovery and continuous monitoring of new components that live in an open environment. We focus on extracting a formal model-which may not be availableby observing the behavior of the running component. We show how the model built at run time can be enriched through new observations (dynamic model update). We also use the inferred model to perform runtime verification. That is, we try to identify if any changes are made to the component that modify its original behavior, contradict the previous observations, and invalidate the inferred model.

show abstract

“…In recent years, dynamic techniques have extended their domain of applicability to problems such as contract inference [9,30] and specification mining [1,7] which have traditionally been approachable only by static means. Future versions of Eve will integrate dynamic contract inference as implemented in our AutoInfer tool (sketched in Section 6).…”

Section: Related Workmentioning

confidence: 99%

Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques

Tschannen

Furia

Nordio

et al. 2011

Software Engineering and Formal Methods

View full text Add to dashboard Cite

Abstract. With formal techniques becoming more and more powerful, the next big challenge is making software verification practical and usable. The Eve verification environment contributes to this goal by seamlessly integrating a static prover and an automatic testing tool into a development environment. The paper discusses the general principles behind the integration of heterogeneous verification tools; the peculiar challenges involved in combining static proofs and dynamic testing techniques; and how the combination, implemented in Eve through a blackboard architecture, can improve the user experience with little overhead over usual development practices. Eve is freely available for download.

show abstract

Generating test cases for specification mining

Cited by 109 publications

References 28 publications

N-Gram Based Test Sequence Generation from Finite State Models

N-Gram Based Test Sequence Generation from Finite State Models

Runtime Monitoring of Functional Component Changes with Behavior Models

Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques

Contact Info

Product

Resources

About