The analysis and modeling for the input space of real-time embedded software

Jun Ai; Min Yan Lu

doi:10.1109/ICRMS.2009.5270085

The analysis and modeling for the input space of real-time embedded software

Jun Ai^*
, Min Yan Lu

^*Corresponding author for this work

School of Reliability and Systems Engineering

Beihang University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Abstract

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.

Original language	English
Title of host publication	Proceedings of 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009
Pages	774-777
Number of pages	4
DOIs	https://doi.org/10.1109/ICRMS.2009.5270085
State	Published - 2009
Event	2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009 - Chengdu, China Duration: 20 Jul 2009 → 24 Jul 2009

Publication series

Name	Proceedings of 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009

Conference

Conference	2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009
Country/Territory	China
City	Chengdu
Period	20/07/09 → 24/07/09

Keywords

Input space
Software reliability
Software test

Access to Document

10.1109/ICRMS.2009.5270085

Cite this

Ai, J., & Lu, M. Y. (2009). The analysis and modeling for the input space of real-time embedded software. In Proceedings of 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009 (pp. 774-777). Article 5270085 (Proceedings of 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009). https://doi.org/10.1109/ICRMS.2009.5270085

@inproceedings{2df2f64b6dae44a48f40db64c953f8db,

title = "The analysis and modeling for the input space of real-time embedded software",

abstract = "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.",

keywords = "Input space, Software reliability, Software test",

author = "Jun Ai and Lu, \{Min Yan\}",

year = "2009",

doi = "10.1109/ICRMS.2009.5270085",

language = "英语",

isbn = "9781424449057",

series = "Proceedings of 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009",

pages = "774--777",

booktitle = "Proceedings of 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009",

note = "2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009 ; Conference date: 20-07-2009 Through 24-07-2009",

}

Ai, J & Lu, MY 2009, The analysis and modeling for the input space of real-time embedded software. in Proceedings of 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009., 5270085, Proceedings of 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009, pp. 774-777, 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009, Chengdu, China, 20/07/09. https://doi.org/10.1109/ICRMS.2009.5270085

The analysis and modeling for the input space of real-time embedded software. / Ai, Jun; Lu, Min Yan.
Proceedings of 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009. 2009. p. 774-777 5270085 (Proceedings of 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 -

The analysis and modeling for the input space of real-time embedded software

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this