Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The Rational Unified Process: an introduction
The Rational Unified Process: an introduction
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
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Computer
Scenarios in System Development: Current Practice
IEEE Software
Requirement-Based Automated Black-Box Test Generation
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Automating Test Case Generation from Z Specifications with Isabelle
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
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
Automated Boundary Testing from Z and B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
UML-Based Statistical Test Case Generation
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Measuring the Effectiveness of Method Test Sequences Derived from Sequencing Constraints
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
On the State of the Art in Requirements-based Validation and Test ofSoftware
On the State of the Art in Requirements-based Validation and Test ofSoftware
Requirements by Contracts allow Automated System Testing
ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Generation of test requirements from aspectual use cases
Proceedings of the 3rd workshop on Testing aspect-oriented programs
Specifying Use Case Sequencing Constraints Using Description Elements
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Towards traceability of model-based testing artifacts
Proceedings of the 3rd international workshop on Advances in model-based testing
Using traceability to support model-based regression testing
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
An approach for supporting system-level test scenarios generation from textual use cases
Proceedings of the 2008 ACM symposium on Applied computing
Automatic, evolutionary test data generation for dynamic software testing
Journal of Systems and Software
Towards UML-Intensive Framework for Model-Driven Development
Balancing Agility and Formalism in Software Engineering
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Visualization of Use Cases through Automatically Generated Activity Diagrams
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Automatic generation of test specifications for coverage of system state transitions
Information and Software Technology
Consistency between Task Models and Use Cases
Engineering Interactive Systems
Model-based test cases synthesis using UML interaction diagrams
ACM SIGSOFT Software Engineering Notes
System state coverage through automatic test case generation
International Journal of Information and Communication Technology
A Test-oriented Embedded System Production Methodology
Journal of Signal Processing Systems
Validation of contracts using enabledness preserving finite state abstractions
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
Automating test case definition using a domain specific language
Proceedings of the 46th Annual Southeast Regional Conference on XX
An Automated Test Code Generation Method for Web Applications using Activity Oriented Approach
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
An approach to testing conceptual schemas
Data & Knowledge Engineering
SEPADS'10 Proceedings of the 9th WSEAS international conference on Software engineering, parallel and distributed systems
Using UML(VR) for the support of the test data generation
International Journal of Critical Computer-Based Systems
A method of automatic integration test case generation from UML-based scenario
WSEAS Transactions on Information Science and Applications
Journal of Systems and Software
Composing models at two modeling levels to capture heterogeneous concerns in requirements
SC'10 Proceedings of the 9th international conference on Software composition
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
An overview on test generation from functional requirements
Journal of Systems and Software
Journal of Web Engineering
Radial basis function neural network based approach to test oracle
ACM SIGSOFT Software Engineering Notes
Proceedings of the 14th international conference on Model driven engineering languages and systems
An automated approach to transform use cases into activity diagrams
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
A layer-based method for rapid software development
Computers & Mathematics with Applications
Software and Systems Modeling (SoSyM)
Evaluating Different Strategies for Testing Software Product Lines
Journal of Electronic Testing: Theory and Applications
UML behavioral model based test case generation: a survey
ACM SIGSOFT Software Engineering Notes
A taxonomy for requirements engineering and software test alignment
ACM Transactions on Software Engineering and Methodology (TOSEM)
A metric towards evaluating understandability of state machines: An empirical study
Information and Software Technology
| Hi-index | 0.00 |
Use cases are believed to be a good basis for system testing. Yet, to automate the test generation process, there is a large gap to bridge between high-level use cases and concrete test cases. We propose a new approach for automating the generation of system test scenarios in the context of object-oriented embedded software, taking into account traceability problems between high-level views and concrete test case execution. Starting from a formalization of the requirements based on use cases extended with contracts, we automatically build a transition system from which we synthesize test cases. Our objective is to cover the system in terms of statement coverage with those generated tests: An empirical evaluation of our approach is given based on this objective and several case studies. We briefly discuss the experimental deployment of our approach in the field at Thalès Airborne Systems.