基于模型的软件测试综述

  总被引：27，自引：6，他引：21

随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,特别是基于UML的软件开发技术的逐渐普及,基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和接受。针对被测试软件的不同特征和不同测试目的,已经提出了多种测试模型。本文详细阐述了基于模型的软件测试研究现状和应用现… …   相似文献

颜炯王戟  陈火旺 《计算机科学》2004,31(2):184-187

基于场的人群运动仿真

下载全文  

人群仿真目前在工业、建筑、交通等多种领域中应用广泛.实现复杂场景中的人群运动实时仿真,效率是亟待解决的关键性问题,而提高仿真效率所必须面临的挑战主要有人群的渲染、位置及状态的实时更新和碰撞检测.提出一种基于场的方法来实现人群运动的实时仿真,通过构建导航场和密度场引导人群运动.导航… …   相似文献

赵欣欣  张勇  孔德慧  尹宝才 《中国图象图形学报》2013,18(3):344-350

局部时空域模型的核密度估计目标检测方法

下载全文  

针对非参数核密度估计在前期学习阶段信息冗余和计算量大,在后期背景更新阶段自适应性差需手动调整阈值和检测结果出现阴影等问题,提出一种基于局部时空域模型的核密度估计目标检测方法。在前期训练学习阶段采用K均值聚类选择关键帧,从而避免信息冗余和计算量大问题;在后期背景更新阶段,构建一种局… …   相似文献

王兴宝  刘纯平  费兰英  王朝晖  季怡 《中国图象图形学报》2012,17(7):813-820

针对XML流数据的复杂Twig Pattern查询处理

下载全文  总被引：2，自引：0，他引：2

XML流数据处理在研究领域引起了研究者的广泛兴趣.针对XML流数据的、具有嵌套AND/OR谓词的复杂Twig Pattern查询处理,提出一种新方法.为了提高查询处理性能,将所有Twig Pattern合并为一个共享前缀的查询树,其中,AND/OR谓词被表示为单独的抽象语法树,因… …   相似文献

杨卫东  王清明  施伯乐 《软件学报》2007,18(4):893-904

改进的Elman模型与递归反传控制神经网络

下载全文  总被引：31，自引：0，他引：31

在Elman网络的基础上提出了两种改进网络:输出-输入反馈Elman网络和输出-隐层反馈Elman网络模型,并以前者作为误差反传的通道,建立了递归反向传播控制神经网络模型.在Lyapunov稳定性意义下分别给出了改进网络的稳定性证明,得到了保证网络稳定收敛的最佳自适应学习速率.分… …   相似文献

时小虎  梁艳春  徐旭 《软件学报》2003,14(6):1110-1119

灰度级信息的目标边界精确周长估算

  

目的 针对图像目标边界不连续或具有模糊性导致的目标周长无法精确估算这一问题,结合边界跟踪,提出一种基于灰度级信息的目标边界精确周长估算方法。方法 该方法利用目标边界的灰度级信息,同时结合边界跟踪得到的内外边界来估计目标图像的边界周长,从而提高边界周长估计的精确性和鲁棒性。为了获得目标物体真实周长,实验采用人工合成图像。结果 实验应用所提方法和3种传统周长估算方法分别计算合成目标对象的周长,并与真实周长比较。为了验证所提方法的有效性和鲁棒性,实验中对目标对象的边界进行不同程度的加厚模糊化;并在边界加入噪声,使边界不连续。当边界变得复杂时,本文所提方法的优势得到极大体现。结论 实验结果表明,在边界模糊和边界不连续的情况下,本文所提的算法具有更好的适应性和稳定性。… …   相似文献

吴秦  周琪  梁久祯 《中国图象图形学报》2014,19(10):1449-1458

延迟约束的分布式演化网络监测模型

下载全文  总被引：7，自引：1，他引：7

