郑国梁
- 作品数：148 被引量：847H指数：16
- 供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术机械工程医药卫生理学更多>>
- 模型层次与自省思想研究被引量：2
- 2005年
- 具备自省能力的系统能够随着环境改变自觉地改变自身的结构和行为,以适应环境变化后的需求。本文试图从模型层次和语言角度探讨实现自省思想的新思路,并给出一个体现自省思想的系统运行框架结构。系统的自省可以通过能够随不同条件改变模型元素结构和行为的建模语言获取,现有元模型侧重于结构上的规定,对元素的行为则几乎没有涉及。本文在元模型中显式地引入操作,以控制模型元素的结构和行为。
- 周颖郑国梁李宣东
- 关键词：元模型建模语言
- 一个支持软件需求测试任务分析方法的工具被引量：2
- 2000年
- 需求定义模型测试的任务分析方法，把需求情形实例当作需求模型的测试用例，用任务活动序列描述情形，并提供给任务分析专家和用户进行对照分析。情形实例的活动序列描述以文字的形式描述系统行为的细节，表达清晰，较需求模型更容易被用户所理解。文章介绍支持该方法的一个需求模型测试自动化工具ＳＲＤＭＴｅｓｔ．
- 白赣洪张朝良火清宁朱鸿郑国梁
- 关键词：人机交互软件开发
- 一种基于类层次图的分析面向对象程序的框架被引量：9
- 2000年
- 从类层次图 CHG( class hierarchy graph)出发 ,提出一个基于 CHG的分析面向对象程序的框架 OOAF( object- oriented analyzing framework) ,讨论了 OOAF的功能、算法和设计思想 ,给出了子对象识别以及可见方法、主导方法的确定算法 ,建立了可见方法类层次图 ;并且通过计算方法的继承集、改写集以及对方法改写边界的确定 ,生成程序的虚函数调用图 。
- 李必信梁佳张勇翔樊晓聪郑国梁nju.edu.cn
- 关键词：面向对象程序设计
- 面向对象逻辑语言LKO的类型系统被引量：1
- 1998年
- 文中主要介绍面向对象逻辑语言ＬＫＯ中基于声明和推理的有序类型系统．在谓词声明中，类型由有序的构子构造而成．子句中变量类型由类型推理决定．对象类型由方法声明决定，独立于继承，便于代码复用．它可作为基类型参与项类型构造．
- 徐殿祥郑国梁
- 关键词：面向对象程序设计逻辑语言
- UMLTGF:一个基于灰盒方法从UML活动图生成测试用例的工具被引量：26
- 2006年
- UML已经成为建模语言的事实标准,如何从UML分析设计模型生成测试用例也为面向对象软件测试带来了新的挑战·为了从UML设计模型中的活动图直接生成测试用例,给出了UML活动图的形式化定义和灰盒测试方法·该方法首先分析UML活动图上的所有执行路径(每条路径称为一个测试场景),然后根据测试场景中的节点和转换所代表的活动及其输入/输出变量、相关约束条件等生成测试用例·并根据该方法实现了一个自动生成测试用例的工具UMLTGF,它可以从Rational Rose的规约文件中提取活动图信息并生成相应的测试用例·该工具能够提高软件测试的效率,降低测试成本·
- 袁洁松王林章李宣东郑国梁
- 关键词：UML活动图测试用例
- 形式描述语言COOZ的集成支撑环境COOZ-Tools被引量：1
- 1999年
- 介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充，从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌｓ支持基于ＣＯＯＺ的软件开发，它主要由如下工具组成：规格说明编辑、浏览工具、语法语义检查工具、联机帮助工具、项目管理工具。
- 袁晓东胡德强许皓李勇郑国梁
- 关键词：形式描述语言面向对象COOZ
- 基于软件工程的规约方法分类被引量：1
- 1995年
- 本文从软件工程角度,对软件的规约方法进行了分类。得到两类规约方法:一类是基于逻辑规约方法.此方法一般是给出系统应该满足的性质集合。其代表是时序逻辑方法。另一类方法是基于模型规约方法。此方法一般是给出一个抽象模型,这个抽象模型指出程序应该如何活动.其代表是通信系统演算(CCS).本文进一步从软件工程原理,对这两类规约方法进行了比较和讨论。得到的结论是:两种类型的规约方法在系统开发的整个过程中都起着不同而重要的作用,它们相辅相成,缺一不可.最后,指出了今后的研究工作.在软件开发中,应该考虑多种规约方法和多种语义相结全的开发过程.
- 贾国平郑国梁
- 关键词：软件工程软件开发
- OOPSE——一种基于C^(++)/Java的程序分析系统被引量：7
- 2001年
- 1 引言
面向对象技术自八十年代以来,在软件的各个领域得到了广泛应用,基于对象技术的面向对象软件开发方法也随之兴起,并被广泛采用.面向对象软件开发方法强调采用面向对象的观点认识客观世界,采用面向对象的方法模拟客观世界,使得软件结构和问题结构相一致,相对降低了软件的复杂性,方便了软件的设计、编程、维护和使用,从而特别适合于大型的、复杂的软件系统的开发.尽管面向对象的软件开发方法具有很多优点,但也存在着一些问题.例如,语言的灵活性、描述能力和程序的可靠性、功能之间难以统一,多态性和动态定连使得运行时很难确定在给定的程序点对象的动态类型,封装与继承的矛盾,以及多继承机制复杂的语义等使得人工管理面向对象的软件开发过程变得困难,同时,这也会导致软件开发效率的降低.
- 刘小东李必信杨朝晖李宣东郑国梁
- 关键词：C^++JAVE面向对象
- KBE—Pascal:基于知识的程序编辑
- 1991年
- KBE-Pascal是一种交互式的程序设计助手系统,其意图是程序员完成设计和实现的困难部分,由KBE-Pascal尽可能地帮助他。 KBE-Pascal的主要基础是格局,这是一种表示程序的方法,它抽去了程序的非基本特性,且明显地表示出算法的基本逻辑特性。 KBE-Pascal的设计目标是通过引用格局库中的断片,快速正确地构造程序。它的目标语言是Pascal。目前该系统由四部分组成:编码程序,用以产生对应于格局的程序正文;一个通用算法片断格局库;格局编辑程序,使得程序能通过修改格局而达到修改程序的目的;正文编辑程序,使得程序员能直接对程序正文进行编辑。
- 郑国梁唐清
- 关键词：程序设计
- Z应用于通信协议形式化描述的研究被引量：1
- 1998年
- Ｚ语言是一被广泛使用的形式化规格说明语言，该文在其上扩充了时间描述机制Ｔｉｍｅ模式，使之适应于对通信协议的形式化描述，并以流行的ＹＭＯＤＥＭ通信协议为例详细介绍了如何用Ｚ对通信协议进行形式化描述以及在此基础上协议的具体实现方法。
- 袁晓东徐殿祥郑国梁
- 关键词：Z规格说明通信协议
