Research Summaries

Back Risk-Based Specification, Validation and Verification Using Software Slicing

Fiscal Year 2012
Division Graduate School of Operational & Information Sciences
Department Computer Science
Investigator(s) Berzins, Valdis A.
Sponsor National University of Singapore (Other)
Summary The researchers plan to address the complexity of Systems-of-Systems (SoS) development, with a focus on the embedded software, especially with the growing importance and complexity of software in modern SoS development. In addition, the cost of software debugging and correction is much more expensive at the later stages of the project development. Therefore, there is a need for improved software specification, validation and verification. The proposed research is aimed at the application of slicing methods to (1) safely reduce re-testing and 92) to allocate testing efforts most effectively to reduce operational risks associated with software.
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