一个面向对象软件度量自动生成工具

面向对象软件度量技术是面向对象开发方法中不可缺少的环。但是以往适用于过程性和结构化软件开发的传统度量方式是不适用于面向对象程序设计的。本文分析了面向对象程序设计语言的特点及其对软件度量的影响,并介绍了一个具体的支持Ｃ＋＋软件度量的自动生成工具。     

形文件自动生成技术

形是AutoCAD软件定义的一类特殊图形,是解决特殊符号及汉字输入的基本手段。但由于它必须用特定的编码定义,所以形的生成并不容易。本文在仔细研究形的编码后,提出了形的自动编码方法,并对其算法原理和关键技术作了详细说明。     

一个语义网站自动生成系统的设计和实现

本文以<涪陵区、乡农情信息系统>为例,介绍了一个语义网站自动生成系统的设计思路和实现技术.     

面向智能主体的数值分析软件自动生成系统

本文提出了一个面向智能主体、支持面向对象程序设计的数值分析软件自动生成系统。该系统以系统自组织理论为指导,提供了一套专职于软件模块自适应组织的智能体,以使模块相关的描述性知识、过程性知识有机结合在智能体统一框架之中,模块在宏观上具备自组织能力,系统由此实现软件快速自动生成的目的。以此为基础,系统进一步提供了数值分析软件模块自组织方式,包括侍者方式、继续方式。     

面向安全苛求软件的测试用例自动生成*

测试用例的自动生成是验证安全苛求软件最关键的技术问题,然而目前的研究并没有充分考虑安全苛求软件的安全性需求,为此提出一种应用安全覆盖准则的安全苛求软件的测试用例自动生成策略,将该策略应用于铁路车站计算机连锁软件,并与全节点覆盖准则进行了比较。结果表明该策略对关键变迁有更高的安全性保证。     

基于语义分解的人机任务快速规划及仿真自动生成方法

人机任务仿真规划是人机系统应用的基础性工作,也是任务仿真制作过程中最具专 业性和复杂性的工作之一,研究人机任务仿真快速规划方法对提高人机系统的应用水平具有重要 的意义。针对现有人机系统中人机任务仿真交互量大、仿真进程不能自动生成以及仿真结果重用 性差等问题,提出一种基于语义分解的人机任务快速规划及仿真自动生成方法。首先,采用分层 模式,对人机任务的自然语义进行逐层分解和细化,直至最终可由计算机系统直接实现和执行的 动作来描述为止;然后,引入任务路径、轨迹和进程等概念,对复杂人机任务过程进行结构化定 义和表示,提出相应的图形化人机任务过程图形化规划方法,并在此基础上建立人机任务仿真自 动生成方法。开发支持这种方法的程序原型,并以飞机装配中卡板打开操作为例,对这种方法进 行测试和验证。     

电路图的自动生成技术

本文提出一种从版图自动生成电路逻辑图的方法。此方法主要是从MOS IC版图中提取出电路的逻辑关系,而后根据这些逻辑关系由计算机自动生成电路的逻辑图,供版图的逻辑验证之用。此方法应用了排队技术和布局优化技术等,使生成的电路逻辑图符合一般的要求,节省了面积。它能支持自顶向下的设计过程,已用FORTRAN语言程序化,并已在不同的MOS IC电路绘图中得到应用。     

一个自动生成表格的FoxBASE程序

在用dBASE Ⅲ或FoxBASE编制各种应用软件时,经常要打印各种表格。而编制和调试这种打印程序十分费时,编制好的程序不能适应表格的变化。目前虽有一些自动生成表格或自动生成程序的软件,但这些软件一般都是单独的系统,在应用软件中不能灵活地使用,生成后的表     

面向Web系统开发的代码自动生成技术研究

