COBOL程序测试环境CPTS—1的设计与实现

CPTS-1是一个以 COBOL 程序为测试目标,为提高测试效率而实现的一个软件测试环境。本文旨在系统地介绍 CPTS-1的主要功能、特点和设计实现的基本原理。     

可视的软件过程描述语言的研究与实现

讨论了用可视语言描述软件过程的问题，定义了一种可视的软件过程描述语言，提出了一种从软件过程模型自动推导个体视图的方法，设计了建立模型、推导和执行个体视图的支持系统。     

程序到二级控制图转换工具的研制

二级控制图可很清楚地反映程序的模块间及模块内的逻辑控制关系,它是静态分析非常有用的辅助工具.本文详细描述了从COBOL程序到二级控制图的转换工具TTPCD(Tool for Transformation from Program in to Two LevelControl Diagram)实现原理、技术和功能,并指出该工具进一步发展的前景。     

标准XYZ/G语法公式与BS2000-XYZ/G_2语法公式

在研究开发XYZ/G编译程序过程中,我们对XYZ/G语言的语法公式[1]作了全面深入的分析研究,发现了若干需要进一步研究探讨之处,作了适当的修改变动。近来,为了研制XYZ/G语言问世以来的第一个实用编译程序——BS2000—XYZ/G_2编译程序,我们在大量研究的基础上,确定了BS2000—XYZ/G_2的语法公式。本文主要陈述对原XYZ/G语言的语法公式的修改意见及确定BS2000—XYZ/G_2语法公式的原则,以对照方式给出修改后的XYZ/G语法公式和BS2000—XYZ/G_2语法公式全文。     

关于二级文法的两个基本问题

作者认为二级文法的实用性质关键取决于两个基本问题。第一个基本问题是转调条件。本文首次提出部分转调条件和部分转调的概念,克服了原转调条件和完全转调的局限性。在此基础上,进一步讨论了LR文法、部分转调与子文法类之间的关系。第二个基本问题是入口状态前看集。本文证明了入口状态前看集不会缩小二级文法的文法属性。这篇文章中所讨论的内容是二级文法研究中所取得的重要进展。在M—68000微型机上已有效地实现了二级语法分析器自动生成系统6,进而有力地论证了这一研究结果的实用价值。