NASA NTRS · 19890006912
Ada(R) Test and Verification System (ATVS)
Abstract
The Ada Test and Verification System (ATVS) functional description and high level design are completed and summarized. The ATVS will provide a comprehensive set of test and verification capabilities specifically addressing the features of the Ada language, support for embedded system development, distributed environments, and advanced user interface capabilities. Its design emphasis was on effective software development environment integration and flexibility to ensure its long-term use in the Ada software development community.
Keep this discovery
Explore connections, maps & timelines
Strelich, Tom. 1986-01-01. Ada(R) Test and Verification System (ATVS). https://ntrs.nasa.gov/citations/19890006912
Cite the original work for its findings. Save a collection to share your selection of sources.