article · 2008

Conformance Testing for Statecharts

Dirk Seifert, Steffen Helke, Thomas Santen

Cited by 0Abstract and details only

Abstract

Abstract. We describe an approach to automatically generate test cases from object-oriented statecharts as they are used in the UML and supported by development tools such as I-Logics Rhapsody. Applying Tretmans ’ approach to generate test cases for I/O automata from labeled transition systems, we consider a statechart as a specification of a system under test. Test cases generated from such a specification can be used to drive a test harness, creating stimuli for the system under test and observing the reactions of the system under test to produce a verdict. This work contributes in three respects to using statecharts for specifying and verifying systems. First, it provides a semantics of the features of object-oriented statecharts that go beyond labeled transition systems such as asynchronous sequential event processing, truly parallel event generation, and input-enabledness. Second, defining two variants of an implementation relation for statecharts it makes the notion of conformance testing for statecharts precise. Third, it introduces a compact data structure for representing the statechart semantics that allows for efficient generation of test cases and easily supports both variants of implementation relations. A prototypical implementation cooperating with the tool Rhapsody serves as a proof of concept. 1

Cite this paper

APA 7

Seifert, D., Helke, S., & Santen, T. (2008). Conformance Testing for Statecharts.

MLA 9

Seifert, Dirk, et al. “Conformance Testing for Statecharts.” 2008.

Chicago

Seifert, Dirk, Steffen Helke, and Thomas Santen. 2008. “Conformance Testing for Statecharts.”

Harvard

Seifert, D., Helke, S. and Santen, T. (2008) ‘Conformance Testing for Statecharts’.

BibTeX

@article{seifert2008conformance,
  title = {{Conformance Testing for Statecharts}},
  author = {Seifert, Dirk and Helke, Steffen and Santen, Thomas},
  year = {2008}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.