Software Engineering Institute Advanced Technology Development in the Area of Software Engineering, Systems Verification and Validation, and Mission Assurance
Abstract
This research seeks to mature and rapidly prototype techniques to verify methods for identifying requirements, systems of systems architectures, and virtual integration of components. Furthermore, research in this area will pursue rapid prototyping and transitioning of capabilities that verify requirements for software assurance, analysis/control of unverified code and automated repair of damaged code. Software production and code analysis methods developed through this program will also improve the ability to predict how complex software systems will behave in untested environments. Increasingly, large numbers of lines of code will require a commensurate increase in sophisticated verification and validation mechanisms.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2020
- Source ID
- ca8584b03e742e3205b8827bccd504a2