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.