用测试的方法确定计算机自动控制网络的结构

1

作者 刘晓秋 《计算机应用》 CSCD 北大核心 2008年第5期1123-1124,1127,共3页

计算机自动控制网络的建立不同于互联网和局域网,在计算机自动控制网络的结构中,底层设备可能是计算机,也可能是智能模块。如何使这些设备在这种网络工程中构成一个整体尤为关键,唯一正确的方法是网络施工前经过有效的网络测试,在测试... 计算机自动控制网络的建立不同于互联网和局域网,在计算机自动控制网络的结构中,底层设备可能是计算机,也可能是智能模块。如何使这些设备在这种网络工程中构成一个整体尤为关键,唯一正确的方法是网络施工前经过有效的网络测试,在测试中保证主要部件和通信的同一性是这种方法的关键。 展开更多

关键词 异地模式 本地模式 网络测试

在线阅读 下载PDF 职称材料

一种融入小生境技术的遗传禁忌算法 被引量：2

2

作者 李智勇 陈友文 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2010年第4期81-84,共4页

针对遗传算法在全局优化问题中容易出现早熟和收敛速度慢,禁忌搜索强烈依赖于初始解等问题,根据遗传算法和禁忌搜索算法自身的特点,分析两者的优势和不足,提出了一种融入小生境技术的遗传禁忌算法.该算法采用融入了小生境技术的遗传算... 针对遗传算法在全局优化问题中容易出现早熟和收敛速度慢,禁忌搜索强烈依赖于初始解等问题,根据遗传算法和禁忌搜索算法自身的特点,分析两者的优势和不足,提出了一种融入小生境技术的遗传禁忌算法.该算法采用融入了小生境技术的遗传算法作全局搜索,用禁忌搜索算法作局部搜索,可以加快收敛速度,同时可以抑制早熟现象,避免过早收敛到局部最优.分析和实验结果表明,该算法能很好地抑制早熟收敛,同时在计算速度和计算结果方面都有改进,是一种快速有效的优化算法. 展开更多

关键词 遗传算法 禁忌搜索 小生境 全局优化

在线阅读 下载PDF 职称材料

程序不变量检测技术 被引量：3

3

作者 刘树锟 阳小华 《计算机工程与科学》 CSCD 北大核心 2011年第3期108-112,共5页

基于合约的程序设计是提高软件质量的一种重要技术,已经得到了很大的发展。合约描述了程序内部的基本属性、程序良性运行的保证条件以及运行后的期望结果。作为合约的一种表达形式,程序不变量一般包含类不变量、前置条件和后置条件。程... 基于合约的程序设计是提高软件质量的一种重要技术,已经得到了很大的发展。合约描述了程序内部的基本属性、程序良性运行的保证条件以及运行后的期望结果。作为合约的一种表达形式,程序不变量一般包含类不变量、前置条件和后置条件。程序不变量是程序中隐含的属性,它可以应用于程序验证、软件测试技术、逆向工程、程序质量保证等领域。本文结合当前主流的程序不变量研究的相关成果和基于合约的程序不变量程序设计方法,分别从源程序编配技术、测试用例生成技术、程序运行轨迹收集技术和程序不变量分析技术四个方面,对程序不变量挖掘的关键方法和原理进行了详细的剖析。 展开更多

关键词 程序不变量 检测技术 程序编配 运行追踪

在线阅读 下载PDF 职称材料

非函数依赖程序不变量动态检测技术研究 被引量：1

4

作者 刘树锟 陈继锋 阳小华 《计算机工程与应用》 CSCD 北大核心 2008年第35期158-162,共5页

讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。在该模型中,针对非函数依赖程序不变量动态生成理论、方法和技术进行了阐述。基于数据库的理论提出了一种新的非函数依赖程序不变量动态检测技术,针对各种常见... 讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。在该模型中,针对非函数依赖程序不变量动态生成理论、方法和技术进行了阐述。基于数据库的理论提出了一种新的非函数依赖程序不变量动态检测技术,针对各种常见非函数依赖程序不变量类型建立了一系列检测方法。此不变量检测技术通过数据库中提供的SQL条件查询功能,灵活地检测各种常见类型的非函数依赖程序不变量,并且可以根据用户的实际需要随时指定新的程序不变量查询条件。该方法和Daikon等现有的程序不变量检测工具检测方法比较具有明显的特色和优势:第一,基于关系数据库技术,具有良好的可扩展性;第二,使用SQL条件查询功能实现非函数依赖程序不变量检测,检测方法具有很好的灵活性。 展开更多

关键词 程序不变量 非函数依赖 动态检测 软件质量 条件查询

在线阅读 下载PDF 职称材料

基于APIT的三维移动代理路由算法研究 被引量：6

5

作者 徐云剑 郭艾寅 《计算机应用研究》 CSCD 北大核心 2010年第6期2246-2248,2253,共4页

