Consistency Checking in Requirements Analysis

D 2017

Consistency Checking in Requirements Analysis

BENDÍK, Jaroslav

Základní údaje

Originální název

Consistency Checking in Requirements Analysis

Autoři

BENDÍK, Jaroslav

Vydání

26. vyd. NY, USA, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2017, od s. 408-411, 4 s. 2017

Nakladatel

ACM New York

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Spojené státy

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

elektronická verze "online"

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/17:00097173

Organizační jednotka

Fakulta informatiky

ISBN

978-1-4503-5076-1

Klíčová slova anglicky

Requirements analysis; Consistency; Minimal inconsistent subsets

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 13. 5. 2020 19:19, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

In the last decade it became a common practise to formalise software requirements using a mathematical language of temporal logics, e.g., LTL. The formalisation removes ambiguity and improves understanding. Formal description also enables various model-based techniques, like formal verification. Moreover, we get the opportunity to check the requirements earlier, even before any system model is built. This so called requirements sanity checking aims to assure that a given set of requirements is consistent, i.e., that a product satisfying all the requirements can be developed. If inconsistencies are found, it is desirable to present them to the user in a minimal fashion, exposing the core problems among the requirements. Such cores are called minimal inconsistent subsets (MISes). In this work, we present a framework for online MISes enumeration in the domain of temporal logics.

Návaznosti

MUNI/A/0897/2016, interní kód MU

Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VI.

Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VI., DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

692474, interní kód MU

Název: AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems (Akronym: AMASS)

Investor: Evropská unie, AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems, ECSEL

Citovat

BENDÍK, Jaroslav. Consistency Checking in Requirements Analysis. Online. In Tevfik Bultan, Koushik Sen. Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2017. 26. vyd. NY, USA: ACM New York, 2017, s. 408-411. ISBN 978-1-4503-5076-1. Dostupné z: https://doi.org/10.1145/3092703.3098239.

@inproceedings{1385285,
   author = {Bendík, Jaroslav},
   address = {NY, USA},
   booktitle = {Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2017},
   doi = {https://doi.org/10.1145/3092703.3098239},
   edition = {26},
   editor = {Tevfik Bultan, Koushik Sen},
   keywords = {Requirements analysis; Consistency; Minimal inconsistent subsets},
   howpublished = {elektronická verze "online"},
   language = {eng},
   location = {NY, USA},
   isbn = {978-1-4503-5076-1},
   pages = {408-411},
   publisher = {ACM New York},
   title = {Consistency Checking in Requirements Analysis},
   year = {2017}
}

TY  - CONF
ID  - 1385285
AU  - Bendík, Jaroslav
PY  - 2017
TI  - Consistency Checking in Requirements Analysis
PB  - ACM New York
CY  - NY, USA
SN  - 9781450350761
KW  - Requirements analysis
KW  - Consistency
KW  - Minimal inconsistent subsets
N2  - In the last decade it became a common practise to formalise software requirements using a mathematical language of temporal logics, e.g., LTL. The formalisation removes ambiguity and improves understanding. Formal description also enables various model-based techniques, like formal verification. Moreover, we get the opportunity to check the requirements earlier, even before any system model is built. This so called requirements sanity checking aims to assure that a given set of requirements is consistent, i.e., that a product satisfying all the requirements can be developed. If inconsistencies are found, it is desirable to present them to the user in a minimal fashion, exposing the core problems among the requirements. Such cores are called minimal inconsistent subsets (MISes). In this work, we present a framework for online MISes enumeration in the domain of temporal logics.
ER  -

BENDÍK, Jaroslav. Consistency Checking in Requirements Analysis. Online. In Tevfik Bultan, Koushik Sen. \textit{Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2017}. 26. vyd. NY, USA: ACM New York, 2017, s.~408-411. ISBN~978-1-4503-5076-1. Dostupné z: https://doi.org/10.1145/3092703.3098239.

Přehled o publikaci