Verification and Validation for Trustworthy Software Systems

被引：13
作者：
Michael, James Bret
Drusinsky, Doron
Otani, Thomas W.
Shing, Man-Tak
机构：
来源：
IEEE SOFTWARE | 2011年 / 28卷 / 06期
关键词：
software engineering; requirements; specification; validation; software; program; verification; assertion checker; assertion languages; performance; formal methods;
D O I：
10.1109/MS.2011.151
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
A continuous and proactive process for conducting verification and validation of systems involves using scenario-based testing to validate whether formal assertions correctly capture the intent of the natural language requirements. The process is automated through the use of statechart assertions and runtime execution monitoring. The statechart assertions can be used as part of a system reference model in support of independent verification and validation of trustworthy systems. © 2011 IEEE.
引用
收藏
页码：86 / 92
页数：7
相关论文
共 50 条
  • [41] Design, verification, and validation of self-checking software components
    Geoghegan, SJ
    Avresky, D
    CONFERENCE PROCEEDINGS OF THE 1996 IEEE FIFTEENTH ANNUAL INTERNATIONAL PHOENIX CONFERENCE ON COMPUTERS AND COMMUNICATIONS, 1996, : 420 - 426
  • [42] Qualification and validation of software and computer systems in laboratories - Part 1: Validation during development
    Huber, L
    Wiederoder, H
    ACCREDITATION AND QUALITY ASSURANCE, 1997, 2 (08) : 360 - 366
  • [43] Developing an analytical model for planning systems verification, validation and testing processes
    Shabi, Jacob
    Reich, Yoram
    ADVANCED ENGINEERING INFORMATICS, 2012, 26 (02) : 429 - 438
  • [44] Integration of model verification, validation, and calibration for uncertainty quantification in engineering systems
    Sankararaman, Shankar
    Mahadevanb, Sankaran
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2015, 138 : 194 - 209
  • [45] Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
    Laranjeiro, Nuno
    Gomez, Camilo
    Schiavone, Enrico
    Montecchi, Leonardo
    Carvalho, Manoel J. M.
    Lollinik, Paolo
    Micskei, Zoltan
    2019 9TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), 2019, : 165 - 166
  • [46] Gaia VERO - Framework for Verification and Validation managing
    Oliveira, Vinicius Carvalho
    Crosati, Zaqueu Costeski
    Tirroni, Maristela Ferreira
    de Barros, Rodolfo Miranda
    Kobayashi, Simone Yuriko
    PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013), 2013,
  • [47] Using Formal Methods for Verification and Validation in Railway
    Reichl, Klaus
    Fischer, Tomas
    Tummeltshammer, Peter
    TESTS AND PROOFS, TAP 2016, 2016, 9762 : 3 - 13
  • [48] A Review of Verification and Validation for Space Autonomous Systems
    Rafael C. Cardoso
    Georgios Kourtis
    Louise A. Dennis
    Clare Dixon
    Marie Farrell
    Michael Fisher
    Matt Webster
    Current Robotics Reports, 2021, 2 (3): : 273 - 283
  • [49] Early Verification and Validation of Mission Critical Systems
    Ponsard, C.
    Massonet, P.
    Rifaut, A.
    Molderez, J. F.
    van Lamsweerde, A.
    Van, H. Tran
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 133 : 237 - 254
  • [50] The validation and verification of WSCDL
    Pu, Geguang
    Shi, Jianqi
    Wang, Zheng
    Jin, Lu
    Liu, Jing
    He, Jifeng
    14TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 81 - +
12345