Ada并发软件的质量保证策略和模型

Strategy and Model of Ada Concurrent Software Quality Assurance

本文概述了Ａｄａ并发软件质量保证的基本特点，探讨了死锁检测和实时性检测与优化方法，并研究了相应的质量保证策略和模型。

This paper overviews the basic properties of Ada concurrent software quality assurance, discusses the methods of deadlock detection and real-time performance detection and optimization, and studies the strategy and model of its quality assurance.