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] Improving the Safety and Security of Software Systems by Mediating SAP Verification
    Almufareh, Maram Fahaad
    Humayun, Mamoona
    APPLIED SCIENCES-BASEL, 2023, 13 (01):
  • [22] Verification and Validation in the Recommended Practice for Integrated Software-Dependent Systems Assessing and improving processes in the Maritime and Oil & Gas industries
    Coq, Thierry
    2009 FIRST INTERNATIONAL CONFERENCE ON ADVANCES IN SYSTEM TESTING AND VALIDATION LIFECYCLE, 2009, : 57 - 61
  • [23] Modular verification of software components in C
    Chaki, S
    Clarke, EM
    Groce, A
    Jha, S
    Veith, H
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2004, 30 (06) : 388 - 402
  • [24] Teaching Software Verification and Validation Course: A Case Study
    Mishra, Deepti
    Hacaloglu, Tuna
    Mishra, Alok
    INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, 2014, 30 (06) : 1476 - 1485
  • [25] A systematic literature review of the use of formal methods in medical software systems
    Bonfanti, Silvia
    Gargantini, Angelo
    Mashkoor, Atif
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2018, 30 (05)
  • [26] Towards a framework for more robust validation and verification of simulation models for systems of systems
    Zeigler, Bernard P.
    Nutaro, James J.
    JOURNAL OF DEFENSE MODELING AND SIMULATION-APPLICATIONS METHODOLOGY TECHNOLOGY-JDMS, 2016, 13 (01): : 3 - 16
  • [27] An MBSE approach for Virtual Verification & Validation of Systems with Digital Twins
    Honcak, Rene
    Wooley, Ana
    ACM/IEEE 27TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS: COMPANION PROCEEDINGS, MODELS 2024, 2024, : 390 - 400
  • [28] Verification and Validation of Neuro-adaptive Aircraft Control Systems
    Schumann, Johann
    Liu, Yan
    Gupta, Pramod
    1ST INTERNATIONAL NORTH-AMERICAN SIMULATION TECHNOLOGY CONFERENCE, 2008, : 7 - +
  • [29] Digital Twin for Verification and Validation of Industrial Automation Systems - a Survey
    Loecklin, Andreas
    Mueller, Manuel
    Jung, Tobias
    Jazdi, Nasser
    White, Dustin
    Weyrich, Michael
    2020 25TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2020, : 851 - 858
  • [30] Verification and Validation of Railway Control Systems Using an Expert System
    Nowakowski, Waldemar
    Bojarczak, Piotr
    Lukasik, Zbigniew
    INTELLIGENT TRANSPORT SYSTEMS - FROM RESEARCH AND DEVELOPMENT TO THE MARKET UPTAKE, INTSYS 2017, 2018, 222 : 43 - 50
12345