Software Verification and Validation Technologies and Tools

被引：18
|
作者：
Rodriguez, Moises [1 ,2 ]
Piattini, Mario [2 ,3 ]
Ebert, Christof [4 ,5 ]
机构：
[1] AQCLab, Ciudad Real, Spain
[2] Univ Castilla La Mancha, Ciudad Real, Spain
[3] Alarcos Res Grp, Ciudad Real, Spain
[4] Univ Stuttgart, Stuttgart, Germany
[5] Sorbonne Paris, Paris, France
来源：
IEEE SOFTWARE | 2019年 / 36卷 / 02期
关键词：
D O I：
10.1109/MS.2018.2883354
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Software quality matters-more than ever. Software has become the most crucial infrastructure in this century. All businesses is software businesses because they based their operations and services in the Internet of Things, business intelligence (BI), artificial intelligence, cloud computing, social networks, and so forth. Classic IT and embedded systems are converging toward ubiquitous software. Systems will be connected and thus increasingly missing critical. The digital transformation across industries depends on systems performing according to their requirements and needs. This importance of software quality has grown considerably over recent years. © 1984-2012 IEEE.
引用
收藏
页码：13 / 24
页数：12
相关论文
共 50 条
  • [1] Experimental evaluation of verification and validation tools on Martian Rover software
    Brat, G
    Drusinsky, D
    Giannakopoulou, D
    Goldberg, A
    Havelund, K
    Lowry, M
    Pasareanu, C
    Venet, A
    Visser, W
    Washington, R
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2004, 25 (2-3) : 167 - 198
  • [2] Experimental Evaluation of Verification and Validation Tools on Martian Rover Software
    Guillaume Brat
    Doron Drusinsky
    Dimitra Giannakopoulou
    Allen Goldberg
    Klaus Havelund
    Mike Lowry
    Corina Pasareanu
    Arnaud Venet
    Willem Visser
    Rich Washington
    [J]. Formal Methods in System Design, 2004, 25 : 167 - 198
  • [3] Validation and verification of computer forensic software tools-Searching Function
    Guo, Yinghua
    Slay, Jill
    Beckett, Jason
    [J]. DIGITAL INVESTIGATION, 2009, 6 : S12 - S22
  • [4] Tools for verification and validation
    [J]. 2005, Springer Verlag, Heidelberg, D-69121, Germany (3436 LNCS):
  • [5] Software verification & validation
    Pierce, P
    [J]. NORTHCON/96 - IEEE TECHNICAL APPLICATIONS CONFERENCE, CONFERENCE RECORD, 1996, : 265 - 268
  • [6] SOFTWARE TOOLS AND THEIR VERIFICATION BY EXPERIMENTS
    OSTERMEYER, GP
    [J]. VEHICLE SYSTEM DYNAMICS, 1993, 22 (3-4) : 123 - 139
  • [7] SOFTWARE PROJECT VERIFICATION AND VALIDATION
    DEUTSCH, MS
    [J]. COMPUTER, 1981, 14 (04) : 54 - 70
  • [8] THE VALIDATION, VERIFICATION AND TESTING OF SOFTWARE
    INCE, D
    [J]. OXFORD SURVEYS IN INFORMATION TECHNOLOGY, 1985, 2 : 1 - 40
  • [9] Software specification, verification and validation
    Shyamasundar, RK
    [J]. SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 1996, 21 : 123 - 123
  • [10] An Empirical Study in Software Verification Tools
    Jiang, Mengmeng
    Li, Xiaohong
    Xie, Xiaofei
    Zhang, Yao
    [J]. 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020), 2020, : 201 - 208
12345