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 条
  • [31] Ontology-based verification and validation of federated database systems
    Masood, N
    Eaglestone, B
    VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 327 - 341
  • [32] Verification and validation of a project collaboration tool
    East, E. William
    Kirby, Jeffrey G.
    Liu, Liang Y.
    AUTOMATION IN CONSTRUCTION, 2008, 17 (02) : 201 - 214
  • [33] Formal verification and validation of interactive systems specifications -: From informal specifications to formal validation
    Aït-Ameur, Y
    Breholée, B
    Girard, P
    Guittet, L
    Jambon, F
    HUMAN ERROR, SAFETY AND SYSTEMS DEVELOPMENT, 2004, 152 : 61 - 76
  • [34] XANDAR: Verification & Validation Approach for Safety-critical Systems
    Sonigara, Balmukund
    Sezer, Sakir
    Siddiqui, Fahad
    Weber, Raphael
    Antonopoulos, Konstantinos
    Panagiotou, Christos
    Antonopoulos, Christos P.
    Keramidas, Georgios
    Voros, Nikolaos
    Yengec-Tasdemir, Sena Busra
    Hui, Henry
    McLaughlin, Kieran
    2023 IEEE 36TH INTERNATIONAL SYSTEM-ON-CHIP CONFERENCE, SOCC, 2023, : 78 - 83
  • [35] Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress)
    Broy, Manfred
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, 2008, 17 : 1 - 13
  • [36] About development and verification of software for finite element analysis of beam systems
    Zotkin, Sergey P.
    Blokhina, Nina S.
    Zotkina, Irina A.
    XXIV R-S-P SEMINAR, THEORETICAL FOUNDATION OF CIVIL ENGINEERING (24RSP) (TFOCE 2015), 2015, 111 : 902 - 906
  • [37] Software Verification of Autonomic Systems Developed with ASSL
    Vassev, Emil
    Hinchey, Mike
    FOUNDATIONS OF COMPUTER SOFTWARE: MODELING, DEVELOPMENT, AND VERIFICATION OF ADAPTIVE SYSTEMS, 2011, 6662 : 1 - 16
  • [38] VeriDevOps Software Methodology: Security Verification and Validation for DevOps Practices
    Enoiu, Eduard Paul
    Truscan, Dragos
    Sadovykh, Andrey
    Mallouli, Wissam
    18TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY & SECURITY, ARES 2023, 2023,
  • [39] Verification of Software Barriers
    Malkis, Alexander
    Banerjee, Anindya
    ACM SIGPLAN NOTICES, 2012, 47 (08) : 313 - 314
  • [40] 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
12345