Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance

Dadeau, Frédéric; Kermadec, Adrien de; Tissot, Régis

doi:10.1007/978-3-540-87603-8_13

Cited by 8 publications

(3 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This work is an extension of a previous combination of scenario-and model-based testing approaches, initially designed for B machines [8], [9] and now adapted to the objectoriented paradigm. Nevertheless, contrary to these approaches, our underlying technology is not a symbolic animation that would make it possible to abstract operation parameter values, but a fully-instantiated model animator that requires operation parameters to be instantiated before animation.…”

Section: Related Workmentioning

confidence: 98%

Scenario Based Test Generation Using Test Designer

Castillos

Botella

2011

2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops

View full text Add to dashboard Cite

We present in this paper 1 a Scenario Based Testing approach for UML/OCL behavioral models. Scenarios are expressed using a regular expression syntax, that makes it possible to specify iterations and choices between sequences of operation calls, specific operation behaviors to be activated, and intermediate states that have to be reached by the scenario. This expressive scenario language describes sequences of operations that compose the scenario and restrict the execution of the model to representative subset that complements the functional test cases produced by a test generator. This approach is tool supported by a scenario editor and coupled with the model animation engine of the Test Designer tool that is used to animate unfolded test cases and check their consistency with respect to the initial test scenario. The resulting abstract test cases can then be integrated back to the Test Designer repository so as to benefit from the test publishers offered by the tool.

show abstract

Section: Related Workmentioning

confidence: 98%

Scenario Based Test Generation Using Test Designer

Castillos

Botella

2011

2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops

View full text Add to dashboard Cite

show abstract

“…Model-based test and oracle generation [50], [78] can aid conformance, and has been applied to POSIX file systems [25] and to other POSIX aspects [32]. This work generates tests to validate library behavior and is complementary to CheckAPI, which finds violations at runtime.…”

Section: Static Analysismentioning

confidence: 99%

Detecting latent cross-platform API violations

Rasley

Gessiou

Ohmann

et al. 2015

2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)

View full text Add to dashboard Cite

Many APIs enable cross-platform system development by abstracting over the details of a platform, allowing application developers to write one implementation that will run on a wide variety of platforms. Unfortunately, subtle differences in the behavior of the underlying platforms make cross-platform behavior difficult to achieve. As a result, applications using these APIs can be plagued by bugs difficult to observe before deployment. These portability bugs can be particularly difficult to diagnose and fix because they arise from the API implementation, the operating system, or hardware, rather than application code.This paper describes CheckAPI, a technique for detecting violations of cross-platform portability. CheckAPI compares an application's interactions with the API implementation to its interactions with a partial specification-based API implementation, and does so efficiently enough to be used in real production systems and at runtime. CheckAPI finds latent errors that escape pre-release testing. This paper discusses the subtleties of different kinds of API calls and strategies for effectively producing the partial implementations. Validating CheckAPI on JavaScript, the Seattle project's Repy VM, and POSIX detects dozens of violations that are confirmed bugs in widely-used software.

show abstract

“…Another experimentation has been conducted on a model of the POSIX standard for filesystems . The model, designed in a single B machine of 1500 lines of B code, contains 16 operations that make it possible to manage a filesystem, such as create files/directories, change working directory, write into/read from files, and so on.…”

Section: Case Study Evaluationmentioning

confidence: 99%

Scenario‐based testing using symbolic animation of B models

Dadeau

Castillos

Tissot

2012

Software Testing Verif & Rel

Self Cite

View full text Add to dashboard Cite

SUMMARY This article presents a model‐based test generation technique, from user‐defined scenarios, for behavioral models expressed as B machines. Scenarios are expressed using a customized formalism, based on regular expressions, that makes it possible to describe sequences of operation calls possibly reaching specific states of the system. A symbolic animation engine, simulating the execution of a model using constraint logic programming, is then exploited to play the unfolded scenarios on the model and to instantiate the test cases, providing the expected results used to establish the conformance verdict. This approach is tool supported by a research prototype and has been successfully applied in an industrial context of a smart card applet. This tool is extended by a scenario generator, which automatically generates testing strategies for exercising user‐defined properties, written using specific patterns. Copyright © 2012 John Wiley & Sons, Ltd.

show abstract

Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance

Cited by 8 publications

References 13 publications

Scenario Based Test Generation Using Test Designer

Scenario Based Test Generation Using Test Designer

Detecting latent cross-platform API violations

Scenario‐based testing using symbolic animation of B models

Contact Info

Product

Resources

About