面向路径的测试数据自动生成工具的设计与实现

面向路径的测试数据生成问题是软件测试中的一个基本问题。Gupta等提出一种线性化谓词函数的迭代松驰方法求解该问题。文献[2]改进了该方法，证明改进后的方法与原方法生成的约束系统相同，文章以改进后的方法为核心算法，根据软件工程的思想，采用面向对象的方法，使用UML进行设计，并且在Linux Red Hat7.0操作系统下用C＋＋语言言实现一个为程序路径自动生成测试数据的原型工具，然后将它移植到Windows操作系统。     

快速原型工具系统RPTS的设计与实现

快速原型技术是进行计算机应用开发的一种重要技术，但它需要有良好的工具支持。本文介绍了快速原型工具系统ＲＰＴＳ的设计与实现。     

防病毒软件的设计与实现

计算机病毒越来越多,病毒的制作者手段也越来越高明,给使用者在心理上产生巨大的压力,唯恐其发作破坏数据造成损失.用户的恐惧是可以理解的,因病毒致使系统瘫痪现象屡见不鲜.笔者认为,病毒固然很多、危害性大,但它们的共性不外乎感染计算机的文件资源、阻塞信息通道.如果我们深知DOS的管理、调度机制及其弱点,并对它们施以行之有效的保护,病毒是可以防范的.笔者在剖析DOS的基础上,根据DOS的管理机制开发出防病毒软件PROTECT,经一年多的使用来看,效果良好.一、病毒的类型及防范机制现在流行的病毒种类千种以上,归结起来无外乎三类:引导型、文件型和系统内核型,这三种病毒通过不同途径侵入系统,下面对三种类型的病毒特征——加以分析,并给出设计这防病毒软件的方法.     

一个关系数据库设计工具的研究与实现

本文描述了一个关系数据库设计工具,着重讨论了联结陷阱的概念及检测方法,根据联系所具备的度和成员类等语义信息将E-R图转换为初始关系模式,最后讨论了关系模式综合优化问题。     

通用全屏幕编辑软件的设计与实现

本文利用Foxbase的数组功能和INKey（）函数的功能成功地编制了一个通用全屏幕编辑的软件，它集全屏幕编辑、显示于一体，来实现对数据库中的数据进行编辑。     

多系统通用界面软件的设计与实现

本文从如何提高软件可移植性问题出发，论述了开发多系统通用界面软件的应用需求，软件设计总体目标及其设计思想；程序的结构设计、软件设计和实现中的主要技术关键和难点，以及操作系统原命令语言应用机制和系统库作支撑环境的设计特点。文章最后阐述了人机界面标准化问题的重要性。     

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

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

汉字黑体字形衍生系统的设计与实现

计算机在电子印别、广告、包装等领域应用的迅速扩展迫切需要众多的高质量的曲线轮廓汉字库。本文介绍一种通过黑体笔划中心线抽取、笔划轮廓切割、笔划粗细变换、曲线拟合等处理技术来自动生成一族具有黑体风格、但笔划粗细不同的字形的方法。该方法具有低成本、高效率和高质量等特点。     

基于抽象语法树的软件度量工具的设计与实现

为了提高软件质量和控制，改善软件开发过程，文中提出了以抽象语法树为核心的软件度量工具(ASTMT)的体系结构图，介绍了度量工具的功能及特点，详细论述了工具中各个模块的设计与实现方法，着重讨论了抽象语法树的组成及其节点设计。介绍该工具在软件开发中的实际应用，进而验证了工具的实用性与有效性。     

程序理解中LL（1）抽象文法的设计与实现

采用自顶向下的LL（1）语法分析技术,设计一个程序静态分析器,对源文法进行高级概念化抽象。可以从不同层次不同方面来得到源程序的设计意图,实现语言平台的无关性。系统不仅优于传统的分析工具,而且具有良好的通用性。     

一种上下文无关语言语法树的存储模式及其应用

针对上下文无关语言的句子所对应的语法树G树的表示形式提出了一种关系数据库的存储形式.这种存储形式的优点是：表示形式一致;句子分析简单;语句执行速度快.这种存储形式作为一种上下文无关语言的中间语言的形式可以直接交付解释器（抽象机）执行.同时介绍基于这种表示形式的上下文无关句子的编辑器.编辑器是基于Web的交互式语法制导生成方式实现的.这种表示与存储形式被用于一种描述过程性知识的函数式语言.     

故障注入控制软件的设计与实现

在对某型故障注入系统硬件结构说明的基础上,给出了控制软件总体功能设计、故障注入核心控制流程和操作界面。控制软件可以实现两种故障通路模式、8种故障基本类型和3种故障持续状态的故障注入自动化控制。在软件控制下进行了故障注入试验,给出了典型故障注入过程信号波形,通过试验验证了软件算法的正确性和功能的适用性。     

基于结构比对的软件同源综合检测工具的设计与实现

文章对基于文本、Token和抽象语法树的同源性检测技术进行探讨,详细介绍了关于抽象语法树的同源性检测技术。同时,在对实际应用大量研究的基础上,文章着重介绍了源代码同源性检测系统的架构设计,以及引擎比对、比对结果分析和比对结果输出等主要功能模块,并对开发的系统进行了系统测试和分析,验证了算法的可行性。     

基于文本分析的知识获取系统设计与实现

知识获取一直以来都是构建专家系统的瓶颈问题.针对该问题,利用自然语言处理技术,设计并实现一个针对化学科技文献进行分析的知识获取系统,并对其关键技术进行分析.系统对输入文本进行分词及词性标注,在此基础上,使用Tregex在句法分析树上进行实体识别,同时利用依存关系进行搭配词识别.实验结果表明了该系统的有效性.     

基于遗传算法的自测系统设计与实现

自测是学生进行自我评价与指导的重要途径,有利于培养学生的自我管理意识,提升其自主学习能力.文章设计并实现了一个基于B/S的在线自测系统.它以知识点维护与试题库管理为基础,以自动组卷为核心,提供在线测试与评分、错题本维护等功能.知识点采用分级管理方式,并允许一道题目关联多个知识点.自动组卷采用遗传算法,以知识点覆盖率、试...     

机载软件自动测试系统的设计与实现

为了提高机载软件测试过程的效率,降低人为错误对测试结果的影响,实现了一种基于VxWorks的自动软件功能测试系统。通过这个系统,机载软件功能测试过程中诸如用例解析编译、加栽、运行、结果输出分析等步骤都可以实现自动执行。通过将其应用在VxWorks 5.5和VxWorks653上的实际测试项目,验证了该自动测试系统的可行性及正确性。