Test Cases Generation for Embedded Real-time Software Based on Extended UML

被引：2
|
作者：
Yin Yongfeng [1 ]
Liu Bin [1 ]
Lu Minyan [1 ]
Li Zhen [1 ]
机构：
[1] Beihang Univ, Dept Syst Engn & Engn Technol, Beijing, Peoples R China
来源：
2009 INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND COMPUTER SCIENCE, VOL 1, PROCEEDINGS | 2009年
关键词：
embedded real-time software; software testing; test case; UML; scenario technology;
D O I：
10.1109/ITCS.2009.23
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Automated testing of embedded real-time software is a hotpot in nowadays software testing area. In this paper, the relations between unified modeling language (UML) and embedded real-time software testing are introduced firstly. And then, based on the extensions of UML diagrams and the scenario technology, we propose the test cases generation for embedded real-time software based on extended UML. Furthermore, combined with the verification of test cases generation process for avionics embedded system, the research thoughts and methods are brought out. The verification result shows that the method proposed in this paper can be used effectively in automated test cases generation of embedded real-time software testing and improve testing efficiency and maintainability so as to reduce the test cost.
引用
收藏
页码：69 / 74
页数：6
相关论文
共 50 条
  • [21] Design of Real-Time Data Management for Embedded Software Test System
    Wang Yichen
    Wang Yikun
    [J]. 2011 INTERNATIONAL CONFERENCE ON PHOTONICS, 3D-IMAGING, AND VISUALIZATION, 2011, 8205
  • [22] UML extensions for modeling real-time and embedded systems
    Szostak, S
    Robak, S
    Stryjski, R
    Franczyk, B
    [J]. DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 109 - 114
  • [23] Building real-time embedded systems with MetaH and UML
    Colbert, E
    Lewis, B
    [J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS - TOOLS 34, PROCEEDINGS, 2000, : 445 - 445
  • [24] Formal Specification for Compiler Based Test Case Generation of Embedded Real-Time System
    Chen, Yong
    He, Yanxiang
    Xu, Chao
    Wu, Wei
    Liu, Jianbo
    [J]. BUSINESS, ECONOMICS, FINANCIAL SCIENCES, AND MANAGEMENT, 2012, 143 : 643 - 650
  • [25] Real-time Embedded Software Architecture Modeling and Reliability Evaluation Based on Time-extended Petri Net
    Li, Hong-Bing
    Wang, Ming-Wei
    [J]. MATERIAL SCIENCE, CIVIL ENGINEERING AND ARCHITECTURE SCIENCE, MECHANICAL ENGINEERING AND MANUFACTURING TECHNOLOGY II, 2014, 651-653 : 1888 - 1892
  • [26] A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications
    Ye, Junmin
    Dong, Wei
    Qi, Zhichang
    [J]. PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 2325 - 2329
  • [27] Formal synthesis and code generation of real-time embedded software using time-extended quasi-static scheduling
    Hsiung, PA
    Lee, TY
    Su, FS
    [J]. APSEC 2002: NINTH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, 2002, : 395 - 404
  • [28] UML-Based Analysis of Power Consumption for Real-Time Embedded Systems
    Hagner, Matthias
    Aniculaesei, Adina
    Goltz, Ursula
    [J]. TRUSTCOM 2011: 2011 INTERNATIONAL JOINT CONFERENCE OF IEEE TRUSTCOM-11/IEEE ICESS-11/FCST-11, 2011, : 1196 - 1201
  • [29] Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS
    Andrade, Wilkerson L.
    Machado, Patricia D. L.
    Alves, Everton L. G.
    Almeida, Diego R.
    [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2009, 5902 : 54 - 69
  • [30] Demo Abstract: Platform Dependent Code Generation of Real-Time Embedded Software
    Kim, BaekGyu
    Lee, Insup
    Phan, Linh T. X.
    Sokolsky, Oleg
    [J]. 2013 ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), 2013, : 246 - 246
12345