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 条
  • [41] Software independent verification and validation for spacecraft at JAXA
    Kohtake, Naohiko
    Katoh, Atsushi
    Ishihama, Naoki
    Miyamoto, Yuko
    Kawasaki, Tomomi
    Katahira, Masafumi
    2008 IEEE AEROSPACE CONFERENCE, VOLS 1-9, 2008, : 3577 - 3584
  • [42] Integrating formal specification and software verification and validation
    Duke, R
    Miller, T
    Strooper, P
    TEACHING FORMAL METHODS, PROCEEDINGS, 2004, 3294 : 124 - 139
  • [43] Constraint solving for sequences in software validation and verification
    Kosmatov, Nikolai
    DECLARATIVE PROGRAMMING FOR KNOWLEDGE MANAGEMENT, 2006, 4369 : 25 - 37
  • [44] Verification and validation in support for software certification methods
    Vermesan, A
    Martinsen, P
    Sjovaag, J
    Bell, K
    VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 277 - 295
  • [45] Verification and validation of a fingerprint image registration software
    Desovski, Dejan
    Gandikota, Vijai
    Liu, Yan
    Jiang, Yue
    Cukic, Bojan
    Eurasip Journal on Applied Signal Processing, 2006, 2006
  • [46] Verification and validation of off-the-shelf software
    Eastwick, Michael
    Medical Device and Diagnostic Industry, 1995, 17 (04):
  • [47] COMBUSTION MODELING SOFTWARE DEVELOPMENT, VERIFICATION AND VALIDATION
    Briones, Alejandro M.
    Olding, Robert
    Sykes, Joshua P.
    Rankin, Brent A.
    McDevitt, Kyle
    Heyne, Joshua S.
    PROCEEDINGS OF THE ASME POWER CONFERENCE, 2018, VOL 1, 2018,
  • [48] Coping with requirements changes in software verification and validation
    Li, Shimin
    Tahvildari, Ladan
    Liu, Weining
    Morrissey, Mike
    Cort, Gary
    CSMR 2008: 12TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING: DEVELOPING EVOLVABLE SYSTEMS, 2008, : 317 - +
  • [49] Specifying software validation and verification for a biomedical application
    Morozoff, Paul E.
    Materials World, 1994, 2 (04) : 196 - 204
  • [50] SEAMLESS SIMULATION-BASED VERIFICATION AND VALIDATION OF EVENT-DRIVEN SOFTWARE SYSTEMS
    Meyer, Tom
    Andelfinger, Philipp
    Ruscheinski, Andreas
    Uhrmacher, Adelinde M.
    2022 WINTER SIMULATION CONFERENCE (WSC), 2022, : 2130 - 2141
12345