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

被引：0
|
作者：
Ai, Jun [1 ]
Lu, Min-yan [1 ]
机构：
[1] Beihang Univ, Dept Syst Engn, Beijing, Peoples R China
来源：
PROCEEDINGS OF 2009 8TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY, VOLS I AND II: HIGHLY RELIABLE, EASY TO MAINTAIN AND READY TO SUPPORT | 2009年
关键词：
Input space; Software reliability; Software test;
D O I：
暂无
中图分类号：
V [航空、航天];
学科分类号：
08 ; 0825 ;
摘要：
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.
引用
收藏
页码：774 / 777
页数：4
相关论文
共 50 条
  • [1] System Level Modeling of Real-Time Embedded Software
    Lee, Richard
    Abdi, Samar
    Regehr, Doug
    Risacher, Frederic
    [J]. 2012 IEEE 30TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2012, : 496 - 497
  • [2] On modeling approach for embedded real-time software simulation testing
    Yin Yongfeng
    Liu Bin
    Zhong Deming
    Jiang Tongmin
    [J]. JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS, 2009, 20 (02) : 420 - 426
  • [3] Modeling and analysis of real-time and embedded systems
    Graf, S
    Gérard, S
    Haugen, O
    Ober, I
    Selic, B
    [J]. SATELLITE EVENTS AT THE MODELS 2005 CONFERENCE, 2006, 3844 : 58 - 66
  • [4] On modeling approach for embedded real-time software simulation testing
    Yin Yongfeng
    [J]. Journal of Systems Engineering and Electronics, 2009, 20 (02) : 420 - 426
  • [5] A Course in Real-Time Embedded Software
    Archibald, J.
    Fife, W.
    [J]. COMPUTER SCIENCE EDUCATION, 2007, 17 (02) : 97 - 106
  • [6] An approach to formally modeling and verifying distributed real-time embedded software
    Chen, Liqiong
    Fan, Guisheng
    Liu, Yunxiang
    [J]. Journal of Software, 2010, 5 (09) : 990 - 997
  • [7] Input-dependency analysis for hard real-time software
    Gustafsson, J
    Lisper, B
    Kirner, R
    Puschner, P
    [J]. NINTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, 2004, : 53 - 60
  • [8] SOFTWARE-PERFORMANCE ANALYSIS OF REAL-TIME EMBEDDED SYSTEMS
    BLASCIAK, AJ
    NEUDER, DL
    BERGER, AS
    [J]. HEWLETT-PACKARD JOURNAL, 1993, 44 (02): : 107 - 115
  • [9] A modeling methodology and pre-run-time scheduling for embedded real-time software
    Barreto, R
    Maciel, P
    Cavalcante, S
    [J]. 15TH SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, 2003, : 72 - 79
  • [10] Multi-view modeling and analysis of embedded real-time software with meta-modeling and model transformation
    Gu, ZH
    Wang, S
    Kodase, S
    Shin, KG
    [J]. EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2004, : 32 - 41
12345