摘要
ＰＳＳ／Ａｄａ是一个Ａｄａ程序静态切片生成系统，可广泛应用于Ａｄａ程序的测试、排错、理解、维护以及Ａｄａ软件的波动性分析、并行性检测和复杂性度量等诸方面．本文介绍ＰＳＳ／Ａｄａ系统的设计思想、系统的结构。
Being a generating system of Ada program static slices,PSS/Ada system can be broadly applied in many fields, such as Ada program test, debugging, understanding, maintenance, rippling analysis and complexity measure, etc.. This paper introduces its design principle, system structure, work procedure and implementation methods.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1997年第3期217-222,共6页
Journal of Computer Research and Development
基金
国家自然科学基金
江苏省计算机应用重点学科基金
