A method and tool for tracing requirements into specifications

被引：12

作者：

Hallerstede, Stefan ^{[1
]}

Jastram, Michael ^{[2
]}

Ladenberger, Lukas ^{[2
]}

机构：

[1] Aarhus Univ, DK-8000 Aarhus C, Denmark

[2] Univ Dusseldorf, Dusseldorf, Germany

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2014年 / 82卷

关键词：

Requirements; Specification; Traceability; Formal modelling; SYSTEMS;

D O I：

10.1016/j.scico.2013.03.008

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The creation of a consistent system description is a challenging problem of requirements engineering. Formal and informal reasoning can greatly contribute to meet this challenge. However, this demands that formal and informal reasoning and the system description are connected in such a way that the reasoning permits drawing conclusions about the system description. We describe an incremental approach to requirements modelling and validation that incorporates formal and informal reasoning. Our main contribution is an approach to requirements tracing that delivers the necessary connection that links the reasoning to the system description. Formal refinement is used in order to deal with large and complex system descriptions. We discuss tool support for our approach to requirements tracing that combines informal requirements modelling with formal modelling and verification while tracing requirements among each other and into the formal model. (C) 2013 Elsevier By. All rights reserved.

引用

页码：2 / 21

页数：20

共 47 条

[1] Rodin: An open toolset for modelling and reasoning in Event-B [J].

Abrial J.-R. ;

Butler M. ;

Hallerstede S. ;

Hoang T.S. ;

Mehta F. ;

Voisin L. .

International Journal on Software Tools for Technology Transfer, 2010, 12 (06) :447-466

[2]

Abrial Jean-Raymond, 1996, The B-Book - Assigning Programs to Meanings

[3]

[Anonymous], 2010, Modeling in Event-B: system and software engineering

[4]

Apt K.R., 2009, Texts in Computer Science, DOI 10.1007/978-1-84882-745-5

[5] On Using B in the Design of Secure Micro-controllers: An Experience Report [J].

Benveniste, Marc .

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 280 :3-22

[6]

Bjorner D., 1992, International Conference on Software Engineering, P15, DOI 10.1109/ICSE.1992.753486

[7]

Bjorner D, 2008, LECT NOTES COMPUT SC, V5065, P278, DOI 10.1007/978-3-540-68679-8_18

[8]

Borger Egon, 2003, Abstract State Machines: A Method for High-Level System Design and Analysis

[9]

Chung L, 2009, LECT NOTES COMPUT SC, V5600, P363, DOI 10.1007/978-3-642-02463-4_19

[10] GRAIL/KAOS: An environment for goal-driven requirements engineering [J].

Darimont, R ;

Delor, E ;

Massonet, P ;

vanLamsweerde, A .

PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1997, :612-613

← 1 2 3 4 5 →