Title :
Evaluation of Ontology-Based Checking of Software Requirements Specification
Author :
Dang Viet Dzung ; Ohnishi, Atsushi
Author_Institution :
Grad. Sch. of Sci. & Eng., Ritsumeikan Univ., Kusatsu, Japan
Abstract :
Knowledge-based software engineering, especially ontology-based method has potential to facilitate requirements engineering. However, the effect of ontology method depends on usage contexts and experiences of software engineers. This paper illustrates the evaluation of ontology-based checking method of requirements specification by two comparative experiments: in each experiment, two groups of subjects checked a same list of requirements but one group used ontology and the other group did not. The working method of two groups exchanged in the second experiment: the group using ontology in the first experiment worked freely in the second experiment and vice versa. In major cases in both experiments, the group using ontology had better results than the group working freely did. Through the experiments, the authors can show the effectiveness of the ontology in checking software requirements specification.
Keywords :
formal specification; formal verification; ontologies (artificial intelligence); ontology-based checking method; requirements engineering; software engineers experiences; software engineers usage contexts; software requirements specification; Cognition; Educational institutions; Harmonic analysis; Measurement; Natural languages; Ontologies; Software; checking requirements specification; requirements ontology;
Conference_Titel :
Computer Software and Applications Conference (COMPSAC), 2013 IEEE 37th Annual
Conference_Location :
Kyoto
DOI :
10.1109/COMPSAC.2013.70