| PSS／Ada程序切片系统的设计与实现 |
| |
| 引用本文： | 杨洪,徐宝文.PSS／Ada程序切片系统的设计与实现[J].计算机研究与发展,1997,34(3):217-222. |
| |
| 作者姓名： | 杨洪 徐宝文 |
| |
| 作者单位： | 中国船舶工业总公司第七一六研究所 |
| |
| 基金项目： | 国家自然科学基金,江苏省计算机应用重点学科基金 |
| |
| 摘 要： | ＰＳＳ／Ａｄａ是一个Ａｄａ程序静态切片生成系统，可广泛应用于Ａｄａ程序的测试、排错、理解、维护以及Ａｄａ软件的波动性分析、并行性检测和复杂性度量等诸方面，本文介绍ＰＳＳ／Ａｄａ系统的设计思想、系统的结构、工作原理以及系统实现的重要技术细节。
|
| 关 键 词： | 数据依赖 PSS／Ada 程序切片系统 软件工程 |
DESIGN AND IMPLEMENTATION OF APSS/ADA PROGRAM SLICING SYSTEM |
| |
| YANG Hong.DESIGN AND IMPLEMENTATION OF APSS/ADA PROGRAM SLICING SYSTEM[J].Journal of Computer Research and Development,1997,34(3):217-222. |
| |
| Authors: | YANG Hong |
| |
| 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. |
| |
| Keywords: | program slicing data dependency control dependency ripple effect |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
