Home // PATTERNS 2010, The Second International Conferences on Pervasive Patterns and Applications // View article
Authors:
Lars Ebrecht
Karsten Lemmer
Keywords: Reactive systems; Validation and Verification, Real-time behaviour Pattern; Test Pattern; Validation Pattern; Test specification
Abstract:
The work described in this paper depicts an approach on how to close the lack of structure for test specifications, test descriptions and test data representations. On the example of a test data representation with the eXtensible Markup Language (XML), it will be shown how to form the structure using the behavioral atomic element and two testing patterns, i.e., for test stimuli and test reactions. The patterns are described using Petri net semantics. The scalability and flexibility of the approach, i.e., enabling the consideration of domain specific information, will also be shown on the example of the testing format. The pros and cons for using non-black box information in test descriptions and reference black box behavior specification for reactive systems, like actions, tasks and processes as well as system states in addition to the interface events, will be discussed in this paper at the end. The main achievement is a scalable, platform- and implementation-independent Test description using the meta-model described by the patterns.
Pages: 53 to 59
Copyright: Copyright (c) IARIA, 2010
Publication date: November 21, 2010
Published in: conference
ISSN: 2308-3557
ISBN: 978-1-61208-111-3
Location: Lisbon, Portugal
Dates: from November 21, 2010 to November 26, 2010