PSS/Ada程序切片系统的设计与实现

被引：26

作者：

杨洪

徐宝文

机构：

[1] 中国船舶工业总公司第七一六研究所,东南大学计算机科学与工程系

来源：

计算机研究与发展 | 1997年 / 03期

关键词：

程序切片，数据依赖，控制依赖，波动效应;

D O I：

暂无

中图分类号：

TP311.5 [软件工程];

学科分类号：

081205 [计算机软件];

摘要：

ＰＳＳ／Ａｄａ是一个Ａｄａ程序静态切片生成系统，可广泛应用于Ａｄａ程序的测试、排错、理解、维护以及Ａｄａ软件的波动性分析、并行性检测和复杂性度量等诸方面．本文介绍ＰＳＳ／Ａｄａ系统的设计思想、系统的结构、工作原理以及系统实现的重要技术细节

引用

收藏

页数：6

相关论文

共 1 条

[1]

一种逆向程序流依赖性分析方法及其应用 [J].

徐宝文 .

计算机学报, 1993, (05) :385-392