Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Interface Mutation: An Approach for Integration Testing
IEEE Transactions on Software Engineering
Art of Software Testing
Mutation Testing Applied to Estelle Specifications
Software Quality Control
Object-Oriented Software Testing: Some Research and Development
HASE '98 The 3rd IEEE International Symposium on High-Assurance Systems Engineering
Automated Generation of Statistical Test Cases from UML State Diagrams
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
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
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
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
SeDiTeC " Testing Based on Sequence Diagrams
Proceedings of the 17th IEEE international conference on Automated software engineering
Test Selection from UML Statecharts
TOOLS '99 Proceedings of the 31st International Conference on Technology of Object-Oriented Language and Systems
Generating Test Cases from an OO Model with an AI Planning System
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Interclass Testing of Object Oriented Software
ICECCS '02 Proceedings of the Eighth International Conference on Engineering of Complex Computer Systems
Automating Impact Analysis and Regression Test Selection Based on UML Designs
ICSM '02 Proceedings of the International Conference on Software Maintenance (ICSM'02)
An Investigation of Graph-Based Class Integration Test Order Strategies
IEEE Transactions on Software Engineering
Coverage Criteria for Logical Expressions
ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
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
Formal Test-Case Generation for UML Statecharts
ICECCS '04 Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in the e-Engineering Age
The AGEDIS tools for model based testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Property-Oriented Test Generation from UML Statecharts
Proceedings of the 19th IEEE international conference on Automated software engineering
Assessing and Improving State-Based Class Testing: A Series of Experiments
IEEE Transactions on Software Engineering
Generating Test Cases from UML Activity Diagram based on Gray-Box Method
APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems
ASWEC '05 Proceedings of the 2005 Australian conference on Software Engineering
Is mutation an appropriate tool for testing experiments?
Proceedings of the 27th international conference on Software engineering
MuJava: an automated class mutation system: Research Articles
Software Testing, Verification & Reliability
System-level functional testing from UML specifications in end-of-production industrial environments
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Integration testing of object-oriented components using finite state machines: Research Articles
Software Testing, Verification & Reliability
Object-Oriented Software Engineering: Using UML, Patterns and Java, Second Edition
Object-Oriented Software Engineering: Using UML, Patterns and Java, Second Edition
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
From UML models to automatic generated tests for the dotLRN e-learning platform
Electronic Notes in Theoretical Computer Science (ENTCS)
Using UML collaboration diagrams for static checking and test generation
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
TESTOR: deriving test sequences from model-based specifications
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Automatic generation of test specifications for coverage of system state transitions
Information and Software Technology
System state coverage through automatic test case generation
International Journal of Information and Communication Technology
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
State Based Robustness Testing for Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Nature-inspired techniques for conformance testing of object-oriented software
Applied Soft Computing
Robustness testing for software components
Science of Computer Programming
Symbolic Message Sequence Charts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generating class contracts from deterministic UML protocol statemachines
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
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
Computers in Biology and Medicine
UML behavioral model based test case generation: a survey
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise when these classes are integrated together. In this paper, we present a technique to enhance testing of interactions among modal classes. The technique combines UML collaboration diagrams and statecharts to automatically generate an intermediate test model, called SCOTEM (State COllaboration TEst Model). The SCOTEM is then used to generate valid test paths. We also define various coverage criteria to generate test paths from the SCOTEM model. In order to assess our technique, we have developed a tool and applied it to a case study to investigate its fault detection capability. The results show that the proposed technique effectively detects all the seeded integration faults when complying with the most demanding adequacy criterion and still achieves reasonably good results for less expensive adequacy criteria.