Partial validation of a design specification with respect to requirements

被引：0

作者：

Besse, C ^{[1
]}

Cavalli, A ^{[1
]}

Khendek, F ^{[1
]}

机构：

[1] INT, Evry, France

来源：

SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS | 2001年

关键词：

specification; validation; requirement; MSC; SDL; MSC views; MSC traces;

D O I：

10.1109/APAQS.2001.990011

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper presents a method for partial validation of system design specifications. In our method, the requirements are given as a set of views described with MSC and referred to as a set of MSCR. The design specification can be given in any formal language. Our method allows for the verification, against each MSCR, of each simulation of the design specification collected into a MSC and referred to as MSCT in this paper For the verification of MSCT against MSCR, we introduce a conformance relation and an algorithm to verify this relation. Our method is illustrated with an example, the INRES protocol.

引用

页码：131 / 140

页数：10

共 50 条

[11] Specification, validation, and verification of time-critical systems
Shieh, SP
Chen, JN
COMPUTER COMMUNICATIONS, 1998, 21 (05) : 460 - 469
[12] XTP specification and validation with LOTOS
Benslimane, A
Abouaissa, A
PROCEEDINGS OF THE COMMUNICATION NETWORKS AND DISTRIBUTED SYSTEMS MODELING AND SIMULATION (CNDS'98), 1998, : 121 - 126
[13] DIDON - SYSTEM FOR SPECIFICATION VALIDATION
BOUDRIGA, N
MILI, A
ZALILA, R
INFORMATION AND SOFTWARE TECHNOLOGY, 1991, 33 (07) : 489 - 498
[14] Sub-Millimeter-Wave Validation Standard Antenna Requirements and Design
Valcazar, D.
Martinez, A.
Thomas, B.
Lichius, K.
Gibson, H.
Braun, B.
Rodriguez, F.
Sun, X.
2022 16TH EUROPEAN CONFERENCE ON ANTENNAS AND PROPAGATION (EUCAP), 2022,
[15] Requirements Exchange: from Specification Documents to Models
Adedjouma, Morayo
Dubois, Hubert
Terrier, Francois
2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2011, : 350 - 354
[16] The approach to consistency checking of functional requirements specification
Butkiene, R
Butleris, R
Danikauskas, T
6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XVIII, PROCEEDINGS: INFORMATION SYSTEMS, CONCEPTS AND APPLICATIONS OF SYSTEMICS, CYBERNETICS AND INFORMATICS, 2002, : 67 - 72
[17] SPECIFICATION AND VALIDATION OF A SECURITY POLICY MODEL
BOSWELL, A
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (02) : 63 - 68
[18] An automated approach to specification animation for validation
Liu, Shaoying
Wang, Hao
JOURNAL OF SYSTEMS AND SOFTWARE, 2007, 80 (08) : 1271 - 1285
[19] Service specification and validation in the context of the home
Du Bousquet, Lydie
Rajan, Ajitha
Oriat, Catherine
Richier, Jean-Luc
Vega, German
FEATURE INTERACTIONS IN SOFTWARE AND COMMUNICATION SYSTEMS X, 2009, : 207 - 219
[20] Prognostics and Health Management (PHM) System Requirements and Validation
Xu, Ping
Wang, Zili
Li, Yue
2010 PROGNOSTICS AND SYSTEM HEALTH MANAGEMENT CONFERENCE, 2010, : 593 - 596

← 1 2 3 4 5 →