The Analysis and Modeling for The Input Space of Real-time Embedded Software

摘要：

Software reliability testing is one of the important tasks in software reliability engineering,in which the failure data can be used to evaluate and validate the software reliability.In this paper, the input space of real-time embedded software is analyzed first And the model of input space constructed with usage space and input value space is presented,with which a formal modeling method, the usage profile in network graph form,is presented.With the usage profile, the constraint conditions of operations and the dynamic actions of software users can be expressed closely to actual situation.The software reliability testing cases can be generated with random sampling according to the software usage profile.

关键词： Input Space Software Reliability Software test

作者: Jun Ai Lu Min-yan

作者单位: Department of System Engineering of Engineering Technology Beijing University of Aeronautics & Astronautics Beijing,China

会议类型: 国际会议

会议名称: 2009 8th International Conference on Reliability,Maintainability and Safety(第八届中国国际可靠性、维修性、安全性会议)

会议地点: 成都

会议语种:英文

页码: 774-777

在线出版日期: 2009-08-24（万方平台首次上网日期，不代表论文的发表时间）