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 条
  • [1] The Verification and Validation of Software Architecture for Systems of Systems
    Michael, James Bret
    Riehle, Richard
    Sling, Man-Tak
    2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING SOSE 2009, 2009, : 130 - 135
  • [2] 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
  • [3] 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
  • [4] Verification and Validation in CREATE Multiphysics HPC Software Applications
    Kendall, Richard P.
    Votta, Lawrence G.
    Post, Douglass E.
    Moyer, E. Thomas
    Morton, Scott A.
    COMPUTING IN SCIENCE & ENGINEERING, 2017, 19 (06) : 18 - 26
  • [5] The Verification and Validation of Embedded Systems using Cleanroom Software Engineering
    Gao Guohong
    Zhang Baojian
    Li Xueyong
    NANOTECHNOLOGY AND COMPUTER ENGINEERING, 2010, 121-122 : 922 - 928
  • [6] Constraint solving for sequences in software validation and verification
    Kosmatov, Nikolai
    DECLARATIVE PROGRAMMING FOR KNOWLEDGE MANAGEMENT, 2006, 4369 : 25 - 37
  • [7] Specification, validation, and verification of time-critical systems
    Shieh, SP
    Chen, JN
    COMPUTER COMMUNICATIONS, 1998, 21 (05) : 460 - 469
  • [8] Analyzing Different Validation and Verification Techniques for Safety Critical Software Systems
    Ahmad, Waqas
    Qamar, Usman
    Hassan, Shoaib
    PROCEEDINGS OF 2015 6TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE, 2015, : 367 - 370
  • [9] Safety Functions and Software Verification of NPP Safety Important Systems
    Jharko, Elena Ph.
    IFAC PAPERSONLINE, 2019, 52 (13): : 1385 - 1390
  • [10] Model-driven system-level validation and verification on the space software domain
    Aarón Montalvo
    Pablo Parra
    Óscar Rodríguez Polo
    Alberto Carrasco
    Antonio Da Silva
    Agustín Martínez
    Sebastián Sánchez
    Software and Systems Modeling, 2022, 21 (6) : 2367 - 2394
12345