Communicating sequential processes
Communicating sequential processes
Automatic generation of test scripts from formal test specifications
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Object-oriented modeling and design
Object-oriented modeling and design
Communication and concurrency
Predicate-based test generation for computer programs
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
A computer system for generating test data using the domain strategy
Proceedings of the second conference on Software development tools, techniques, and alternatives
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Testing Refinements by Refining Tests
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Projected state machine coverage for software testing
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
System Test Synthesis from UML Models of Distributed Software
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
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
Automated-generating test case using UML statechart diagrams
SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Testing Object Oriented Software
Proceedings of the 26th International Conference on Software Engineering
The AGEDIS tools for model based testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Automation of GUI testing using a model-driven approach
Proceedings of the 2006 international workshop on Automation of software test
Deriving tests from UML 2.0 sequence diagrams with neg and assert
Proceedings of the 2006 international workshop on Automation of software test
Test ready UML statechart models
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Generating interaction test cases for mobile phone systems from use case specifications
ACM SIGSOFT Software Engineering Notes
Code-coverage guided prioritized test generation
Information and Software Technology
Automatic test case generation from UML communication diagrams
Information and Software Technology
Generation of test requirements from aspectual use cases
Proceedings of the 3rd workshop on Testing aspect-oriented programs
System Test Planning of Software: An Optimization Approach
IEEE Transactions on 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
A test framework for integration testing of object-oriented programs
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Erlang testing and tools survey
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
MBT4Chor: A Model-Based Testing Approach for Service Choreographies
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Using a model-based test generator to test for standard conformance
IBM Systems Journal
Slicing-based test case generation from UML activity diagrams
ACM SIGSOFT Software Engineering Notes
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Nature-inspired techniques for conformance testing of object-oriented software
Applied Soft Computing
Integration testing in software product line engineering: a model-based technique
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
The UML 2.0 testing profile and its relation to TTCN-3
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Contextual integration testing of classes
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Difficulties in establishing a defect management process: a case study
PROFES'06 Proceedings of the 7th international conference on Product-Focused Software Process Improvement
A method for information systems testing automation
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Automatic conformance testing of web services
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
TESTOR: deriving test sequences from model-based specifications
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Using TTCN-3 for testing platform independent models
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
The AGEDIS tools for model based testing
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
The AGEDIS tools for model based testing
UML Modeling Languages and Applications
Combining UML sequence and state machine diagrams for data-flow based integration testing
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
ACM SIGSOFT Software Engineering Notes
UML behavioral model based test case generation: a survey
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their distributed, component-based applications. At the same time, it is necessary to test these components, especially during unit and integration testing.At Siemens Corporate Research, we have addressed the issue of testing components by integrating test generation and test execution technology with commercial UML modeling tools such as Rational Rose; the goal being a design-based testing environment. In order to generate test cases automatically, developers first define the dynamic behavior of their components via UML Statecharts, specify the interactions amongst them and finally annotate them with test requirements. Test cases are then derived from these annotated Statecharts using our test generation engine and executed with the help of our test execution tool. The latter tool was developed specifically for interfacing to components based on COM/DCOM and CORBA middleware.In this paper, we present our approach to modeling components and their interactions, describe how test cases are derived from these component models and then executed to verify their conformant behavior. We outline the implementation strategy of our TnT environment and use it to evaluate our approach by means of a simple example.