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 条
  • [31] Hard real-time implementation of embedded software in JAVA
    Talpin, Jean-Pierre
    Gamatié, Abdoulaye
    Berner, David
    Le Dez, Bruno
    Le Guernic, Paul
    [J]. Lect. Notes Comput. Sci., 1600, (33-47):
  • [32] Formal design and verification of real-time embedded software
    Hsiung, PA
    Lin, SW
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2004, 3302 : 382 - 397
  • [33] Practical Process Improvement for Embedded Real-Time Software
    [J]. Qual Eng, 4 (565):
  • [34] New tools for testing real-time embedded software
    [J]. Electronic Engineering (London), 1996, 68 (831):
  • [35] AUTOMATED TESTING TECHNIQUES FOR REAL-TIME EMBEDDED SOFTWARE
    HENNELL, MA
    HEDLEY, D
    RIDDELL, IJ
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 289 : 244 - 253
  • [36] Eliminating garbage collection for embedded real-time software
    Mohamed, N
    Al-Jaroodi, J
    [J]. ESA '05: Proceedings of the 2005 International Conference on Embedded Systems and Applications, 2005, : 10 - 16
  • [37] Software components services for embedded real-time systems
    Luders, Frank
    Flemstrom, Daniel
    Wall, Anders
    [J]. 5TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE, PROCEEDINGS, 2006, : 278 - +
  • [38] Automatic synthesis and verification of real-time embedded software
    Hsiung, PA
    Lin, SW
    [J]. EMBEDDED AND UBIQUITOUS COMPUTING, PROCEEDINGS, 2004, 3207 : 12 - 21
  • [39] Automated software and hardware evolution analysis for distributed real-time and embedded systems
    Dougherty, Brian
    White, Jules
    Schmidt, Douglas C.
    [J]. OPEN COMPUTER SCIENCE, 2011, 1 (01): : 36 - 57
  • [40] Boosting Software Fault Injection for Dependability Analysis of Real-Time Embedded Applications
    Cabodi, Gianpiero
    Murciano, Marco
    Violante, Massimo
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2010, 10 (02)
12345