一种基于图深度优先搜索的基本路径集自动生成优化算法

本文介绍了一种结合边访问标志集合使用图深度优先搜索方法遍历控制流程图,生成最小长度测试序列基本路径集合的优化算法.以矩阵工具为算法提供输入,利用回滚机制避免程序控制流中环造成的不收敛,提出引入结点复用路径最小长度记忆机制对结果进行优化,获得最小长度测试序列的优化基本路径集合作为算法输出.     

基于混沌退火粒子群优化算法的路径测试数据生成

为实现指定路径的软件测试数据自动生成,提出了一种基于粒子群优化(PSO)算法的演化测试方法.利用分支函数插装和强制路径执行策略,得到用于优化搜索的路径适应值.通过引入混沌搜索、模拟退火和早熟收敛判断机制,克服了标准PSO算法易陷入局部最优而无法找到测试数据的缺陷.三角形判断程序的测试数据自动生成实验表明:在最大迭代次数Tmax为500时,混沌退火粒子群优化(CAPSO)算法的命中概率为99%,标准PSO的命中概率为95%;在Tmax为2 000时,CAPSO算法的命中概率为100%,标准PSO算法的命中概率为95%左右;继续增大Tmax不能使标准PSO算法的命中概率提高,而CAPSO算法总能摆脱局部极值找到满足要求的测试数据.     

哈夫曼树的图形化算法设计

哈夫曼树是一类带权路径长度最小的树,由于它的非线性结构导致其很难实现图形化.为了排版需要以及更直观地了解哈夫曼树的性征,希望通过一种算法画出易于观察的哈夫曼树,算法建立在传统哈夫曼编码算法基础上,利用哈夫曼编码的工作空间,建立与哈夫曼编码相对应的哈夫曼树,这种树具有结点排列有致、层次分明、结点及结点间路径永不重合的特点.     

新时代宣传工作科学化的基本涵义、逻辑理路及实现路径

科学化是宣传工作的重要命题，也是推动宣传工作不断强起来的基本思路。作为党的优良传统和政治优势，新时期的宣传工作被摆在全局工作的重要位置。随着宣传工作科学化水平的提高，要从理论、组织、制度和实践四个维度整体把握宣传工作科学化的基本涵义，揭示其发展的理论逻辑、历史逻辑和现实逻辑，在充分认识和把握规律的基础上，持续遵循规律拓展宣传工作科学化的有效路径。     

白盒测试之基本路径测试技术探析

结合教学过程中的内容,分析了白盒测试技术中覆盖率较强的测试技术——基本路径测试方法的相关概念,阐述了利用基本路径测试设计测试用例的过程,最后通过实例说明基本路径测试方法的使用.     

图形化本体建模工具GOM的设计与实现

将本体表示语言OWL Lite中相关词条图形化, 以图形化结构表示本体模型, 设计并实现了一种图形化本体建模工具GOM. GOM以图形化结构表示本体, 能够把图形化结构的本体模型转换成OWL Lite语言表示形式; 也可读取OWL Lite表示的本体, 生成本体模型的图形化结构. GOM实现了图形化结构的本体模型和OWL Lite表示的本体模型间的相互转换, 提高了本体模型的可读性, 降低了本体建模的工作强度.     

机构系统运动方案自动化设计原理与实现

在分析了现有的机构系统运动方案机构组合方法的研究现状基础上，提出了采用输入、输出运动行为和输入输出约束关系三者表达机构系统的运动行为知识，并给出机构系统运动行为分解的树状结构．针对机构系统具有多输出的特点，利用机构行为匹配和属性传播方法，推出其行为表示的机构组合方案，并通过黑板填写其中间运动行为和输入输出约束关系．将黑板中内容作为输入运动，使其他工艺动作的行为属性向黑板中属性内容传播，从而实现了计算机辅助设计的机构系统运动方案的自动化过程．为了避免机构组合方法中搜索深度过深、容易产生方案组合爆炸的问题，采用有界深度优先搜索策略的深度约束限制搜索树的展开层数．最后通过实例验证了本文方法的可行性和求解效率．     

