Fault-Based Test Case Generation for Component Connectors

Authors:
Bernhard K. Aichernig;Farhad Arbab;Lacramioara Astefanoaei;Frank S. de Boer;Meng Sun;Jan Rutten
Affiliations:
-;-;-;-;-;-
Venue:
TASE '09 Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
Year:
2009

Citing 0
Cited 5

Connectors as Designs

Electronic Notes in Theoretical Computer Science (ENTCS)
Fault-based test suite prioritization for specification-based testing

Information and Software Technology
Puff, the magic protocol

Formal modeling
Connectors as designs: Modeling, refinement and test case generation

Science of Computer Programming
Passive conformance testing of service choreographies

Proceedings of the 27th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The complex interactions appearing in service-oriented computing make coordination a key concern in service-oriented systems. In this paper, we present a fault-based method to generate test cases for component connectors from specifications. For connectors, faults are caused by possible errors during the development process, such as wrongly used channels, missing or redundant subcircuits, or circuits with wrongly constructed topology. We give test cases and connectors a unifying formal semantics by using the notion of design, and generate test cases by solving constraints obtained from the specification and faulty connectors. A prototype symbolic test case generator serves to demonstrate the automatizing of the approach.