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

【Abstract】 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.更多还原