Name
Abstract | ||
|---|---|---|
In the context of Requirements Engineering, checking the consistency of functional requirements is an important and still mostly open problem. In case of requirements written in natural language, the corresponding manual review is time consuming and error prone. On the other hand, automated consistency checking most often requires overburdening formalizations. In this paper we introduce ReqV, a tool for formal consistency checking of requirements. The main goal of the tool is to provide an easy-to-use environment for the verification of requirements in Cyber-Physical Systems (CPS). ReqV takes as input a set of requirements expressed in a structured natural language, translates them in a formal language and it checks their inner consistency. In case of failure, ReqV can also extracts a minimal set of conflicting requirements to help designers in correcting the specification. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.1109/ICST.2019.00043 | 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) |
Keywords | Field | DocType |
Task analysis,Tools,Syntactics,Grammar,Java,Libraries,Encoding | Functional requirement,Formal language,Software engineering,Task analysis,Computer science,Requirements engineering,Grammar,Natural language,Java,Reliability engineering,Encoding (memory) | Conference |
ISSN | ISBN | Citations |
2381-2834 | 978-1-7281-1736-2 | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Simone Vuotto | 1 | 5 | 1.86 |
| Massimo Narizzano | 2 | 451 | 30.41 |
| Luca Pulina | 3 | 326 | 37.95 |
| Armando Tacchella | 4 | 1448 | 108.82 |