TY - GEN
T1 - The analysis and modeling for the input space of real-time embedded software
AU - Ai, Jun
AU - Lu, Min Yan
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
KW - Input space
KW - Software reliability
KW - Software test
UR - https://www.scopus.com/pages/publications/77955974593
U2 - 10.1109/ICRMS.2009.5270085
DO - 10.1109/ICRMS.2009.5270085
M3 - 会议稿件
AN - SCOPUS:77955974593
SN - 9781424449057
T3 - Proceedings of 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009
SP - 774
EP - 777
BT - Proceedings of 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009
T2 - 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009
Y2 - 20 July 2009 through 24 July 2009
ER -