jSynoPSys – A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines

Dadeau, Frédéric; Tissot, Régis

doi:10.1016/j.entcs.2009.09.055

Cited by 6 publications

(4 citation statements)

References 3 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

“…Tobias was used successfully on several case studies [5,6,4]. It has inspired tools such as the Overture Combinatorial Testing Plug-in [7], jSynoPSys [3], and TL-CAT [13].…”

Section: A Short Presentation Of Tobiasmentioning

confidence: 99%

Test suite selection based on traceability annotations

Ledru

Vega

Triki

et al. 2012

Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering

View full text Add to dashboard Cite

This paper describes the Tobias tool. Tobias is a combinatorial test generator which unfolds a test pattern provided by the test engineer, and performs various combinations and repetitions of test parameters and methods. Tobias is available on-line at tobias.liglab.fr. This website features recent improvements of the tool including a new input language, a traceability mechanism, and the definition of various "selectors" which achieve test suite reduction.

show abstract

“…This allows to control the size of the produced test suite, and incrementally pilot the combinatorial unfolding process. These constructs are inspired by the jSynoPSys scenario language [8] and are syntactically and semantically adjusted to meet our needs. AuthenticateHolder performs checkPin one to four times.…”

Section: New Tobias Constructsmentioning

confidence: 99%

“…Tobias [19,17,18] is one of these combinatorial generators. It was used successfully on several case studies [3,9,10] and has inspired recent combinatorial testing tools, such as the combinatorial facility of the Overture toolset for VDM++ [16] or jSynoPSys [8].…”

Section: Introductionmentioning

confidence: 99%

Model-Based Filtering of Combinatorial Test Suites

Triki

Ledru

Bousquet

et al. 2012

Fundamental Approaches to Software Engineering

Self Cite

View full text Add to dashboard Cite

Abstract.Tobias is a combinatorial test generation tool which can efficiently generate a large number of test cases by unfolding a test pattern and computing all combinations of parameters. In this paper, we first propose a model-based testing approach where Tobias test cases are first run on an executable UML/OCL specification. This animation of test cases on a model allows to filter out invalid test sequences produced by blind enumeration, typically the ones which violate the pre-conditions of operations, and to provide an oracle for the valid ones. We then introduce recent extensions of the Tobias tool which support an incremental unfolding and filtering process, and its associated toolset. This allows to address explosive test patterns featuring a large number of invalid test cases, and only a small number of valid ones. For instance, these new constructs could mandate test cases to satisfy a given predicate at some point or to follow a given behavior. The early detection of invalid test cases improves the calculation time of the whole generation and execution process, and helps fighting combinatorial explosion.

show abstract

jSynoPSys – A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines

Cited by 6 publications

References 3 publications

Scenario Based Test Generation Using Test Designer

Scenario Based Test Generation Using Test Designer

Test suite selection based on traceability annotations

Model-Based Filtering of Combinatorial Test Suites

Contact Info

Product

Resources

About