Software Testing: A Craftman's Approach
Software Testing: A Craftman's Approach
Computer
Aspect Composition Applying the Design by Contract Principle
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
SeDiTeC " Testing Based on Sequence Diagrams
Proceedings of the 17th IEEE international conference on Automated software engineering
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
WSDL-Based Automatic Test Case Generation for Web Services Testing
SOSE '05 Proceedings of the IEEE International Workshop
Automatic Test Case Generation from UML Sequence Diagram
ADCOM '07 Proceedings of the 15th International Conference on Advanced Computing and Communications
Automatic Test Case Generation for Interacting Services
Service-Oriented Computing --- ICSOC 2008 Workshops
Automatic generation of conformance tests from message sequence charts
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Hi-index | 0.00 |
We propose an automatic generation strategy for test cases. We use the Unified Modeling Language (UML) use cases to describe system requirements, as it can serve as a good basis of the test case generation. Meanwhile, in order to ensure that the test cases can automatically be generated, sequence diagram is used to describe the scene because of its superiority on message transferring between systems. A formal description of the sequence diagram is given, in order to achieve the automated generation of test cases. However, due to the characteristics of the use case description, the internal demands of the system are ignored, leading to inaccurate and rough test cases directly generated by use cases. In order to effectively control such adverse effects, we adopt contraction method that formal constraints demands described by the use cases and keep the constraints through the sequence diagram. This contraction method can not only enhance the test scene accuracy, but also ensure the final generated test cases more accurate with more detailed coverage.