代码自动生成技术是提高软件开发效率的有效方式,本文提出一种实现SSH（Struts-Spring-Hibernate）框架集成源代码的自动生成的技术方案。该方案通过构建图形化的E-R（Entity-Rela-tion）图编辑器,实现E-R图绘制;然后基于该E-R图实现不同类型数据库源文件、以及SSH框架集成源代码、持久层代码自动生成,最终形成一个完整的J2EE项目开发环境。     

自动产生一个图书馆的快速原型

AutoPA1.0是一套基于形式化方法的应用程序.它是一个基于需求规范而自动生成软件快速原型的Java代码的软件, 有着坚实、可靠的理论基础.给出一个图书馆管理系统的例子, 阐述如何用UML建立需求模型,然后用AutoPA1.0生成该需求模型对应的软件快速原型的Java代码. 采用的需求模型主要包括一个用况模型和一个概念类模型, 分别用UML中的用况图和类图描述.生成的软件快速原型将包括用况图中每个用例的执行,用一个系统数据库来描述当前系统状态, 该系统数据库保存了当前系统中存在的所有对象以及对象之间的关系.     

计算机自动组卷算法分析

本文分析了计算机自动组卷算法的约束满意特性，并结合一个实际的题库管理系统的设计与实现，从策略上讨论了如何解决自动组卷算法中的约束满意问题。     

一种自动生成软件测试用例的新方法

泛欧集群通信系统是一种为无线用户提供语音和数据服务的公共安全的大型集群通信系统。作为其核心组成部分,区域控制器在广泛区域内提供无线通信和电话互连互通的呼叫处理服务,其自身也是一个大型软件系统。提出区域控制器软件基于Python方法的软件自动化测试用例生成一种创造性方法。该方法不仅能自动创建测试用例,而且支持将创建的测试用例批量上传到存储器及支持批量运行。测试实践证明,该方法可以大大减少软件测试人员的人工干预,而且较大程度地提高测试效率。设计实现了最大化脚本重用和最小化测试脚本维护修改成本,值得在大型软件系统的大批量自动化测试环境中推广和部署。     

ELNF演算的解释技术

ＥＬＮＦ演算是我们在ＬＮＦ演算的基础上扩充逻辑程序设计能力而得到的一种函数／逻辑演算系统，它构成了作者设计的函数／逻辑语言ＲＦＵＮＬＯＧ的基础．本文介绍ＥＬＮＦ演算的解释实现技术，包括数据结构、系统结构以及各个模块的设计思想．最后给出了在此解释系统下，几个典型程序的运行时间．     

一种琥珀体汉字字形的自动生成方法

本文介绍了一种以圆头体字形特征为基础，使用覆盖规则自动生成一种琥珀体曲线轮廓汉字字形的方法．     

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

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

Eiffel语言的语义

本文采用类ＶＤＭ的指称语义技术为Ｅｉｆｆｅｌ（１９８８）语言建立了形式语义模型．该模型首先为Ｅｉｆｆｅｌ语言定义了对象模型和两个语义环境（动态和静态环境）,然后讨论Ｅｉｆｆｅｌ例程的语义．为了描述Ｅｉｆｆｅｌ的意外处理,我们采用了ＶＤＭ的“出口”机制．     

多层印刷线路板测试点自动生成算法

根据国内ＰＣＢ制造行业的现状,为了解决人工确定测试点效率低助理铁出错的问题,文中提出了一种多层印刷线路板测试点自动生成的算法。该算法首先求取ＰＣＢ的连通网络,在连通网络的基础上按照测试要求自动提取测试点集,经厂家使用验证,具有良好的效果。     

印刷线路板测试点自动生成算法研究

根据我国ＰＣＢ制造业的特点，提出了一种ＰＣＢ测试点自动生成的算法，该算法经厂家实用验证，效果良好，具有手工标注测试点无法比拟的优点．     

化工工艺CAD数据库设计

本文对化工工艺辅助设计中的数据库及其管理系统的功能，构成和发展趋势作了较为全面的论述，并在此基础上提出化工工艺ＣＡＤ数据库及其管理系统的设计原则，方法，同时开发了此数据库及其管理系统。