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

共 17 条

[11]

Drusinsky D., 2010, NPSCS10002 DEP COMP

[12]

Drusinsky D., 2007, IEEE DISTRIBUTED SYS, V8, P3, DOI [10.1109/MDSO.2007.25, DOI 10.1109/MDSO.2007.25]

[13] A framework for computer-aided validation [J].