在扩展网络或网络拓扑发生变化时,需要用最小的代价重新布置网络监测体系,以保证能收集到所有必需的网络信息.更新网络监测体系包括新增和重新配置收集节点两方面的代价,求解总代价最小的更新方案的问题是NP难的.提出了一种基于贪婪策略的近似算法,并分析了算法的时间复杂性和近似比.… …   相似文献

蔡志平  殷建平  刘芳  刘湘辉 《软件学报》2006,17(1):117-123

几何特性二元关系的直线匹配

  

目的 针对直线编组匹配方法数据处理量大、耗时长,且易受阈值选择变化影响,提出一种几何特性二元关系的直线匹配算法。方法 利用线段二元关系计算出参考线段对与待匹配线段对的局部相似度,并用阈值对局部相似度进行初步过滤,然后采用分步笛卡儿积运算、逐步过滤递推得到候选线段集,最后在计算出所有候选线段集的全局相似度的基础上,综合考虑局部相似度和全局相似度得到最终的匹配结果。结果 该算法具有良好的旋转、缩放和平移不变性,对直线的端点和长度变化不敏感,且阈值选择对匹配结果影响小,具有较好的鲁棒性,同时充分考虑直线方向问题,提高了匹配的准确率。结论 通过算法分析和实验结果分析,证明了该算法的合理性、高效性和可靠性。… …   相似文献

胡海霞  李钢 《中国图象图形学报》2014,19(9):1338-1348

并发反应式系统的组合模型检验与组合精化检验

下载全文  总被引：1，自引：2，他引：1

模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题.基于分而治之的思想进行组合模型检验和组合精化检验是应对这个问题的重要方法,它们利用系统的组合结构对问题进行分解,通过对各子系统性质的检验和综合推理导出整个系统的性质.在一个统一的框架下对组合模型… …   相似文献

文艳军  王戟  齐治昌 《软件学报》2007,18(6):1270-1281

基于AdaBoost和帧间特征的人数统计

下载全文  

视频监控中出入口人数统计的难点在于人流密集时对每个人体的准确分割。通过学习的方法得到人头检测的分类器,并在垂直拍摄图像中提取人头候选区域,以分离相互靠近的人体目标,进而根据人头的运动特征剔除静止误检区域,根据误检目标检测频率低及其响应位置不连续的特征剔除动态误检区域。最后提出一种… …   相似文献

文嘉俊  徐勇  战荫伟 《中国图象图形学报》2011,16(9):1729-1735

一种UML 软件架构性能预测方法及其自动化研究

下载全文  总被引：2，自引：0，他引：2

软件性能需求作为软件质量需求的重要组成部分,已受到人们极大的重视.而只在软件开发周期后期才重点关注软件性能需求的传统软件开发方法,将给开发者带来高风险和高成本等后果.如果能在软件开发周期的早期对软件系统性能进行预测,可以提前发现软件系统架构存在的性能瓶颈,并找出可能的优化方案,对… …   相似文献

李传煌  王伟明  施银燕 《软件学报》2013,24(7):1512-1528

优化的多幅眼底图像拼接方法

下载全文  总被引：1，自引：1，他引：0

针对多幅眼底图像拼接的问题,提出一种优化的多幅眼底图像拼接方法。该方法在基于特征的层次鲁棒估计方法完成两两图像初始配准的基础上,提出一种基于重叠区域的配准修正,得到两幅图像之间的良好配准;然后建立图像之间配准关系的无向图,并将配准图像中匹配特征的几何误差和相似度作为图中边的权值,… …   相似文献

魏丽芳  潘林  郑炳锟  余轮 《中国图象图形学报》2011,16(12):2175-2182

基于MBR的主方向关系一致性检验

下载全文  总被引：10，自引：0，他引：10

