Modeling Embedded Software Test Requirement Based on MARTE

Author

Wang Yichen ; Lan Xinsheng ; Wang Yikun

Author_Institution

Sch. of Reliability & Syst. Eng., BeiHang Univ., Beijing, China

fYear

2013

fDate

18-20 June 2013

Firstpage

109

Lastpage

115

Abstract

Based on software requirement and interface control information, Model and Analysis of Real-Time Embedded System (MARTE) was selected to model embedded HW/SW and their interactions. A traversal algorithm was presented to search test scenarios in objects interaction model. We´ll also analyze constraints between each scenario then generate test constraints. We´ll combine test configuration, test scenarios and corresponding test constraints to create a well-formed embedded software test requirements model.

Keywords

configuration management; constraint handling; embedded systems; formal specification; program testing; MARTE; Model and Analysis of Real-Time Embedded System; embedded HW/SW; embedded software test requirements model; hardware; interface control information; objects interaction model; test configuration; test constraints; test scenarios; traversal algorithm; Analytical models; Embedded software; Embedded systems; Hardware; Testing; Unified modeling language; Embedded software; software test; test requirement modeling; MARTE;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Security and Reliability-Companion (SERE-C), 2013 IEEE 7th International Conference on

Conference_Location

Gaithersburg, MD

Print_ISBN

978-1-4799-2924-5

Type

conf

DOI

10.1109/SERE-C.2013.43

Filename

6616332