An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Criteria for Generating Specification-Based Tests
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
A formal approach to collaborations in the unified modeling language
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML collaboration diagrams and their transformation to java
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Software requirements validation via task analysis
Journal of Systems and Software
UML-Based Integration Testing for Component-Based Software
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
Measuring OO Design Metrics from UML
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Scenario-Based Monitoring and Testing of Real-Time UML Models
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Static and dynamic analysis of call chains in java
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Testing software modelling tools using data mutation
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
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatic test case generation from UML communication diagrams
Information and Software Technology
Requirements for information systems model-based testing
Proceedings of the 2007 ACM symposium on Applied computing
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
A state-based approach to integration testing based on UML models
Information and Software Technology
Information Security Tech. Report
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
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Leveraging User Interactions for In-Depth Testing of Web Applications
RAID '08 Proceedings of the 11th international symposium on Recent Advances in Intrusion Detection
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
Code based analysis for object-oriented systems
Journal of Computer Science and Technology
Model-based testing approaches selection for software projects
Information and Software Technology
Slicing-based test case generation from UML activity diagrams
ACM SIGSOFT Software Engineering Notes
Software testing: perception on exploration and ad-libbing
MACMESE'09 Proceedings of the 11th WSEAS international conference on Mathematical and computational methods in science and engineering
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Measuring design testability of a UML class diagram
Information and Software Technology
Automated unit and integration testing for component-based software systems
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
Synthesis of test scenarios using UML activity diagrams
Software and Systems Modeling (SoSyM)
Aspects-classes integration testing strategy: an incremental approach
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
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
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
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
ACM SIGSOFT Software Engineering Notes
UML behavioral model based test case generation: a survey
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
Software testing can only be formalized and quantified when a solid basis for test generation can be defined. Tests are commonly generated from program source code, graphical models of software (such as control flow graphs), and specifications/requirements. UML collaboration diagrams represent a significant opportunity for testing because they precisely describe how the functions the software provides are connected in a form that can be easily manipulated by automated means. This paper presents novel test criteria that are based on UML collaboration diagrams. The most novel aspect of this is that tests can be generated automatically from the software design, rather than the code or the specifications. Criteria are defined for both static and dynamic testing of specification-level and instance-level collaboration diagrams. These criteria allow a formal integration tests to be based on high level design notations, which can help lead to software that is significantly more reliable.