定性的空间推理在地理信息系统、人工智能、数据库及多媒体等领域中的应用越来越引起人们的注意.空间推理的基础理论以及相应算法也在不断地创新和发展.方向关系推理是空间推理研究领域的重要分支,利用区间代数及矩形代数理论,以物体的极小边界盒(minimum bounding rectang… …   相似文献

刘永山  郝忠孝 《软件学报》2006,17(5):976-982

负载相似节点分布解决传感器网络能量洞问题

下载全文  

基于多跳路由的传感器网络,靠近sink的节点由于要转发更多的数据,其能量消耗较快.能量消耗的不平衡导致了sink周围产生能量洞(energy hole),造成能量浪费,远离sink的节点还有大量的能量,但产生的数据不能传送到sink.研究了传感器网络的能量洞问题.在网络的连续空间… …   相似文献

李巧勤  刘明  杨梅  陈贵海 《软件学报》2011,22(3):451-465

图像特征匹配中一种高效的鲁棒估计算法

下载全文  

在图像特征匹配过程中,误匹配不可避免。提出一种新的基于拓扑约束（顺序约束和仿射不变约束）的外点去除算法,用于快速地去除图像粗匹配结果中的误配点。该算法对随机采样集进行拓扑过滤,只对满足拓扑约束的采样集进行计算。实验表明,该算法相比于传统的鲁棒估计算法RANSAC和改进的PROSA… …   相似文献

何周灿  王庆  杨恒 《中国图象图形学报》2011,16(1):84-89

逆序解析DOM树及网页正文信息提取

  

一般地,从HTML网页中提取正文信息,应先将HTML、网页解析成DOM树,然后遍历DOM树,依据目标信息在DOM树中的分布规律,将信息从DOM树中提取。这种传统方法将解析DOM树和从DOM树中提取信息看成两个独立的过程,制约了提取信息的速度。事实上,在准确提取目标信息的过程中,独… …   相似文献

张瑞雪  宋明秋  公衍磊 《计算机科学》2011,38(4):213-215,225

网格变形综述

下载全文  总被引：1，自引：1，他引：1

网格变形作为一种几何模型交互编辑技术在几何建模和计算机动画中具有重要价值。近年来,保细节的网格变形特别是微分域网格变形一直得到国内外研究人员的高度关注。从骨骼变形、曲面变形、空间变形3个方面,结合近年来网格变形领域的最新研究进展,通过对各种典型的网格变形算法的算法思想、特点、局限… …   相似文献

董洪伟 《中国图象图形学报》2011,16(12):2095-2104

城市道路网几何结构模式的自动识别方法

  

在路网结构几何形状分析的基础上,提出了一种基于模式识别的方法对城市路网中的格网结构模式进行自动识别.该方法从方向一致性、形状相似性出发对路网数据中的格网结构进行识别,并在区域增长算子的基础上对识别出的相邻的格网进行聚合.实验结果表明,该方法能够有效地对城市路网中的格网结构进行自动… …   相似文献

杨必胜  栾学晨 《中国图象图形学报》2009,14(7):1251-1255

椭圆曲线密码中一种多标量乘算法

下载全文  总被引：2，自引：0，他引：2

标量乘和多标量乘是实现椭圆曲线密码体制的核心运算,其运算速度从整体上决定了椭圆曲线密码体制的实现效率.提出了一种多标量乘算法,该算法的基本思想是,将标量用带符号的整数阶乘展开式表示,并结合固定基窗口标量乘算法,使得实现多标量乘算法只需做点加运算即可.这不仅突破了传统求多标量乘算法… …   相似文献

陈厚友  马传贵 《软件学报》2011,22(4):782-788

Ad Hoc网络中基于方向性天线的分布式拓扑控制算法

  总被引：4，自引：0，他引：4

提出了一种基于方向性天线的分布式拓扑控制算法,可以同时通过调整网络中各节点的发射功率和改变节点天线的方向来对网络的拓扑进行控制,每个节点逐渐增大它的发射功率直到该节点在其方向性天线的每个扇区内找到足够数量的邻节点为止.在这种基于方向性天线的分布式拓扑控制算法的基础上又使用了两种不… …   相似文献

贺鹏  李建东  陈彦辉  陈亮 《软件学报》2007,18(6):1308-1318