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
Using model checking to generate tests from requirements specifications
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of 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
Formal Proof of Smart Card Applets Correctness
CARDIS '98 Proceedings of the The International Conference on Smart Card Research and Applications
SCENTOR: Scenario-Based Testing of E-Business Applications
WETICE '01 Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Météor: A Successful Application of B in a Large Project
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Scenario-Based Object-Oriented Test Frameworks for Testing Distributed Systems
FTDCS '03 Proceedings of the The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
CASTING: A Formally Based Software Test Generation Method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
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
Software Testing, Verification & Reliability - SoftTest II: The Second UK Workshop on Software Testing Research
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Environment behavior models for scenario generation and testing automation
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Automatic generation of model based tests for a class of security properties
Proceedings of the 3rd international workshop on Advances in model-based testing
Using model-checkers to generate and analyze property relevant test-cases
Software Quality Control
Generating security tests in addition to functional tests
Proceedings of the 3rd international workshop on Automation of software test
Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
j-POST: a Java Toolchain for Property-Oriented Software Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
jSynoPSys -- A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines
Electronic Notes in Theoretical Computer Science (ENTCS)
ProTest: An Automatic Test Environment for B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
ICST '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation
Automatic verification and conformance testing for validating safety properties of reactive systems
FM'05 Proceedings of the 2005 international conference on Formal Methods
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
LEIRIOS test generator: automated test generation from b models
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
The Rodin formal modelling tool
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
| Hi-index | 0.00 |
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.