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 条

[1]

Alves M., P 6 IEEE INT SYST SY, P155, DOI [10.1109/SYSOSE.2011.5966564, DOI 10.1109/SYSOSE.2011.5966564]

[2]

[Anonymous], 1983, MERRIAMWEBSTERS NEW

[3]

[Anonymous], 1992, Dependability: Basic Concepts and Terminology

[4]

Beck K, 1998, JAVA REP, V3, P37

[5] International working group on assurance cases (for security) [J].

Bloomfield, RE ;

Guerra, S ;

Masera, M ;

Miller, A ;

Weinstock, CB .

IEEE SECURITY & PRIVACY, 2006, 4 (03) :66-68

[6]

BOURQUE P, 2004, SWEBOK GUIDE SOFTWAR

[7]

Charles P., 2004, CHIPS, V22, P38

[8] ON THE POWER OF BOUNDED CONCURRENCY .1. FINITE AUTOMATA [J].

DRUSINSKY, D ;

HAREL, D .

JOURNAL OF THE ACM, 1994, 41 (03) :517-539

[9]

Drusinsky Doron, 2008, 2008 Second IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI), P47, DOI 10.1109/SSIRI.2008.54

[10]

Drusinsky D., 2006, Modeling and verification using UML statecharts: a working guide to reactive systems design, runtime modeling and execution-based model checking

← 1 2 →