一种新的编译程序测试用例自动生成策略及其实现

自动生成测试用例是测试编译程序的途径之一,目前一般均使用Purdom提出的产生式选择策略来自动生成测试用例,本文提出了描述前后文无关文法的一种图表示方法,这种图称为文法的DG图。基于DG图,我们给出了一种优于Purdom策略的新的编译程序测试用例自动生成策略,并讨论了这种策略的实现原理。     

APT程序自动生成器的设计与实现

本文介绍了一个在ＳＹＢＡＳＥ ＡＰＴ环境下开发的程序自动生成器，文中介绍了其设计思想及实现技术，并提出了用模板法实现程序自动生成的方法。     

CSS自动生成器的设计与实现

CSS技术为网矾设计提供了更丰富、更美观的表现方式。介绍了一个CSS自动生成器的设计原理,讨论了该系统的主要实现技术。     

自动生成器的设计和实现

本文通过分析办公自动化的设计需求，指出了使用自动生成器的必要性，在此基础上详细论述了自动生成器的设计模型和实现方法，并提出了进一步扩充的问题。     

一个屏幕绘图程序自动生成器

本文提供了一个工具程序，它能省去复杂的编程工作，把用户绘制的屏幕图形自动生成相应的Ｃ程序。从而大大提高了工作效率。     

驱动程序生成器的设计与实现

开发SCSI(small computer system interface)驱动程序自动生成器的目的是为了高效地开发各种驱动程序.该生成器可以自动完成SCSI子系统的代码维护,自动生成驱动程序绝大部分的模块,并能自动打包,提供主盘、从盘两种运行方式下的驱动程序.该文介绍了自动生成器的设计思想、系统控制流程及数据流程、系统模块及层次结构、接口和运行处理以及生成器的实现,包括模块管理、自动打包及模板生成.     

面向对象的应用程序生成器

本文介绍了面向对象的管理信息系统应用程序生成器，遵循第四代语言和计算机辅助软件工程的规范，结合软件开发的能重用技术，设计并实现了开发管理信息系统应用系统的集成环境和工具，它具有良好的封装性、继承性和多态性，达到了快捷、高效地从事应用程序的开发工作。     

一个面向对象软件自动测试框架的设计和实现

介绍了一个测试用例驱动的面向对象软件自动化测试框架(简称为TCDA).TCDA使用UML作为形式化的分析和设计规格说明,从UML的体系结构视图中自动获取测试用例,并以XML的形式保存这些测试用例.TCDA可以根据具体编程语言,将测试用例翻译成由一系列源文件组成的测试脚本.测试执行过程中,测试脚本首先会被编译和链接,生成可执行文件,接着这些可执行文件将被运行,同时测试结果将被记录和分析,并最终生成一个结果分析报告.TCDA的原型系统使用Java实现.该系统包括测试配置、测试用例生成、测试脚本生成、测试执行和结果分析五个模块,分别支持以上描述的过程.     

网站自动生成器的设计和实现

本文设计并实现了一个集成的网站开发工具WSAG(网站自动生成器)。它为用户提供友好的设计界面,把用户的交互式的描述信息分类后存入后台数据库,在需要时通过对数据库中的数据进行选取,使用预先定义的网页模板,从而生成整个网站的HTML代码文件。     

测评软件生成系统的设计与实现

本文讨论了一个具有通用性的测试评估软件生成系统的设计思想和实现方法，给出了该生成器的系统组成、数据组织结构、查询搜索方式以及用户界面的设计。该系统具广泛的应用领域和实用意义。     

面向上下文无关语言的测试工具的设计和实现

软件测试是软件开发生命周期的重要组成部分,也是目前和今后相当长一段时间内保证软件质量和可靠性的主要手段,首先以两个已经实现了的分别面向VB和C/C 语言的计算机辅助软件测试工具为基础,将该系列测试工具的系统结构推广至适用于任何一种上下文无关语言。而该系列测试式工具高度的模块可重用性特征为这种推广提供了必要的基础。为实现这种高度的模块可重用性特征。从各个角度论述了增强该特征的设计,提出了基于块的程序划分机制。这种机制从根本上保证了对多种上下文无关语言的测试语义的一致性,最后,还给出了两个不同语言写就的实例的运行结果,以说明这种一致性。     

服务标识映射服务器性能测试工具的设计与实现

一体化标识网络在总结现有网络弊端的基础上,提出服务普适化理论.服务标识映射服务器SIDMS(ServiceIdentifier MappingServer)是一体化标识网络中实现多种服务统一管理的核心设备,是用户接受服务的第一个平台,因此SIDMS具有极高的重要性.在SIDMS大规模投入使用前,对其性能进行测试和量化评估是十分必要的.针对SIDMS的运行环境和作用进行了分析,在此基础上,设计开发了性能测试工具,并对SIDMS性能进行了实际测试,测试得出了SIDMS的性能瓶颈值,量化评估性能表现.为优化和完善SIDMS提供依据,保证SIDMS可以在一体化标识网络中稳定可靠运行.     

合一和回溯智能加速部件的设计与实现

本文设计了一个高效的合一和回溯智能加速部件，在实现时我们运用了自己提出的优化线性合一算法超前检查智能回溯策略。经测试和分析表明，采用该加速部件的Ｐｒｏｌｏｇ实现系统的效率要比软件实现提高十倍以上。     

程序可视化系统ProVS的设计和实现

本文研究程序代码可视化技术，即从现存的程序生成某种可视化表示，增强程序的易读性、易理解性和易维护性。首先介绍ＰｒｏＶＳ的设计思想和实现技术，然后给出输出例子。     

多态蠕虫产生器的设计与实现

为了更好地研究和防御多态蠕虫,在研究多态变形技术的基础上,针对基于缓冲区溢出漏洞进行传播的蠕虫,设计了多态蠕虫产生器。以SQL Slammer蠕虫和ATPhttpd蠕虫作为实例介绍产生器的工作过程。从产生器的设计过程和实例分析可以看出,通过多态处理的蠕虫依旧具有相同字符串序列特征,可以依据这些字符串序列对多态蠕虫进行有效防御。最后对产生器的功能进行测试。测试结果表明,该产生器能够对程序进行有效的多态处理,为多态蠕虫防御和特征自动提取等研究工作提供有效的实验数据。     

自动测试系统消息中间件的设计与实现

针对当前的自动测试系统只侧重于单个或同种类型武器性能的测试的现状,提出基于消息中间件的自动测试系统。阐述该消息中间件的内部体系结构以及该消息中间件中消息发布和订阅的流程,依托该消息中间件,自动测试系统能够屏蔽底层测试系统的复杂性与多样性,实现各种武器测试数据的跨平台通信。试验证明,基于该消息中间件的自动测试系统是一个综合测试平台,能够对各种武器协同作战性能进行综合测试。