JB-CCD中对库程序处理的实用技术

JB/CCD是国家“八五”重点科技攻关项目“68-6-1软件工程技术,工具与环境的研究与开发”的子课题“集成化软件工程支撑环境”JB/Sun中的面向C语言的编码与排错工具。在CCD中高效自动地使用C的程序库是将CCD推向实用的一大难点。为进一步巩固“七五”成果,为“八五”CASE的实用化作准备,我们在实用化方面作了大量尝试与工作。本人给出了一种对C函数库处理的高效的方法。该方法对以抽象语法树(AST)为内部机制的编码排错工具的实用化具有普遍意义。     

对结构数据类型变量的监测技术

本文在设计与实現程序设计环境FPE/1中的变量监测功能的基础上,利用窗口复盖与显示技术,提出了对结构化的数据类型,如记录,数组,集合等类型的变量监测方法,使之成为一种有效的排错手段。     

增量静态语义分析的一个对象模型

本文给出了一个对象模型用以描述类ＰＡＳＣＡＬ程序设计语言的静态语义（语义对象，语义依赖）．讨论了基于该模型的增量静态语义分析的过程，动作，并发机制与实现手段．在文章的最后部分对模型扩充讨论了在多用户，分布式环境中的增量语义分析．文中的模型可稍加扩充以适应一般的高级程序设计语言．