| 实时嵌入式软件可靠性测试数据自动生成方法 |
| |
| 引用本文： | 艾骏,陆民燕,阮镰.实时嵌入式软件可靠性测试数据自动生成方法[J].测控技术,2007,26(3):59-61. |
| |
| 作者姓名： | 艾骏 陆民燕 阮镰 |
| |
| 作者单位： | 北京航空航天大学,工程系统工程系011教研室,北京,100083 |
| |
| 摘 要： | 可靠性测试是软件可靠性工程中的一项重要工作内容.为了更好地支持可靠性测试数据的自动生成,提出了一套形式化建模方法,通过系统视图、使用类视图、剖面视图和操作描述视图,实现对被测系统的分析、可靠性测试输入建模.根据这些形式化描述信息,计算机可以自动抽取出适用于软件可靠性测试的测试数据.
|
| 关 键 词： | 软件 可靠性 软件测试 操作剖面 使用剖面 |
| 文章编号： | 1000-8829(2007)03-0059-03 |
| 修稿时间： | 04 5 2006 12:00AM |
Generation of Reliability Test Data for Real-Time Embedded Software |
| |
| AI Jun,LU Min-yan,RUAN Lian.Generation of Reliability Test Data for Real-Time Embedded Software[J].Measurement & Control Technology,2007,26(3):59-61. |
| |
| Authors: | AI Jun LU Min-yan RUAN Lian |
| |
| Affiliation: | Staff Room 011, Department of System Engineering of Technology, BeiHang University, Beijing 100083, China |
| |
| Abstract: | Software reliability testing is one of the important tasks in software reliability engineering.To generate reliability test data automatically,a formal modeling method is presented.Four kinds of views are designed to model RTES testing environments,to encapsulate input variables,to describe usage profile and to describe the operations separately.Based on the formalization method,the software reliability test data can be generated automatically. |
| |
| Keywords: | software reliability software test operational profile usage profile |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
