DOI: https://doi.org/10.15368/theses.2013.227
Available at: https://digitalcommons.calpoly.edu/theses/1147
Date of Award
12-2013
Degree Name
MS in Computer Science
Department/Program
Computer Science
Advisor
Clark Turner
Abstract
The purpose of this thesis was to automate verification of the software requirements for an implantable cardioverter defibrillator with minimal manual rework. The requirements were written in plain English with only loose stylistic constraints. While full automation proved infeasible, many significant advances were made towards solving the problem, including a framework for storing requirements, a program which translates most of the natural language requirements into the framework, and a novel approach to parts of speech analysis.