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 条

[21] Computer-aided discovery of formal specification behavioral requirements and requirement to implementation mappings
Drusinsky, Doron
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2014, 10 (04) : 271 - 281
[22] Prognostics and Health Management (PHM) System Requirements and Validation
Xu, Ping
Wang, Zili
Li, Yue
2010 PROGNOSTICS AND SYSTEM HEALTH MANAGEMENT CONFERENCE, 2010, : 629 - 632
[23] FORMALIZING TRUST REQUIREMENTS AND SPECIFICATION IN SERVICE WORKFLOW ENVIRONMENTS
Viriyasitavat, Wattana
Martin, Andrew
ICEIS 2011: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3, 2011, : 196 - 206
[24] UML Activity Diagrams in Requirements Specification of Logic Controllers
Grobelna, Iwona
Grobelny, Michal
INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2015 (ICCMSE 2015), 2015, 1702
[25] Object-oriented requirements specification for imaging systems
Laplante, PA
Neill, CJ
Russell, DW
LOW-LIGHT-LEVEL AND REAL-TIME IMAGING SYSTEMS, COMPONENTS, AND APPLICATIONS, 2003, 4796 : 189 - 199
[26] Design for testability of communication protocols based on SDL specification
Karoui, K
Dssouli, R
Yevtushenko, N
SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 151 - 164
[27] SYNTHESIZING A SPECIFICATION-BASED MONITOR FOR SAFETY REQUIREMENTS
Babamir, S. M.
Jalili, S.
IRANIAN JOURNAL OF SCIENCE AND TECHNOLOGY TRANSACTION B-ENGINEERING, 2010, 34 (B3): : 235 - 256
[28] ARES: An Agile Requirements Specification Process for Regulated Environments
Marques, Johnny
da Cunha, Adilson Marques
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2019, 29 (10) : 1403 - 1438
[29] THE PROJECTIT-STUDIO/REQUIREMENTS CASE TOOL A Practical Requirements Specification Case Study
Ferreira, David
da Silva, Alberto Rodrigues
ACTAS DE LA III CONFERENCIA IBERICA DE SISTEMAS Y TECNOLOGIAS DE LA INFORMACION, VOL 2, 2008, : 699 - 710
[30] A Model for Specification and Validation of a Trust Management based Security Scheme in a MANET Environment
Douss, Aida Ben Chehida
Abassi, Ryma
El Fatmi, Sihem Guemara
PROCEEDINGS 10TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY ARES 2015, 2015, : 341 - 350

← 1 2 3 4 5 →