针对现有的移动代理路由算法都是基于二维环境的不足,提出了一种能应用于三维环境中的移动代理路由算法。首先,使用APIT定位法来获取三维空间中的传感器坐标;在获取传感器节点坐标后,引入蚁群算法对移动代理访问传感器节点的路径进行优... 针对现有的移动代理路由算法都是基于二维环境的不足,提出了一种能应用于三维环境中的移动代理路由算法。首先,使用APIT定位法来获取三维空间中的传感器坐标;在获取传感器节点坐标后,引入蚁群算法对移动代理访问传感器节点的路径进行优化,由此,得到了一种全新的基于APIT的三维移动代理路由算法。仿真实验表明,新移动代理路由算法能较好地适应无线传感器网络的实际应用环境,且路径优化效果明显。 展开更多

关键词 无线传感器网络 移动代理 APIT节点定位法 蚁群算法

在线阅读 下载PDF 职称材料

融合小生境遗传禁忌的多目标网格调度研究 被引量：2

6

作者 陈友文 李智勇 任长安 《计算机工程与应用》 CSCD 北大核心 2011年第14期62-65,156,共5页

针对在动态、复杂的网格系统中,资源的失效非常频繁,影响网格计算的服务质量和效率的问题,提出了基于融合小生境的遗传禁忌的多目标网格任务调度算法,将任务生存性和任务完成时间(Makespan)结合起来,给出一个可调节的多目标集成效用函数... 针对在动态、复杂的网格系统中,资源的失效非常频繁,影响网格计算的服务质量和效率的问题,提出了基于融合小生境的遗传禁忌的多目标网格任务调度算法,将任务生存性和任务完成时间(Makespan)结合起来,给出一个可调节的多目标集成效用函数,实现了基于融合小生境的遗传禁忌的多目标启发式调度算法。模拟实验结果表明,该算法能够有效地平衡任务生存性和Makespan两个目标,更适合开放复杂的网格计算环境。 展开更多

关键词 遗传算法 禁忌搜索算法 融合 多目标 网格 任务调度

在线阅读 下载PDF 职称材料

Web服务组合运行时的容错处理 被引量：2

7

作者 张立敏 高春鸣 蔡美玲 《计算机工程与应用》 CSCD 北大核心 2008年第3期143-147,191,共6页

基于WebJet服务组合组装与运行平台,设计了一个基于反馈容错机制、支持Web服务组合运行时自动容错处理的基本框架。针对服务组合运行时的时间QoS质量和用户SLA计算容错选择因子,运用聚类算法确定容错边界值,提出容错处理的一般映射方法... 基于WebJet服务组合组装与运行平台,设计了一个基于反馈容错机制、支持Web服务组合运行时自动容错处理的基本框架。针对服务组合运行时的时间QoS质量和用户SLA计算容错选择因子,运用聚类算法确定容错边界值,提出容错处理的一般映射方法,并给出了故障处理及流程重构区域计算方法。系统支持流程在线自恢复,适应复杂的网络生态环境,为流程执行时业务功能与服务质量的保障提供了一种有效的机制。 展开更多

关键词 服务组合 容错选择因子 在线自恢复 聚类算法

在线阅读 下载PDF 职称材料

程序断言动态检测工具的设计与实现 被引量：1

8

作者 刘树锟 阳小华 +1 位作者 陈继锋 彭浩 《计算机应用研究》 CSCD 北大核心 2009年第11期4140-4142,共3页

重点研究了断言的动态检测方法与检测过程,并在关系数据库理论的基础上实现了交互式的断言动态检测工具,即TDDPA。该工具具有动态检测程序断言等功能,并通过将运行轨迹收集到数据库中来实现检测到的各种断言形式分析,说明了TDDPA总体设... 重点研究了断言的动态检测方法与检测过程,并在关系数据库理论的基础上实现了交互式的断言动态检测工具,即TDDPA。该工具具有动态检测程序断言等功能,并通过将运行轨迹收集到数据库中来实现检测到的各种断言形式分析,说明了TDDPA总体设计结构及实现过程。结果证明TDDPA能更方便有效地发现程序中所蕴涵的断言。 展开更多

关键词 程序断言 动态检测 软件可靠性 条件查询

在线阅读 下载PDF 职称材料

基于树型编码遗传算法的Web服务组合 被引量：1

9

作者 蔡美玲 陈荣平 陈明 《计算机应用与软件》 CSCD 北大核心 2008年第11期60-62,共3页

提出一种基于QoS的Web服务组合的遗传算法(TGA)。该算法采用树型编码,携带流程的静态模型结构信息,可实现染色体的自动编解码和存储适应值计算的中间结果。通过仿真实验,验证了在同等优化效果下,TGA比一维编码遗传算法获得更快的速度。

关键词 WEB服务选择 QOS 遗传算法 树型编码

在线阅读 下载PDF 职称材料

面向路径的测试数据自动生成工具的设计 被引量：1

10

作者 陈继锋 刘树锟 王志海 《计算机工程与应用》 CSCD 北大核心 2010年第15期53-56,共4页

