PSS/Ada程序切片系统的设计与实现
DESIGN AND IMPLEMENTATION OF APSS/ADA PROGRAM SLICING SYSTEM
-
摘要: PSS/Ada是一个Ada程序静态切片生成系统,可广泛应用于Ada程序的测试、排错、理解、维护以及Ada软件的波动性分析、并行性检测和复杂性度量等诸方面.本文介绍PSS/Ada系统的设计思想、系统的结构、工作原理以及系统实现的重要技术细节Abstract: 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.
下载: