Using OWL Ontologies as a Domain-Specific Language for Capturing Requirements for Formal Analysis and Test Case Generation

Our experience at GE Research suggests that the use of a controlled-English grammar and a rich authoring environment can greatly facilitate subject matter experts' ability to understand, create, and collaboratively employ models. A domain ontology is an ideal foundation for many advanced capabi...

Full description

Saved in:
Bibliographic Details
Published in2019 IEEE 13th International Conference on Semantic Computing (ICSC) pp. 361 - 366
Main Authors Crapo, Andrew W., Moitra, Abha
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.01.2019
Subjects
automated test generation
formal methods
Grammar
Ontologies
ontology
OWL
requirements
Semantics
Software
Valves
Online AccessGet full text
DOI10.1109/ICOSC.2019.8665630

Cover

More Information
Summary:Our experience at GE Research suggests that the use of a controlled-English grammar and a rich authoring environment can greatly facilitate subject matter experts' ability to understand, create, and collaboratively employ models. A domain ontology is an ideal foundation for many advanced capabilities. An example is extending our controlled-English grammar and authoring environment for OWL model generation to allow the capture of high-level requirements, assumptions, and assertions, enabling requirement engineers to create models of system capability and behavior amenable to formal methods analysis to detect incompleteness, conflict, and a variety of other issues. The same domain models and formal requirements can be used to automatically generate test cases and test procedures. Automated test generation represents a huge reduction in the time and effort required to create and validate critical software. In this paper we illustrate how ontologies enable the ASSERT™ tool suite to support the above capabilities through a small grounding use case.
DOI:10.1109/ICOSC.2019.8665630