唐宝 作品数:10 被引量:4 H指数:1 供职机构: 南京大学 更多>> 发文基金: 国家杰出青年科学基金 国家自然科学基金 江苏省青年科技基金 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
面向对象与软件Agent技术研究 吕建 陶先平 马小星 胡昊 李英军 张建莹 曹春 杨大军 张鸣 李新 冯新宇 唐宝 曹建农 徐锋 胡海洋 “面向对象与软件Agent技术研究”以面向对象形式化方法与移动Agent技术作为切入点,在对主流的面向对象形式化技术进行深入研究的基础上,探讨面向Internet开放、动态、多变环境的新型程序设计与方法学的基础技术-软件...关键词:关键词:面向对象 移动AGENT ND-Polya类比实现技术 被引量:3 1999年 从认识论和方法论的角度来看,分类不是认识事物解决问题的唯一方法,类比同样十分重要.然而传统的继承只体现分类的方法.自行设计的面向对象语言ND-Polya通过引入新的继承机制——柔性继承来支持类比方法.使用柔性继承机制,程序员能以描述事物或问题间相似性的方式进行软件开发.文中简要介绍了ND-Polya的柔性继承设施,并在此基础上具体地讨论了该机制的类比实现技术. 马晓星 唐宝 陶先平 伊波 吕建关键词:JAVA语言 程序设计 柔性继承支撑系统ND—Polya的设计与实现 1999年 继承是面向对象程序设计中的一个重要机制。但是,当程序员需要调整已有类并将其应用到类似的应用中,继承机制就不能支持这类程序员的需要。为了解决这一问题,我们结合类比和继承,提出了一种新的机制:柔性继承。该机制允许对类中属性进行删除和重定义。更重要的是,允许定义类之间的相似性,进行方法间的类比推导,实现对方法以及算法的复用。描述了对柔性继承的规约语言机制和推理系统有具体设计和实现。 唐宝 马晓星关键词:面向对象 程序设计 一种基于部分多重覆盖的回归测试用例筛选方法 本发明公开了一种基于部分多重覆盖的回归测试用例筛选方法,首先根据软件系统特征和测试用例库的历史数据,构建测试需求覆盖矩阵;再针对修改组件,将测试需求集划分为关注集和无关集;采用HATS算法选择回归测试集;对于测试用例库的... 顾庆 唐宝 陈道蓄文献传递 一种新型同步控制机制Guard-Trace及其实现技术研究 2001年 在并发面向对象环境中 ,对象需要同步控制机制来保证其内部状态的一致性 ,我们自行设计的Guard Trace机制是在传统的同步控制机制Trace之上的拓广 ,可较好地刻划被动对象的同步控制约束 ,具有简明、表达能力强、使用灵活等优点 .然而 ,Guard Trace机制对实现技术提出了更高的要求 ,在定义了Guard Trace的语法语义的基础上 ,阐述了它的模拟实现系统的设计决策 ,并深入讨论了Guard 廖宇 杨大军 唐宝 张鸣 吕建关键词:动态优化 面向对象 一种并发面向对象同步模型研究 被引量:1 2002年 同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-卫式路径结构.它不但可以支持一般代码的复用,而且可以全方位地支持对同步代码的复用. 吕建 杨大军 廖宇 唐宝关键词:面向对象 并发 程序设计语言 一种基于部分多重覆盖的回归测试用例筛选方法 本发明公开了一种基于部分多重覆盖的回归测试用例筛选方法,首先根据软件系统特征和测试用例库的历史数据,构建测试需求覆盖矩阵;再针对修改组件,将测试需求集划分为关注集和无关集;采用HATS算法选择回归测试集;对于测试用例库的... 顾庆 唐宝 陈道蓄ND-Polya中协变-反变问题的处理方法 1999年 协变-反变问题讨论面向对象语言中继承机制和多态计算的关系,是当前面向对象程序设计语言中的一个重要的理论问题.反变的方法重定义不符合思维习惯,一般采用协变精化的设计方法.但抛弃反变后的面向对象程序设计,在多态计算中会产生类型问题.针对这一问题,该文基于Castagna 的重载函数模型,提出处理协变相关类型问题的类型系统和计算模型,并在ND-Polya 语言及系统中具体实现.该方法可以应用到其它协变面向对象语言中. 唐宝 马晓星 陶先平 吕建关键词:面向对象 一种并发面向对象语言中的同步控制模型研究 并发同步控制不论在传统的并发程序设计中还是在并发面向对象的程序设计中都是一个重要的机制.虽然在同步模型方面已有较多的研究工作,但在并发面向对象语言中的同步控制机制的研究仍不成熟,缺乏一种合适的同步模型.该文在现有并发现面... 唐宝关键词:程序设计 柔性继承机制的设计与实现 2001年 继承是面向对象程序设计方法中的重要特征之一 .在分析了传统继承机制不足的基础上 ,将类比理论引入面向对象 ,提出了一种新的继承机制——柔性继承机制 .该机制在面向对象程序设计中增加了相似类、相似属性和相似方法的类比对应定义及类比分析和推导方法 ,同时支持子类关系和类比关系 ,从而可更加灵活而有效地对已有软件进行复用 .最后 ,介绍了支持柔性继承机制的语言 ND 陶先平 唐宝 马晓星 伊波 吕建关键词:面向对象 程序设计方法 软件复用