Black-box testing: techniques for functional testing of software and systems
Black-box testing: techniques for functional testing of software and systems
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
STG: a tool for generating symbolic test programs and oracles from operational specifications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
SCENTOR: Scenario-Based Testing of E-Business Applications
WETICE '01 Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
Scenario-based Object-Oriented Testing Framework
QSIC '03 Proceedings of the Third International Conference on Quality Software
CLPS–B – A constraint solver to animate a B specification
International Journal on Software Tools for Technology Transfer (STTT) - Special section on tools and algorithms for the construction and analysis of systems
Environment behavior models for scenario generation and testing automation
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Generating security tests in addition to functional tests
Proceedings of the 3rd international workshop on Automation of software test
ProTest: An Automatic Test Environment for B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Pex: white box test generation for .NET
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Symbolic animation of JML specifications
FM'05 Proceedings of the 2005 international conference on Formal Methods
LEIRIOS test generator: automated test generation from b models
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Model-Based filtering of combinatorial test suites
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Scenario-based testing using symbolic animation of B models
Software Testing, Verification & Reliability
Test suite selection based on traceability annotations
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Hi-index | 0.00 |
This paper presents the jSynoPSys tool that implements the concept of Scenario-Based Testing from B machines. This consists in describing execution scenarios, expressed as regular expressions over the operations of the system, coupled with intermediate system states that have to be reached when the scenario is unfolded. The tool relies on the BZ-Testing-Tools engine, originally designed to perform symbolic animation and boundary test generation from B machines. The main advantage of our Scenario-Based Testing technique is that it performs a full abstraction of the operation parameter values, that are instantiated at the end, when the scenario has been completely unfolded, using constraint solving techniques.