Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Component-based product line engineering with UML
Component-based product line engineering with UML
Model Checking of Message Sequence Charts
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
A UML-Based Approach to System Testing
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Conformance Testing from UML Specifications. Experience Report
Workshop of the pUML-Group held together with the «UML»2001 on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
A UML-integrated Test Description Language for Component Testing
Workshop of the pUML-Group held together with the «UML»2001 on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
Test Generation Derived from Model-Checking
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Principles of Distributed Test Synthesis based on True-concurrency Models
TestCom '02 Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV
UMLAUT: An Extendible UML Transformation Framework
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Test Synthesis from UML Models of Distributed Software
IEEE Transactions on Software Engineering
A state-based approach to integration testing based on UML models
Information and Software Technology
Action synchronization in P2P system testing
DaMaP '08 Proceedings of the 2008 international workshop on Data management in peer-to-peer systems
Testing Architectures for Large Scale Systems
High Performance Computing for Computational Science - VECPAR 2008
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
An approach to testing conceptual schemas
Data & Knowledge Engineering
Using UML(VR) for the support of the test data generation
International Journal of Critical Computer-Based Systems
Empirical Software Engineering
Efficient distributed test architectures for large-scale systems
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Conformance relations for distributed testing based on CSP
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
LaTe, a non-fully deterministic testing language
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
A method for information systems testing automation
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
Hi-index | 0.10 |
The object-oriented software development process is increasingly used for the construction of both centralised and distributed systems. As yet, however, formal V&V techniques have not found much use in the objectoriented context, in spite of the fact that some are now mature enough to be exercised in real world applications. In this paper, we investigate the use of formal validation in a UML-based development process. We present a method and a tool for automated synthesis of test cases from generic test scenarios and a design model of the application, remaining entirely within the UML framework. The underlying "on the fly" test synthesis algorithms are based on the input/output labelled transition formalism, which is particularly appropriate for modelling applications which may involve asynchronous communication. We illustrate the system test synthesis process using an Air Traffic Control software case study.