• English
    • Deutsch
View Item 
  •   OPARU Home
  • Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • Publikationen
  • View Item
  •   OPARU Home
  • Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • Publikationen
  • View Item
  • English 
    • English
    • Deutsch
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.

Computation Sequence Chart: ein Konzept zur anforderungsbezogenen Testfallgenerierung

Thumbnail
Download
vts_7816_11286.pdf (1.973Mb)
155 S.
 
Veröffentlichung
2012-01-12
DOI
10.18725/OPARU-1772
Dissertation


Authors
Grosch, Vanessa
Faculties
Fakultät für Ingenieurwissenschaften und Informatik
License
Standard (Fassung vom 01.10.2008)
https://oparu.uni-ulm.de/xmlui/license_v2
Abstract
Anforderungen an das Verhalten eines software-gesteuerten Systems wie auch hinsichtlich weiterer qualitativer Eigenschaften werden im industriellen Kontext nach wie vor in nicht formaler Form, häufig in freiem Text, beschrieben und sind somit semantisch nicht oder nicht hinreichend präzise definiert. Eine Beschreibung in formaler Form, in einer hinsichtlich Syntax und Semantik klar definierten Sprache, beruht i.a. auf einem Axiomensystem, aus dessen Axiomen und Schlussfolgerungen wohldefinierte Systeme gebildet werden, die vorgegebenen Gesetzen folgen [HB01]. Derzeit gibt es keinen praktikablen und gleichzeitig formal korrekten Ansatz, um einen Bezug zwischen nicht-formaler Anforderung und den aus der formalen Spezifikation generierten Testfällen zu ermöglichen. Dieser Bezug würde es erlauben, eine Aussage über die korrekte Umsetzung der nicht-formalen Anforderung in dem getesteten System zu treffen. Die existierenden Verfahren sind entweder zu aufwändig oder nicht formal genug, um durch sie anforderungsbezogene Testfälle generieren zu können. Die vorliegende Arbeit präsentiert ein Konzept zur anforderungsbezogenen Testfallgenerierung. Eine formale Notation, genannt Computation Sequence Chart (CSC), stellt einen Bezug zwischen nicht-formaler und formaler Anforderung her. CSCs können bei der Testfallgenerierung berücksichtigt werden. Um dies zu erreichen, werden die CSCs in eine Logik übersetzt und beim Model-Checking zur Testfallgenerierung in den Prozess integriert. Das theoretisch entwickelte und praktisch validierte Konzept umfasst • die Definition einer graphischen Notation (CSC) zur Verlinkung nicht-formaler Anforderungen und formaler Testmodelle, • Definitionen, Sätze, Regeln und Softwaremodule zur Transformation der Notation in Prädikatenlogik oder Timed Branching Time Logic und • die Einbindung von CSCs in die Generierung von Testfällen am Beispiel zweier Model-Checking Verfahren auf Basis von Timed Statecharts und Timed Automata.
Date created
2011
Subject Headings
Model Checking [GND]
Modellbasiertes Testen [GND]
Testing. Data processing [LCSH]
Keywords
Anforderungsbasierter Test; Requirememts tracing
Dewey Decimal Group
DDC 004 / Data processing & computer science

Metadata
Show full item record

Citation example

Grosch, Vanessa (2012): Computation Sequence Chart: ein Konzept zur anforderungsbezogenen Testfallgenerierung. Open Access Repositorium der Universität Ulm. Dissertation. http://dx.doi.org/10.18725/OPARU-1772

Other citation formats



About OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsFacultiesInstitutionsPersonsResource typesUlm SerialsDewey Decimal ClassesFundingThis CollectionFacultiesInstitutionsPersonsResource typesUlm SerialsDewey Decimal ClassesFunding

My Account

LoginRegister

Statistics

View Usage Statistics

About OPARU | Contact Us
Impressum | Privacy statement