A Review on Verification and Validation for Embedded Software

被引：3
|
作者：
Perez, Y. M. [1 ]
Marin, H. A. P. [1 ]
Bedoya, A. E. [1 ]
机构：
[1] Univ Nacl Colombia, Bogota, Colombia
来源：
IEEE LATIN AMERICA TRANSACTIONS | 2016年 / 14卷 / 05期
关键词：
Verification; Validation; Testing; Embedded Software; REQUIREMENTS; TRENDS;
D O I：
10.1109/TLA.2016.7530431
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The aim of this paper is to provide a review on verification and validation of embedded software. An embedded software is a product that contains a microprocessor and software to perform certain function. The growing demand for new features and functionalities as automated test generation, model-based testing and formal verification of embedded systems makes the design and implementation reach a higher level of complexity. We focused on identifying research trends in order to provide a review of the challenges that emerge during the verification and validation processes of embedded software. The research works are grouped by related themes in order to find problems that persist nowadays.
引用
收藏
页码：2339 / 2347
页数：9
相关论文
共 50 条
  • [1] The Verification and Validation of Embedded Systems using Cleanroom Software Engineering
    Gao Guohong
    Zhang Baojian
    Li Xueyong
    [J]. NANOTECHNOLOGY AND COMPUTER ENGINEERING, 2010, 121-122 : 922 - 928
  • [2] An architectural approach to the analysis, verification and validation of software intensive embedded systems
    DeJiu Chen
    Lei Feng
    Tahir Naseer Qureshi
    Henrik Lönn
    Frank Hagl
    [J]. Computing, 2013, 95 : 649 - 688
  • [3] Embedded Software Product Verification & Validation Using Virtual Reality [VIL]
    Patil, Mithun
    [J]. 2015 IEEE INTERNATIONAL TRANSPORTATION ELECTRIFICATION CONFERENCE (ITEC), 2015,
  • [4] An architectural approach to the analysis, verification and validation of software intensive embedded systems
    Chen, DeJiu
    Feng, Lei
    Qureshi, Tahir Naseer
    Lonn, Henrik
    Hagl, Frank
    [J]. COMPUTING, 2013, 95 (08) : 649 - 688
  • [5] Software verification & validation
    Pierce, P
    [J]. NORTHCON/96 - IEEE TECHNICAL APPLICATIONS CONFERENCE, CONFERENCE RECORD, 1996, : 265 - 268
  • [6] Practical verification of embedded software
    Staunstrup, J
    Andersen, HR
    Hulgaard, H
    Lind-Nielsen, J
    Larsen, KG
    Behrmann, G
    Kristoffersen, K
    Skou, A
    Leerberg, H
    Theilgaard, NB
    [J]. COMPUTER, 2000, 33 (05) : 68 - +
  • [7] Embedded hardware/software verification and validation using hardware-in-the-loop simulation
    Shah, SM
    Irfan, M
    [J]. IEEE: 2005 International Conference on Emerging Technologies, Proceedings, 2005, : 494 - 498
  • [8] SOFTWARE PROJECT VERIFICATION AND VALIDATION
    DEUTSCH, MS
    [J]. COMPUTER, 1981, 14 (04) : 54 - 70
  • [9] Software specification, verification and validation
    Shyamasundar, RK
    [J]. SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 1996, 21 : 123 - 123
  • [10] THE VALIDATION, VERIFICATION AND TESTING OF SOFTWARE
    INCE, D
    [J]. OXFORD SURVEYS IN INFORMATION TECHNOLOGY, 1985, 2 : 1 - 40
12345