Modeling embedded software test requirement based on MARTE

Wang Yichen; Lan Xinsheng; Wang Yikun

doi:10.1109/SERE-C.2013.43

Modeling embedded software test requirement based on MARTE

Wang Yichen
, Lan Xinsheng
, Wang Yikun

School of Reliability and Systems Engineering

Beihang University
Beijing Sirius Technology Lmd

Research output: Contribution to conference › Paper › peer-review

5 Scopus citations

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.

Original language	English
Pages	109-115
Number of pages	7
DOIs	https://doi.org/10.1109/SERE-C.2013.43
State	Published - 2013
Event	7th International Conference on Software Security and Reliability, SERE-C 2013 - Gaithersburg, MD, United States Duration: 18 Jun 2013 → 20 Jun 2013

Conference

Conference	7th International Conference on Software Security and Reliability, SERE-C 2013
Country/Territory	United States
City	Gaithersburg, MD
Period	18/06/13 → 20/06/13

Keywords

Embedded software
MARTE
Software test
Test requirement modeling

Access to Document

10.1109/SERE-C.2013.43

Cite this

@conference{27e0d50ea5a24d85805c82ff0a8fc812,

title = "Modeling embedded software test requirement based on MARTE",

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 = "Embedded software, MARTE, Software test, Test requirement modeling",

author = "Wang Yichen and Lan Xinsheng and Wang Yikun",

year = "2013",

doi = "10.1109/SERE-C.2013.43",

language = "英语",

pages = "109--115",

note = "7th International Conference on Software Security and Reliability, SERE-C 2013 ; Conference date: 18-06-2013 Through 20-06-2013",

}

TY - CONF

T1 - Modeling embedded software test requirement based on MARTE

AU - Yichen, Wang

AU - Xinsheng, Lan

AU - Yikun, Wang

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

KW - Embedded software

KW - MARTE

KW - Software test

KW - Test requirement modeling

UR - https://www.scopus.com/pages/publications/84887804939

U2 - 10.1109/SERE-C.2013.43

DO - 10.1109/SERE-C.2013.43

M3 - 论文

AN - SCOPUS:84887804939

SP - 109

EP - 115

T2 - 7th International Conference on Software Security and Reliability, SERE-C 2013

Y2 - 18 June 2013 through 20 June 2013

ER -

Modeling embedded software test requirement based on MARTE

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this