http://dl.gi.de/handle/20.500.12116/28089 2026-07-23T05:49:42Z 2026-07-23T05:49:42Z Lechner, Alexander http://dl.gi.de/handle/20.500.12116/28259 2019-10-11T07:58:32Z 2005-01-01T00:00:00Z

Testing of interorganizational workflows Lechner, Alexander Cremers, Armin B.; Manthey, Rainer; Martini, Peter; Steinhage, Volker This paper presents FLOWTEST a concept on testing interorganizational workflows on model-level. FLOWTEST focuses on building up test-models, deriving test-cases and executing tests on predefined workflows consisting of atomic web-services. The main goal of FLOWTEST is the realization of a test-suite to drive round-trip testing from code to model back to code level.

2005-01-01T00:00:00Z Sadeghipour, Sadegh Lim, Meike http://dl.gi.de/handle/20.500.12116/28257 2019-10-11T07:58:31Z 2005-01-01T00:00:00Z

Einsatz automatischer Testvektorgenerierung im modellbasierten Test Sadeghipour, Sadegh; Lim, Meike Cremers, Armin B.; Manthey, Rainer; Martini, Peter; Steinhage, Volker In der Welt der modellbasierten Softwareentwicklung hat die automatische Testvektorgenerierung die Forschungsphase bereits durchschritten. Dementsprechend sind einige Tools für die Generierung von Testvektoren auf dem Markt der modellbasierten CASE Tools verfügbar. Dieser Beitrag beschreibt verschiedene Anwendungsszenarien für die automatische Generierung von Testvektoren auf Modellebene.

2005-01-01T00:00:00Z Mücke, Tilo Huhn, Michaela http://dl.gi.de/handle/20.500.12116/28258 2019-10-11T07:58:31Z 2005-01-01T00:00:00Z

Optimising Test Execution Times in Test Suite Generation Mücke, Tilo; Huhn, Michaela Cremers, Armin B.; Manthey, Rainer; Martini, Peter; Steinhage, Volker In the last decade, enormous progress has been made in generating test cases for coverage criteria automatically via model checking. However, many approaches suffer from generating large test suites with long test execution times. In recent work, we developed a method to generate test suites from state-based design models with the shortest test execution time satisfying a given set of coverage criteria. We were able to show that valuable improvements can be achieved. But space complexity of generating the fastest test suite turned out to be too high; thus our approach was limited to small models. Alternatively, a model checker can be called several times, each run generating a single test case. Thereby, the space complexity problem is solved. To build a test suite with minimised execution time, optimisations have to be applied afterwards. Here we present and compare several such algorithms to optimise test suites with respect to execution time.

2005-01-01T00:00:00Z Hermes, Thomas Schultze, Axel Predelli, Oliver http://dl.gi.de/handle/20.500.12116/28256 2019-10-11T07:58:30Z 2005-01-01T00:00:00Z

Automatische Testvektorgenerierung in der modellbasierten Softwareentwicklung Hermes, Thomas; Schultze, Axel; Predelli, Oliver Cremers, Armin B.; Manthey, Rainer; Martini, Peter; Steinhage, Volker Bei der IAV GmbH wurde ein modellbasierter Testfallgenerator entwickelt, mit dem es möglich ist, aus verifizierten MATLAB/Simulink-Modellen automatisch Whitebox-Testfälle in Form von Testvektoren bzw. Folgen solcher Testvektoren (Testsequenzen) zu erzeugen. Mit Hilfe dieser Testsequenzen ist es dann möglich, die Übereinstimmung des Codes in einem zeitdiskreten Zielsystem mit dem zugrundeliegenden Modell zu überprüfen. Die Testsequenzen werden auf der Basis vorgegebener Äquivalenzklassen für die einzelnen im Modell verwendeten Blocktypen erzeugt, die durch den Testvektorgenerator in Testsequenzen für das gesamte zu testende System konvertiert werden. Darüberhinaus werden redundante Testsequenzen zusammengefasst, und die Sollwerte werden unabhängig von den zur Modellierung oder Code-Generierung verwendeten Tools berechnet.

2005-01-01T00:00:00Z