Software Verification for a Custom Instrument using VectorCAST and CodeSonar
The goal of this thesis is to apply a structured verification process to a software package using a set of commercially available verification tools. The software package to be verified is adapted from a project that was developed to monitor an industrial machine at the Oak Ridge National Laborator...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
Trace: Tennessee Research and Creative Exchange
2011
|
| Subjects: | |
| Online Access: | http://trace.tennessee.edu/utk_gradthes/918 |