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 条
  • [21] Proceedings of the International Workshop on Software Verification and Validation (SVV 2003), Software Verification and Validation 2003 Preface
    Etalle, Sandro
    Mukhopadhyay, Supratik
    Roychoudhury, Abhik
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 118 : 1 - 1
  • [22] TEACHING SOFTWARE-VERIFICATION AND VALIDATION TO SOFTWARE PRACTITIONERS
    LUGINBUHL, DR
    CARDOW, JE
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 640 : 167 - 179
  • [23] The role of software verification and validation in software development process
    Sujatha, P
    Sankar, GV
    Rao, AS
    Satyanarayana, T
    IETE TECHNICAL REVIEW, 2001, 18 (01): : 23 - 26
  • [24] Towards Automated Software Verification and Validation
    Asadollahi, Somayeh
    Rafe, Vahid
    Rafeh, Reza
    PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT, VOL 1, 2009, : 206 - 210
  • [25] Software Verification and Validation Technologies and Tools
    Rodriguez, Moises
    Piattini, Mario
    Ebert, Christof
    IEEE SOFTWARE, 2019, 36 (02) : 13 - 24
  • [26] SOFTWARE-VERIFICATION AND VALIDATION - AN OVERVIEW
    WALLACE, DR
    FUJII, RU
    IEEE SOFTWARE, 1989, 6 (03) : 10 - 17
  • [27] Validation and verification of METEOR safety software
    Boulanger, JL
    Gallardo, M
    COMPUTERS IN RAILWAYS VII, 2000, 7 : 189 - 200
  • [28] The Role of Verification and Validation in Software Testing
    Reddy, Jogannagari Malla
    Prasad, S. V. A. V.
    PROCEEDINGS OF THE 10TH INDIACOM - 2016 3RD INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT, 2016, : 1298 - 1301
  • [29] A Review on Verification and Validation for Embedded Software
    Perez, Y. M.
    Marin, H. A. P.
    Bedoya, A. E.
    IEEE LATIN AMERICA TRANSACTIONS, 2016, 14 (05) : 2339 - 2347
  • [30] VALIDATION, VERIFICATION, AND TESTING OF COMPUTER SOFTWARE
    ADRION, WR
    BRANSTAD, MA
    CHERNIAVSKY, JC
    COMPUTING SURVEYS, 1982, 14 (02) : 159 - 192
12345