Static and dynamic analysis of call chains in java
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Deriving tests from UML 2.0 sequence diagrams with neg and assert
Proceedings of the 2006 international workshop on Automation of software test
PPPJ '06 Proceedings of the 4th international symposium on Principles and practice of programming in Java
Automatic test case generation from UML communication diagrams
Information and Software Technology
Automated Generation of Test Cases Using Model-Driven Architecture
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
Towards traceability of model-based testing artifacts
Proceedings of the 3rd international workshop on Advances in model-based testing
A state-based approach to integration testing based on UML models
Information and Software Technology
Using traceability to support model-based regression testing
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Using model transformation to support model-based test coverage measurement
Proceedings of the 3rd international workshop on Automation of software test
A survey into the rigor of UML use and its perceived impact on quality and productivity
Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement
Model-based test cases synthesis using UML interaction diagrams
ACM SIGSOFT Software Engineering Notes
Increasing Test Granularity by Aggregating Unit Tests
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
From design models to test models by means of test ideas
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
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)
A method facilitating integration testing of embedded software
Proceedings of the Ninth International Workshop on Dynamic Analysis
Symbolic Message Sequence Charts
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Coverage criteria for testing of object interactions in sequence diagrams
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
Control flow analysis of UML 2.0 sequence diagrams
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Systematic scenario test case generation for nuclear safety systems
Information and Software Technology
UML behavioral model based test case generation: a survey
ACM SIGSOFT Software Engineering Notes
An automatic generation strategy for test cases based on constraints
ICIC'13 Proceedings of the 9th international conference on Intelligent Computing Theories and Technology
| Hi-index | 0.00 |
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC uses UML sequence diagrams, that are complemented by test case data sets consisting of parameters and return values for the method calls, as test specification and therefore can easily be integrated into the development process as soon as the design phase starts. SeDiTeC supports specification of several test case data sets for each sequence diagram as well as to combine several sequence diagrams to so-called combined sequence diagrams thus reducing the number of diagrams needed. For classes and their methods whose behavior is specified in sequence diagrams and the corresponding test case data sets SeDiTeC can automatically generate test stubs thus enabling testing right from the beginning of the implementation phase. Validation is not restricted to comparing the test case data sets with the observed data, but can also include validation of pre- and postconditions.