基于XML和JAVA构建程序生成器

本文将XML、JAVA、JSP及程序生成器等技术与方法结合起来 ,通过域分析的思路、方法、过程 ,讨论了使用XML和JAVA创建程序生成器的方法和过程 ,并比较了不同方法的优劣。指出了将XML应用到程序创建和维护上的优势。

利用XML和Java建立程序生成器

将XML、Java、JSP及程序生成器等技术与其方法结合起来,通过域分析的思路、方法和过程,讨论了使用XML和Java创建程序生成器的方法和过程,并比较了不同方法的优劣,指出了将XML应用到程序创建和维护上的优势。

基于数据流分析的过拟合补丁识别

自动程序修复技术可实现对软件缺陷的自动修复,并使用测试套件评估修复补丁.然而因为测试套件不充分,通过测试套件的补丁可能并未正确修复缺陷,甚至引入新的缺陷并产生波及效应,导致自动程序修复生成大量过拟合补丁.针对这个问题,本文提出了一种基于数据流分析的过拟合补丁识别方法,首先将补丁对程序的修改分解为对变量的操作,然后采用数据流分析方法识别补丁影响域,并根据补丁影响域选择针对性覆盖准则来识别目标覆盖元素,进而选取测试路径并生成测试用例实现对修复程序的充分测试,避免修复副作用的影响.本文在两个数据集上进行了评估,实验结果表明,基于数据流分析的过拟合补丁识别方法可有效提升自动程序修复的正确性.

协同CAD系统结构及关键技术

提出了一种基于Java/CORBA/XML的开放式协同CAD系统模型.在该模型系统结构中,各功能和应用模块被封装成便于复用的Agent构件,由软总线实现集成;使用组件和XML技术,简化了复杂的通信问题,增加了系统的柔性;使用XML表达的基于设计语义的同步协同设计极大地减小了网路流量,基于XML异步交换的数据保存了设计历史和特征之间的关系;采用基于关系的快速参数化方法,解决了模型快速重建的问题.同时也对人机接口、产品工程数据建模,以及分布式安全等协同设计中关键问题的解决进行了分析说明.

基于特征精化的产生式编程方法研究

针对当前产生式编程方法不能有效地应用于复杂软件系统(如信息系统)的开发,不能在分析和设计的层次上复用软件等问题,本文提出了一种基于特征精化的产生式编程方法,基本思想是首先使用特征模型(Feature Model)描述领域内的概念和特征,然后使用特征精化的方法将特征精化为基本特征,用基本特征和之间的关系说明特征是如何实现的,最后将基本特征映射为组件,根据系统的特征模型组装组件,构建整个软件系统。基于特征精化的产生式编程方法是建立在特征和组件的基础上的,适用于信息系统类软件的开发。