Logo des Repositoriums
 

Property-oriented testing: An approach to focusing testing efforts on behaviours of interest

Kurzanzeige
dc.contributor.authorLi, Shuhao
dc.contributor.authorQi, Zhichang
dc.contributor.editorBeydeda, Ksami
dc.contributor.editorGruhn, Volker
dc.contributor.editorMayer, Johannes
dc.contributor.editorReussner, Ralf
dc.contributor.editorSchweiggert, Franz
dc.date.accessioned2019-10-11T10:37:52Z
dc.date.available2019-10-11T10:37:52Z
dc.date.issued2004
dc.description.abstractThe behaviours of reactive systems are characterized by events, conditions, actions, and information flows. Complex reactive systems further exhibit hierarchy and concurrency. Since there usually exist numerous behaviours in such systems, they can hardly receive both comprehensive and in-depth testing. This paper presents a property-oriented testing method for reactive systems. UML state machine is employed to model the system under test (SUT) and temporal logic is used to specify the property to be tested. Targeted test sequences are derived from the model according to the given property. Based on this method, a property-oriented testing tool is implemented. Experiment results indicate that testing efforts can be focused on behaviours of interest of the SUT and thus usually only a small portion of the total behaviours needs to be tested. This method suits well the occasions when the testers have to focus on only critical properties of the SUT in case limited project budget is available. After appropriate extensions, this method can also be applied to real-time systems and systems with parameterized events.en
dc.identifier.isbn3-88579-387-3
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/28492
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofTesting of component-based systems and software quality
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-58
dc.titleProperty-oriented testing: An approach to focusing testing efforts on behaviours of interesten
dc.typeText/Conference Paper
gi.citation.endPage206
gi.citation.publisherPlaceBonn
gi.citation.startPage191
gi.conference.dateSeptember 30, 2004
gi.conference.locationErfurt
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
GI.Proceedings.58-17.pdf
Größe:
267.34 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P058 - Testing of Component-Based Systems and Software Quality 2004