Automatic generation of state invariants from requirements specifications

In requirement engineering, an important issue is how to transform and tailor the informal system requirements of users or customers into more structured specification documents, which are then used by the software developers. In addition, it is both challenging and necessary to redefine and analyze, from ill-defined or unknown requirements, specifications correctly and automatically generate test cases with them. There are few kinds of research in Korea for automatically reducing requirement complexity and developing test cases of the Korean language-based requirement specifications. Why do we need requirement simplification? Requirement complexity causes analyzers less readability and low understandability. To do this, we propose the automatic cause-effect generation via a requirement simplification mechanism of informal requirement specifications with the Korean language, which works the following procedures: (1) the automatic simplification of informal requirement sentences, (2) the generation of Condition/Conjunction/Clause Tree (C3Tree) Model, (3) and the Cause-effect generation.

Download Full-text

Automatic generation of state invariants from requirements specifications

Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering - SIGSOFT '98/FSE-6 ◽

10.1145/288195.288218 ◽

1998 ◽

Cited By ~ 40

Author(s):

Ralph Jeffords ◽

Constance Heitmeyer

Keyword(s):

Automatic Generation ◽

Requirements Specifications

Download Full-text

The Role of Visual Distractors in the Simon Effect

Experimental Psychology (formerly Zeitschrift für Experimentelle Psychologie) ◽

10.1027/1618-3169/a000382 ◽

2017 ◽

Vol 64 (6) ◽

pp. 387-397 ◽

Cited By ~ 1

Author(s):

Luisa Lugli ◽

Stefania D’Ascenzo ◽

Roberto Nicoletti ◽

Carlo Umiltà

Keyword(s):

Simon Effect ◽

Simon Task ◽

Automatic Generation ◽

Spatial Code ◽

Attentional Model ◽

Previous Evidence ◽

Spatial Stimulus ◽

Attentional Resources ◽

Code Changes

Abstract. The Simon effect lies on the automatic generation of a stimulus spatial code, which, however, is not relevant for performing the task. Results typically show faster performance when stimulus and response locations correspond, rather than when they do not. Considering reaction time distributions, two types of Simon effect have been individuated, which are thought to depend on different mechanisms: visuomotor activation versus cognitive translation of spatial codes. The present study aimed to investigate whether the presence of a distractor, which affects the allocation of attentional resources and, thus, the time needed to generate the spatial code, changes the nature of the Simon effect. In four experiments, we manipulated the presence and the characteristics of the distractor. Findings extend previous evidence regarding the distinction between visuomotor activation and cognitive translation of spatial stimulus codes in a Simon task. They are discussed with reference to the attentional model of the Simon effect.

Download Full-text