On modeling approach for embedded real-time software simulation testing

被引:0
|
作者
Yin Yongfeng
机构
关键词
embedded real-time software; software testing; testing modeling; simulation;
D O I
暂无
中图分类号
TP311.53 [];
学科分类号
081202 ; 0835 ;
摘要
Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a diffculty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing (SUT), test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, and automated system testing for embedded real-time software.
引用
收藏
页码:420 / 426
页数:7
相关论文
共 50 条
  • [21] Assessing and improving testing of real-time software using simulation
    Henry, J
    Stiff, JC
    Shirar, AJ
    36TH ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2003, : 266 - 272
  • [22] Testing embedded real-time systems
    En-Nouaary, A
    Khendek, F
    Dssouli, R
    SEVENTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2000, : 417 - 424
  • [23] A formal software synthesis approach for embedded hard real-time systems
    Barreto, R
    Oliveira, M
    Tavares, E
    Neves, M
    Maciel, P
    Lima, R
    SBCCI2004:17TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2004, : 163 - 168
  • [24] Power system analysis - Software approach and real-time simulation
    Lei, X
    Buchholz, B
    Povh, D
    Retzmann, D
    2002 IEEE POWER ENGINEERING SOCIETY WINTER MEETING, VOLS 1 AND 2, CONFERENCE PROCEEDINGS, 2002, : 1011 - 1016
  • [25] A modeling methodology and pre-run-time scheduling for embedded real-time software
    Barreto, R
    Maciel, P
    Cavalcante, S
    15TH SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, 2003, : 72 - 79
  • [26] The integrated application based on real-time extended UML and improved formal method in real-time embedded software testing
    Yin Y.
    Liu B.
    Li Z.
    Zhang C.
    Wu N.
    Journal of Networks, 2010, 5 (12) : 1410 - 1416
  • [27] Modeling and simulation-driven development of embedded real-time systems
    Moallemi, Mohammad
    Wainer, Gabriel
    SIMULATION MODELLING PRACTICE AND THEORY, 2013, 38 : 115 - 131
  • [28] PORTING EMBEDDED REAL-TIME ADA SOFTWARE
    MAYMIRDUCHARME, FA
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 603 : 92 - 103
  • [29] Timed multitasking for real-time embedded software
    Liu, J
    Lee, EA
    IEEE CONTROL SYSTEMS MAGAZINE, 2003, 23 (01): : 65 - 75
  • [30] Concurrent embedded real-time software verification
    Hsiung, PA
    24TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COSPSAC 2000), 2000, 24 : 516 - 521