基于改进Dijkstra算法的最短路径搜索仿真

提出基于Dijkstra算法的最短路径搜索改进算法,通过设置高效的优先目标搜索区域,减少大量无意义运算,达到提高搜索效率的目的.以淄博市交通道路图(局部)为例建立系统仿真模型,分别以两点间距离系数和拥堵系数作为权值进行系统仿真,得出了基于不同权值的最短路径求解结果,并对算法改进前后测试数据进行对比分析.结果表明,基于改进Dijkstra算法实际运行时间均值仅占Dijkstra算法运行时间均值的23%以下.     

基于Java语言的面向路径测试用例自动生成框架设计

软件测试是保证软件质量的重要手段,测试自动化是提高测试效率和测试质量的有效途径,测试用例自动生成是测试自动化的重要组成部分．为提高单元测试自动化程度,根据目前较先进的迭代松弛法,提出一个基于Java语言的面向路径测试用例自动生成框架,对该框架的主要思想、核心算法、主要模块及工作流程进行了阐述．该框架可以很好的为给定路径自动生成测试用例．     

简单图中回路问题的求解

回路是图论中一个重要的概念 ,在软件设计中也有广泛的应用。文章对简单图中回路的搜索问题进行了详细的讨论 ,在原有针对结点的遍历算法基础上构造出适用于路径搜索的算法 ,并着重分析了在无向图中简化搜索路径、提高算法效率的问题 ,使之成为更具一般性的回路搜索算法     

图形LOTOS和Petri同模型在PC机上的实现

在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具．用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网．该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ．根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单系统，用这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ模型；根据Ｐｅｔｒｉ网的表示，模块ＲＥＣＯＶＥＲ提供了从ＧＬＯＴＯＳ自动转换到Ｐｅｔｒｉ网的功能．     

基于贪婪算法的回归测试用例集生成方法

在贪婪算法的基础上,通过测试需求的辅助,提出一种算法.此算法删除了地位低的测试需求,并且不断缩减测试用例的选择范围,以提高算法的效率.     

一种边界快速跟踪算法的软件实现

对边界跟踪算法提出一种有效快速的软件实现方法,并用实例进行说明。     

工程数据库管理系统及其图形数据库的设计与实现

本文论述了工程数据库管理系统(EDBMS)的总体结构、功能及其实现环境.该系统采用关系和网状混合的数据模型,实现了图形数据和非图形数据的统一管理,并具备版本管理及控制、知识库管理等功能.     

RSA密码算法的安全及有效实现

 RSA密码算法的实现电路易受到诸如能量分析、时间分析等旁门攻击。综述了RSA密码算法中模幂运算的主要攻击方法及其防御措施。针对模幂运算的软件实现和硬件实现,提出了基于随机概率的软件实现防御措施和基于模幂指数三进制表示的硬件实现防御措施。两种防御措施较之前的防御措施在安全性和效率方面都有显著的提高。两种防御措施具有通用性,可移植到ECC中的标量乘法运算中去。     

PGIS的设计与实现

文章阐述了我们自行开发的ＰＧＩＳ的主要设计思想,详细介绍了系统功能和软件结构以及数据的类型和组织,并给出了信息查询检索模声的具体实现过程。     

图形化无功优化软件的开发

介绍了一个图形化电力系统无功优化软件的建模系统、主要功能特点，并对其数学模型和算法过程进行了阐述，实例计算表明该软件是实用的。     

纺织资源管理系统软件测试的设计与实现

文章介绍了软件测试的基本原则,按照软件测试的基本理论和方法,针对纺织资源管理系统的结构特点,制定了该系统的测试策略,并采用边界测试、功能测试和回归测试等测试方法对系统进行了全面的测试,取得了显著的测试效果。     

一种分布式软件自动化测试工具的设计与实现

随着软件规模的扩大和复杂度的增加,软件测试变得越来越困难。软件自动化测试可以减少测试开销,同时增加在有限时间内的测试。文中就此提出了一种多平台、多语言的、基于分布式计算集群软件的自动化测试工具,并对工具的设计和实现过程进行了详细地描述。