Checking Sanity of Software Requirements

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F12%3A00057623" target="_blank" >RIV/00216224:14330/12:00057623 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-642-33826-7_4" target="_blank" >http://dx.doi.org/10.1007/978-3-642-33826-7_4</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-642-33826-7_4" target="_blank" >10.1007/978-3-642-33826-7_4</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Checking Sanity of Software Requirements

Popis výsledku v původním jazyce

In the last decade it became a common practice to formalise software requirements to improve the clarity of users' expectations. In this work we build on the fact that functional requirements can be expressed in temporal logic and we propose new techniques that automatically detect flaws and suggest improvements of given requirements. Specifically, we describe and experimentally evaluate new approaches to consistency and vacuity checking that identify all inconsistencies and pinpoint their exact source(the smallest inconsistent set). To complete the sanity checking we also deliver a novel semi-automatic completeness evaluation that can assess the coverage of user requirements and suggest missing properties the user might have wanted to formulate. Theusefulness of our completeness evaluation is demonstrated in a case study of an aeroplane control system.

Název v anglickém jazyce

Checking Sanity of Software Requirements

Popis výsledku anglicky

In the last decade it became a common practice to formalise software requirements to improve the clarity of users' expectations. In this work we build on the fact that functional requirements can be expressed in temporal logic and we propose new techniques that automatically detect flaws and suggest improvements of given requirements. Specifically, we describe and experimentally evaluate new approaches to consistency and vacuity checking that identify all inconsistencies and pinpoint their exact source(the smallest inconsistent set). To complete the sanity checking we also deliver a novel semi-automatic completeness evaluation that can assess the coverage of user requirements and suggest missing properties the user might have wanted to formulate. Theusefulness of our completeness evaluation is demonstrated in a case study of an aeroplane control system.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2012

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 10th International Conference on Software Engineering and Formal Methods

ISBN

9783642338250

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

15

Strana od-do

48-62

Název nakladatele

Springer

Místo vydání

Thessaloniki

Místo konání akce

Thessaloniki

Datum konání akce

1. 1. 2012

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

WRD - Celosvětová akce

Kód UT WoS článku

—