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

可靠性与系统工程学院

Beihang University
Beijing Sirius Technology Lmd

科研成果: 会议稿件 › 论文 › 同行评审

5 引用（Scopus）

摘要

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.

源语言	英语
页	109-115
页数	7
DOI	https://doi.org/10.1109/SERE-C.2013.43
出版状态	已出版 - 2013
活动	7th International Conference on Software Security and Reliability, SERE-C 2013 - Gaithersburg, MD, 美国期限: 18 6月 2013 → 20 6月 2013

会议

会议	7th International Conference on Software Security and Reliability, SERE-C 2013
国家/地区	美国
市	Gaithersburg, MD
时期	18/06/13 → 20/06/13

访问文件

10.1109/SERE-C.2013.43

其它文件与链接

链接到 Scopus 的出版物

引用此

@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

摘要

会议

访问文件

其它文件与链接

指纹

引用此