Improving Software Quality through Syntax and Semantics Verification of Requirements Models
Software defects can frequently be traced to poorly-specified requirements. Many software teams manage their requirements using tools such as checklists and databases, which lack a formal semantic mapping to system behavior. Such a mapping can be especially helpful for safety-critical systems. Anoth...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | English |
Published: |
University of North Texas
2018
|
Subjects: | |
Online Access: | https://digital.library.unt.edu/ark:/67531/metadc1404542/ |
id |
ndltd-unt.edu-info-ark-67531-metadc1404542 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-unt.edu-info-ark-67531-metadc14045422021-09-10T05:28:39Z Improving Software Quality through Syntax and Semantics Verification of Requirements Models Gaither, Danielle requirements analysis formal methods software engineering Computer Science Requirements engineering -- Automation. Computer programs -- Verification. Semantics -- Methodology. Software defects can frequently be traced to poorly-specified requirements. Many software teams manage their requirements using tools such as checklists and databases, which lack a formal semantic mapping to system behavior. Such a mapping can be especially helpful for safety-critical systems. Another limitation of many requirements analysis methods is that much of the analysis must still be done manually. We propose techniques that automate portions of the requirements analysis process, as well as clarify the syntax and semantics of requirements models using a variety of methods, including machine learning tools and our own tool, VeriCCM. The machine learning tools used help us identify potential model elements and verify their correctness. VeriCCM, a formalized extension of the causal component model (CCM), uses formal methods to ensure that requirements are well-formed, as well as providing the beginnings of a full formal semantics. We also explore the use of statecharts to identify potential abnormal behaviors from a given set of requirements. At each stage, we perform empirical studies to evaluate the effectiveness of our proposed approaches. University of North Texas Bryant, Barrett R. Do, Hyunsook Bryce, Renee Gray, Jeff 2018-12 Thesis or Dissertation viii, 105 pages Text local-cont-no: submission_1425 https://digital.library.unt.edu/ark:/67531/metadc1404542/ ark: ark:/67531/metadc1404542 English Public Gaither, Danielle Copyright Copyright is held by the author, unless otherwise noted. All rights Reserved. |
collection |
NDLTD |
language |
English |
format |
Others
|
sources |
NDLTD |
topic |
requirements analysis formal methods software engineering Computer Science Requirements engineering -- Automation. Computer programs -- Verification. Semantics -- Methodology. |
spellingShingle |
requirements analysis formal methods software engineering Computer Science Requirements engineering -- Automation. Computer programs -- Verification. Semantics -- Methodology. Gaither, Danielle Improving Software Quality through Syntax and Semantics Verification of Requirements Models |
description |
Software defects can frequently be traced to poorly-specified requirements. Many software teams manage their requirements using tools such as checklists and databases, which lack a formal semantic mapping to system behavior. Such a mapping can be especially helpful for safety-critical systems. Another limitation of many requirements analysis methods is that much of the analysis must still be done manually. We propose techniques that automate portions of the requirements analysis process, as well as clarify the syntax and semantics of requirements models using a variety of methods, including machine learning tools and our own tool, VeriCCM. The machine learning tools used help us identify potential model elements and verify their correctness. VeriCCM, a formalized extension of the causal component model (CCM), uses formal methods to ensure that requirements are well-formed, as well as providing the beginnings of a full formal semantics. We also explore the use of statecharts to identify potential abnormal behaviors from a given set of requirements. At each stage, we perform empirical studies to evaluate the effectiveness of our proposed approaches. |
author2 |
Bryant, Barrett R. |
author_facet |
Bryant, Barrett R. Gaither, Danielle |
author |
Gaither, Danielle |
author_sort |
Gaither, Danielle |
title |
Improving Software Quality through Syntax and Semantics Verification of Requirements Models |
title_short |
Improving Software Quality through Syntax and Semantics Verification of Requirements Models |
title_full |
Improving Software Quality through Syntax and Semantics Verification of Requirements Models |
title_fullStr |
Improving Software Quality through Syntax and Semantics Verification of Requirements Models |
title_full_unstemmed |
Improving Software Quality through Syntax and Semantics Verification of Requirements Models |
title_sort |
improving software quality through syntax and semantics verification of requirements models |
publisher |
University of North Texas |
publishDate |
2018 |
url |
https://digital.library.unt.edu/ark:/67531/metadc1404542/ |
work_keys_str_mv |
AT gaitherdanielle improvingsoftwarequalitythroughsyntaxandsemanticsverificationofrequirementsmodels |
_version_ |
1719479437781630976 |