Research Summaries

Back Monitoring and Detection for Self Aware Computing

Fiscal Year 2014
Division Graduate School of Operational & Information Sciences
Department Computer Science
Investigator(s) Drusinsky, Doron
Sponsor Office of Naval Research (Navy)
Summary We will investigate a computer-aided techniques for detecting missing behavioral requirements for software systems. The suggested technique consists of a four step process, as follows: (i) existing behavioral natural language (NL) requirements are written as formal executable specification assertions, (ii) validation testing is performed to assure that the specification assertions conform to the letter and spirit of their NL counter parts, (iii) an executable system reference model (SRM) is constructed to model the interfaces and non-behavioral aspects of the specification, (iv) the validation test-suite is re-routed to execute via the SRM, and code coverage tools are used to detect SRM components and method that have low coverage – those are declared as components and methods which have insufficient or missing behavioral requirements. We will also investigate a formal approach to the same problem, using First Order Logic constraints and bounded constraint solving.
Keywords
Publications Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal
Data Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal