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] Verified trustworthy software systems
    Gardner, Philippa
    PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2017, 375 (2104):
  • [3] Toward trustworthy software systems
    Hasselbring, W
    Reussner, R
    COMPUTER, 2006, 39 (04) : 91 - 92
  • [4] Issues in Trustworthy Software Systems
    Ezzeddine, Mazen
    Akkary, Haitham
    2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 1, 2015, : 1142 - 1147
  • [5] Synergistic verification and validation of systems and software engineering models
    Jarraya, Yosr
    Soeanu, Andrei
    Alawneh, Luay
    Debbabi, Mourad
    Hassaine, Fawzi
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2009, 38 (07) : 719 - 746
  • [6] A Survey on the Verification and Validation of Artificial Pancreas Software Systems
    Nazzal, Bar'a
    Alalfi, Manar H.
    Cordy, James R.
    2024 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW 2024, 2024, : 152 - 160
  • [7] SOFTWARE VERIFICATION AND VALIDATION FOR COMMAND AND CONTROL SYSTEMS.
    Chandler, Alan R.
    RCA Engineer, 1974, 19 (05): : 32 - 35
  • [8] Software verification & validation
    Pierce, P
    NORTHCON/96 - IEEE TECHNICAL APPLICATIONS CONFERENCE, CONFERENCE RECORD, 1996, : 265 - 268
  • [9] A unified approach for verification and validation of systems and software engineering models
    Alawneh, Luay
    Debbabi, Mourad
    Hassaine, Fawzi
    Jarraya, Yosr
    Soeanu, Andrei
    13TH ANNUAL IEEE INTERNATIONAL SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS: MASTERING THE COMPLEXITY OF COMPUTER-BASED SYSTEMS, 2006, : 409 - +
  • [10] Software certification for industry - Verification and validation issues in expert systems
    Vermesan, AI
    NINTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 1998, : 3 - 14
12345