设计了一个通用的基于控制流和数据流的结构测试数据自动生成的工具。该工具根据控制流和数据流测试中所采用的覆盖标准来选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。同时工具采用Fibonacci法优化选取路径... 设计了一个通用的基于控制流和数据流的结构测试数据自动生成的工具。该工具根据控制流和数据流测试中所采用的覆盖标准来选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。同时工具采用Fibonacci法优化选取路径,对不可达路径进行处理,并对测试数据的分支覆盖率、DCP覆盖率等进行了统计。实验结果表明该工具是可行的。 展开更多

关键词 路径 测试数据自动生成 覆盖率

在线阅读 下载PDF 职称材料

Java建模语言在程序不变量动态发现过程中的应用

11

作者 刘树锟 阳小华 刘杰 《计算机工程与设计》 CSCD 北大核心 2007年第18期4536-4538,4545,共4页

通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。主要描述基于契约的似然程序不变量发现的基本理论模型,并结合Java建模语言进一步阐明程序断言动态生成技术及其现在产... 通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。主要描述基于契约的似然程序不变量发现的基本理论模型,并结合Java建模语言进一步阐明程序断言动态生成技术及其现在产生的重点问题,针对提出的问题给出了相应的解决方法。 展开更多

关键词 程序不变量 Java建模语言 重载 行为接口规范语言 契约 程序断言

在线阅读 下载PDF 职称材料

优化OBDD性能的变量量化调度算法研究

12

作者 彭浩 王雅琳 刘树锟 《计算机应用与软件》 CSCD 2010年第3期120-123,共4页

在目前VLSI设计流程中,采用模型检测技术来实现形式化验证对可靠的硬件设计具有重要的意义。在以有序二值决策图(OBDD)为基础的符号综合和验证过程中,需要对有限状态机各传输关系合取运算的先后顺序进行量化调度,从而降低求解过程中各临... 在目前VLSI设计流程中,采用模型检测技术来实现形式化验证对可靠的硬件设计具有重要的意义。在以有序二值决策图(OBDD)为基础的符号综合和验证过程中,需要对有限状态机各传输关系合取运算的先后顺序进行量化调度,从而降低求解过程中各临时OBDD所消耗的内存资源,也就降低了对某些验证的状态空间爆炸的风险。调度策略通过对各传输关系与量化变量构成的关联矩阵的分析,以不断降低变量的平均生存量化跨度为目标,提出了能减少变量参与合取运算次数的MSTA(Minimum Subsist-ence Traversal Algorithm)过程、关联矩阵的连接子图分解策略和考虑关联矩阵中前后行关联程度的串接过程。实验表明了此合取量化调度过程的有效性和鲁棒性。 展开更多

关键词 关联矩阵 量化调度 最小生存量化跨度 映像计算

在线阅读 下载PDF 职称材料

一种满足可靠度期望的网构软件优化方法

13

作者 马华 张红宇 《计算机应用研究》 CSCD 北大核心 2011年第1期163-166,共4页

Internet环境下网构软件的开发是一个构件组装过程,传统的软件可靠性技术在其应用过程中面临着新的挑战。建立了网构软件的抽象模型和物理模型,介绍了可靠性的形式化定义及五种构件组装结构的可靠性度量方法,提出了一种满足可靠度期望... Internet环境下网构软件的开发是一个构件组装过程,传统的软件可靠性技术在其应用过程中面临着新的挑战。建立了网构软件的抽象模型和物理模型,介绍了可靠性的形式化定义及五种构件组装结构的可靠性度量方法,提出了一种满足可靠度期望的网构软件优化方法。该方法将复杂的网构软件结构进行串行化,以抽象构件、链路的可靠度期望阈值过滤无效分支,以网构软件的可靠性期望筛选较优路径,应用一种改进的蚁群优化算法求解,从而实现了网构软件抽象模型与物理模型的映射。实验仿真及分析表明,该方法适用于解决开放式环境下网构软件的可靠性优化问题,相对于传统方法,它具备较好的执行性能。 展开更多

关键词 网构软件 可靠度期望 蚁群优化 构件组装 可信计算

在线阅读 下载PDF 职称材料

结合可信度模糊评价与动态聚类的构件选择

14

作者 马华 张红宇 《计算机工程与应用》 CSCD 北大核心 2011年第21期73-76,共4页

开放、动态的Internet环境下,网构软件面临可信性的重大挑战。运用模糊理论,提出了一种满足最贴近用户可信度期望的构件选择方法。该方法中,定义了网构软件环境下构件的6种可信属性,介绍了一种多因素的构件可信度模糊综合评价方法,以此... 开放、动态的Internet环境下,网构软件面临可信性的重大挑战。运用模糊理论,提出了一种满足最贴近用户可信度期望的构件选择方法。该方法中,定义了网构软件环境下构件的6种可信属性,介绍了一种多因素的构件可信度模糊综合评价方法,以此为基础,建立了一种满足用户可信度期望的网构软件模型,为实现候选构件与抽象构件的映射,应用基于模糊等价关系的动态聚类实现可信构件的选择。结合案例说明了方法的有效性。 展开更多

关键词 网构软件 可信计算 构件选择 模糊综合评价 动态聚类

在线阅读 下载PDF 职称材料