Ing. David Šenkýř

Publikace

Problem of Inconsistency in Textual Requirements Specification

Autoři
Šenkýř, D.; Kroha, P.
Rok
2021
Publikováno
Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering. Porto: SciTePress - Science and Technology Publications, 2021. p. 213-220. vol. 1. ISSN 2184-4895. ISBN 978-989-758-508-1.
Typ
Stať ve sborníku
Anotace
In this contribution, we investigate the inconsistency problem in the textual description of functional requirements specifications. In the past, the inconsistency problem was investigated using analysis of the UML models. We argue that some sources of inconsistency can be revealed in the very first steps of textual requirements analysis using linguistic patterns that we developed. We cluster the sentences according to their semantic similarity given by their lexical content and syntactic structure. Our contribution focus on revealing linguistic contradictions (e.g., a combination of passive voice, antonyms, negated synonyms, etc.) of facts and rules described in different parts of requirements together with contradictions of the internally generated model.

Problem of Semantic Enrichment of Sentences Used in Textual Requirements Specification

Autoři
Šenkýř, D.; Kroha, P.
Rok
2021
Publikováno
Advanced Information Systems Engineering Workshops. Springer, Cham, 2021. p. 69-80. Lecture Notes in Business Information Processing. vol. 423. ISSN 1865-1348. ISBN 978-3-030-79021-9.
Typ
Stať ve sborníku
Anotace
In this paper, we describe our graph-oriented method used to find semantically similar sentences in external information sources that have a semantic enrichment potential in relation to sentences of textual functional requirements specification. Our motivation is to reduce the incompleteness of requirements that may be a source of inconsistency. We found there are some facts and rules so obvious for domain experts that they do not even mention them in requirements. We call such rules default consistency rules. These rules are often not implemented and can not be revealed from the requirements because they are not mentioned there.

Patterns for Checking Incompleteness of Scenarios in Textual Requirements Specification

Autoři
Šenkýř, D.; Kroha, P.
Rok
2020
Publikováno
Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering. Porto: SciTePress - Science and Technology Publications, 2020. p. 289-296. ISSN 2184-4895. ISBN 978-989-758-421-3.
Typ
Stať ve sborníku
Anotace
In this contribution, we investigate the incompleteness problem in textual requirements specifications. Missing alternative scenarios are one of the incompleteness sources, i.e., descriptions of processing in the cases when something runs in another way as expected. We check the text of requirements specification using linguistic patterns, and we try to reveal scenarios and alternative scenarios. After that process is finished, we decide whether the set of alternative scenarios is complete. As a result, we generate warning messages. We illustrate our approach with examples.

Problem of Incompleteness in Textual Requirements Specification

Autoři
Šenkýř, D.; Kroha, P.
Rok
2019
Publikováno
Proceedings of the 14th International Conference on Software Technologies. Porto: SciTePress - Science and Technology Publications, 2019. p. 323-330. ISBN 978-989-758-379-7.
Typ
Stať ve sborníku
Anotace
In this contribution, we investigate the incompleteness problem in textual requirements specifications. Incompleteness is a typical problem that arises when stakeholders (e.g., domain experts) hold some information for generally known, and they do not mention it to the analyst. A model based on the incomplete requirements suffers from missing objects, properties, or relationships as we show in an illustrating example. Our presented methods are based on grammatical inspection, semantic networks (ConceptNet and BabelNet), and pre-configured data from on-line dictionaries. Additionally, we show how a domain model has to be used to reveal some missing parts of it. Our experiments have shown that the precision of our methods is about 60–82 %.

Patterns of Ambiguity in Textual Requirements Specification

Autoři
Šenkýř, D.; Kroha, P.
Rok
2019
Publikováno
New Knowledge in Information Systems and Technologies. Springer, Cham, 2019. p. 886-895. Advances in Intelligent Systems and Computing. vol. 1. ISSN 2194-5357. ISBN 978-3-030-16180-4.
Typ
Stať ve sborníku
Anotace
In this contribution, we investigate the ambiguity problem in textual requirements specifications. We focused on the structural ambiguity and extracted some patterns to indicate this kind of ambiguity. We show that the standard methods of linguistics are not enough in some cases, and we describe a class of ambiguity caused by coreference that needs an underlying domain model or a knowledge base to be solved. Part of our implemented solution is a cooperation of our tool TEMOS with the Prolog inference machine working with facts and rules acquired from OCL conditions of the domain model.

Patterns in Textual Requirements Specification

Autoři
Šenkýř, D.; Kroha, P.
Rok
2018
Publikováno
Proceedings of the 13th International Conference on Software Technologies. Madeira: SciTePress, 2018. p. 197-204. vol. 1. ISBN 978-989-758-320-9.
Typ
Stať ve sborníku
Anotace
In this paper, we investigate methods of grammatical inspection to identify patterns in textual requirements specification. Unfortunately, a text in natural language includes additionally many inaccuracies caused by ambiguity, inconsistency, and incompleteness. Our contribution is that using our patterns, we are able to extract the information from the text that is necessary to fix some of the problems mentioned above. We present our implemented tool TEMOS that is able to detect some inaccuracies in a text and to generate fragments of the UML class model from textual requirements specification. We use external on-line resources to complete the textual information of requirements.