A Scenario-Centric Approach for the Definition of the Formal Test Specifications of Reactive Systems

Beitrag bei einer Tagung
(Originalarbeit)


Details zur Publikation

Autor(en): Entin V, Siegl S, Kern A, Reichel M, Meyer-Wegener K
Titel Sammelwerk: TAIC PART 2009 - Testing: Academic and Industrial Conference - Practice and Research Techniques
Jahr der Veröffentlichung: 2009
Tagungsband: Testing: Academic and Industrial Conference - Practice and Research Techniques
Seitenbereich: 179-183
Sprache: Englisch


Abstract


Complex modern embedded automotive software systems require different test techniques in each of the development stages. Most common are Model in the Loop, Software in the Loop, and Hardware in the Loop. The majority of these test techniques are automated. Each uses different notations for test data, pass/fail criteria, system-under-test interface definition and test-platform-specific parameterization. This leads to a series of problems such as exchangeability of test-specification notations among different teams working on the same functional module, reusability of test cases and uniformity of test-specification representation. This contribution proposes an approach for the formal and test-platform-independent definition of the test specification of reactive systems. Additionally, the application of the approach in three concrete use-case scenarios elicited in a pre-development department of AUDI AG is shown. © 2009 IEEE.



FAU-Autoren / FAU-Herausgeber

Meyer-Wegener, Klaus Prof. Dr.-Ing.
Lehrstuhl für Informatik 6 (Datenmanagement)
Siegl, Sebastian
Graduiertenzentrum der FAU


Zitierweisen

APA:
Entin, V., Siegl, S., Kern, A., Reichel, M., & Meyer-Wegener, K. (2009). A Scenario-Centric Approach for the Definition of the Formal Test Specifications of Reactive Systems. In Testing: Academic and Industrial Conference - Practice and Research Techniques (pp. 179-183). Windsor, UK, GB.

MLA:
Entin, Vladimir, et al. "A Scenario-Centric Approach for the Definition of the Formal Test Specifications of Reactive Systems." Proceedings of the TAIC PART '09, Windsor, UK 2009. 179-183.

BibTeX: 

Zuletzt aktualisiert 2018-09-08 um 22:26