Masking Boundary Value Coverage: Effectiveness and Efficiency

Suman, P. Vijay; Muske, Tukaram; Bokil, Prasad; Shrotri, Ulka; Venkatesh, R.

doi:10.1007/978-3-642-15585-7_4

Cited by 3 publications

(2 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A number of papers report applications of CBMC or similar techniques for generating high-coverage test suites [8,1,16]. These implementations are very similar to ours.…”

Section: Related Workmentioning

confidence: 73%

Test-case generation for embedded simulink via formal concept analysis

Rümmer

Kroening

2011

Proceedings of the 48th Design Automation Conference

View full text Add to dashboard Cite

Mutation testing suffers from the high computational cost of automated test-vector generation, due to the large number of mutants that can be derived from programs and the cost of generating test-cases in a white-box manner. We propose a novel algorithm for mutation-based test-case generation for Simulink models that combines white-box testing with formal concept analysis. By exploiting similarity measures on mutants, we are able to effectively generate small sets of short test-cases that achieve high coverage on a collection of Simulink models from the automotive domain. Experiments show that our algorithm performs significantly better than random testing or simpler mutation-testing approaches.

show abstract

“…A number of papers report applications of CBMC or similar techniques for generating high-coverage test suites [8,1,16]. These implementations are very similar to ours.…”

Section: Related Workmentioning

confidence: 73%

Test-case generation for embedded simulink via formal concept analysis

Rümmer

Kroening

2011

Proceedings of the 48th Design Automation Conference

View full text Add to dashboard Cite

show abstract

“…There are a number of works that implement or integrate different kinds of coverage analyses with Bounded Model Checking. Examples are like [15], [16] and [17]. We have adopted a similar approach that embeds trap properties (i.e., negation of testing conditions) into the program model of these requirements.…”

Section: The Automated Testing Proceduresmentioning

confidence: 99%

Functional Requirements-Based Automated Testing for Avionics

Sun

Brain

Kroening

et al. 2017

2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)

View full text Add to dashboard Cite

We propose and demonstrate a method for the reduction of testing effort in safety-critical software development using DO-178 guidance. We achieve this through the application of Bounded Model Checking (BMC) to formal low-level requirements, in order to generate tests automatically that are good enough to replace existing labor-intensive test writing procedures while maintaining independence from implementation artefacts. Given that existing manual processes are often empirical and subjective, we begin by formally defining a metric, which extends recognized best practice from code coverage analysis strategies to generate tests that adequately cover the requirements. We then formulate the automated test generation procedure and apply its prototype in case studies with industrial partners. In review, the method developed here is demonstrated to significantly reduce the human effort for the qualification of software products under DO-178 guidance.

show abstract