跳到主要导航 跳到搜索 跳到主要内容

Generation of reliability test data for real-time embedded software based on the usage profile

  • J. Ai*
  • , L. Minyan
  • , R. Lian
  • *此作品的通讯作者
  • Beihang University

科研成果: 书/报告/会议事项章节会议稿件同行评审

摘要

Software reliability testing is one of the important tasks in software reliability engineering, from which the failure data can be used to evaluate and validate the software reliability. The traditional profile, i.e. the operation profile, is not usually applicable to real-time embedded software, in which the operations are relevant and the constraint conditions between operations are very complex. In this paper a usage profile in network graph form is presented, which is an extension for the operational profile. With the usage profile, the operation sequences, the constraint conditions and the real time characters can be expressed closely to actual usage scenario, so that generating software reliability test data from the usage profile is more accurate and quick. To generate reliability test data automatically, a formal modeling method and a software tool named TCS are presented.

源语言英语
主期刊名Proceedings of the European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk
1403-1408
页数6
出版状态已出版 - 2006
活动European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk - Estoril, 葡萄牙
期限: 18 9月 200622 9月 2006

出版系列

姓名Proceedings of the European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk
2

会议

会议European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk
国家/地区葡萄牙
Estoril
时期18/09/0622/09/06

指纹

探究 'Generation of reliability test data for real-time embedded software based on the usage profile' 的科研主题。它们共同构成独一无二的指纹。

引用此