程序分片:其改进算法与在程序验证中的应用

程序分片是一种对程序进行自动分解的方法.本文在对循环语句的控制结构作静态分析的基础上,提出了一种改进的程序分片算法.用新算法所求得的分片在任何情况下都不会比用原有的由Mark Weiser提出的算法所求得的分片大.而且对某些类型的程序,前者将远远小于后者.另外,还扼要地讨论了程序分片在程序验证中的应用.     

系统设计:研究与实践之新进展——第十三届国际软件工程会议参加记

经国家教委及中国计算机学会分别派遣,我们七人于1991年5月去美国奥斯汀参加了第十三届国际软件工程会议,会后分赴匹茨堡的卡内基-梅隆大学、纽约州立大学石溪分校,以及波士顿、旧金山等地参观访问。本汇报包括五部分:1.概况,2.分组报告,3.基调讲演,4.专题讨论,5.建议。一、概况第十三届国际软件工程会议于1991年5月13日至16日在美国奥斯汀召开。来自美、加、英、德、法、日、中等20多个国家约800名     

智能化的句法纠错与词法纠错方法

本文提出了一些开发具有智能化的纠错功能的句法分析器的方法和新的句法纠错准则,并运用人工智能的方法和原理设计了能够具有任意多个超前搜索符的错误识别方法和智能化的纠错模式。此外还给出了一个高效率的关键字纠错算法。     

一种责任驱动的面向对象分析与设计方法*

本文结合数据流图编辑工具开发过程的描述，阐述了一个责任驱动的面向对象开发方法的基本思想、实施框架和记号系统．这一方法强调软件是对现实的模拟，软件开发应从问题理解人手，以对象在问题中所承担的责任来驱动软件的开发．这一过程包括反复循环的5个步骤：划分主题、标识对象类、建立联系、定义服务和定义属性．通过行为分析，获得问题的主题划分，从而引导标识与问题相关的对象类及其相互联系，并指导定义其属性和服务，由此获得未来系统的一个清晰的分层模型．     

应用程序分片的新的软件测试与排错方法

软件测试与排错是提高软件可靠性的重要手段,也是软件工程中最活跃的研究领域之一。本文利用了近年来国外的一门新兴的技术——程序分片,提出了一些新的软件测试与排错方法,这些方法的应用将能有助于提高软件测试和排错的效率。     

程序设计环境FPE/1的排错设施及其在功能与实现上的特色

面向PASCAL语言的交互式程序设计环境FPE╱1向用户提供了新的有效的排错设施。作为基本的排错手段,FPE/1具备有立即执行,部分执行,单步,跟踪,设置断点断言以及变量检查等功能,而且对断言的判定能激活一系列预定义的排错过程。我们以增量数据流分析为基础,利用数据流信息建立了对循环语句错误的自动检查设施,还以程序分析技术为机制,为用戶提供了错误局部化的手段和通过排错规格说明来进行自动错误定位的功能,而且还提出了专门针对路徑错误的排错方法。在实现排错与执行操作的Undo功能时,采用一些新的策略,使之在时间与空间效率上都获得了较好的效果。     

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

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

增量数据流分析及其在增量程序设计环境中的应用

本文提出了一种以交互式PASCAL程序设计环境FPE/1中的增量属性计值机制为基础的增量数据流分析方法,并给出了对循环依赖属性的计值方法.此外还讨论了应用数据流信息建立起来的新的软件开发和软件维护设施,如语义辅助编辑和错误检测与局部化方法等.     

需求工程的形式化途径

1.引言需求工程是软件工程的初始阶段,其总的目标是从用户的模糊而又不完整的要求生成准确的、完整的规格说明。需求工程的研究主要有形式化途径和非形式化途径,后者的出发点是认为需求主要是用作系统开