Consistency Checking in Requirements Analysis

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F17%3A00097173" target="_blank" >RIV/00216224:14330/17:00097173 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1145/3092703.3098239" target="_blank" >http://dx.doi.org/10.1145/3092703.3098239</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1145/3092703.3098239" target="_blank" >10.1145/3092703.3098239</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Consistency Checking in Requirements Analysis

Popis výsledku v původním jazyce

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ázev v anglickém jazyce

Consistency Checking in Requirements Analysis

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2017

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2017

ISBN

9781450350761

ISSN

—

e-ISSN

—

Počet stran výsledku

4

Strana od-do

408-411

Název nakladatele

ACM New York

Místo vydání

NY, USA

Místo konání akce

Santa Barbara, CA, USA

Datum konání akce

1. 1. 2017

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000462903600046