【摘 要】
：
提出一种带OCL约束的状态图测试线索的自动生成方法。该方法自动解析类图和带OCL约束的状态图的XML模型文件,获取相应的状态节点邻接表,再结合状态对—事件约束集合生成带OCL约束的测试线索。实例研究表明,通过OCL约束冲突判断可避免不可行测试线索的生成,减少测试用例数目,达到降低测试成本的目的。实验结果证明了该方法的可行性和有效性。
论文部分内容阅读
提出一种带OCL约束的状态图测试线索的自动生成方法。该方法自动解析类图和带OCL约束的状态图的XML模型文件,获取相应的状态节点邻接表,再结合状态对—事件约束集合生成带OCL约束的测试线索。实例研究表明,通过OCL约束冲突判断可避免不可行测试线索的生成,减少测试用例数目,达到降低测试成本的目的。实验结果证明了该方法的可行性和有效性。
其他文献
特色化发展是社会发展与高校自身改革的需要,也是高校健康持续发展的关键所在。广西高校要在残酷的竞争中脱颖而出,必须走特色化发展之路。本文试图从内外两个层面分析影响广
在广西完善政法干警招录培养体制的过程中，作为公安法学教育重要组成部分的民法课程教学．只有实现教学方法与教学内容的协调发展与创新，才能适应新形势下培养人民警察职业核心能
学习适应性本质上是一种生活适应能力，是影响学生学业成就和心理健康发展的重要因素。本研究采用问卷调查法对广西612名师专生的学习适应性状况进行调查，结果表明：师专生学习适
针对传统算法无法获得互补问题的多个最优解的困难,提出了求解互补问题的和声搜索算法。利用NCP函数,将互补问题转换为一个非光滑方程组问题,用极大熵函数对其进行光滑化处理,进而把互补问题的求解转换为无约束优化,利用和声搜索算法对其进行求解。该算法对目标函数的解析性质没有要求且容易实现,数值结果表明了该方法在求解互补问题中的有效性。
针对越野环境下的地图创建问题,提出了一种自动创建自主车导航地图的方法。首先将车载摄像机获得的图像投影到车体坐标系,然后结合车辆行驶轨迹信息采用基于标记的分水岭算法判定可通行区域,最后融合局部俯视图信息生成全局一致地图,并在实时导航需求下对地图进行优化得到最终的导航地图。自主车实车实验结果表明,该方法生成的地图满足自主车实时导航需求,提高了路径规划效率。
针对传感器网络节点的分布式结构,给出了基于特征融合的多节点联合调制识别方法。首先利用似然比推导了特征融合的联合识别准则;然后依据准则给出了多节点调制识别的仿真性能;最后和基于决策融合的多节点调制识别方法进行了比较。仿真结果表明,在没有过多增加网络通信负载的情况下,特征融合相比决策融合提高了识别性能。
针对单一价值评价的聚焦爬虫搜索策略存在主题漂移等问题进行了研究,充分利用量子进化算法所具有的智能性,提出一种新的聚焦爬虫爬行算法。该算法充分结合网页在互联网上的分布特点,利用立即价值和未来价值两类评价标准的优势,根据聚焦爬虫实际运行过程中的搜索情况,在线调整这两种标准在综合价值中的比重。实验仿真结果表明,相对于单一价值的搜索策略,量子进化算法获得较高的页面查全率和信息查准率,能较好地解决现存问题,
介绍了一种密码服务库,指出了其缺少椭圆曲线加密算法组件,并对其进行了相应的改进,将椭圆曲线集成加密方案(elliptic curve integrated encryption scheme,ECIES)加入到核心密码算法组件库之中。正确设计了ECIES加密体制结构,实现了ECIES组件的功能调用,提升了该密码库密码服务能力的完整性。
提出了一种轻量级的插件机制,该机制能够动态扩展设备API和有效管理插件的生命周期,并且通过名字空间机制来解决命名冲突问题。测试结果证明,该方案是有效的。
针对现有的权值函数采用人为指定的核函数,难以准确地反映图像复杂处像素间的色度相似关系,提出了利用自然彩色图像特性构建权值函数的方法。根据自然图像的像素在RGB空间的分布特征,提取出色度与灰度的局部线性关系,并利用其作为先验知识结合最小二乘法推广至整幅图像,进而获得一种新的权值函数。该权值函数能将相近的两像素间的灰度差异、位置差异及周围像素的灰度分布统一到色度相似程度的计算中。实验结果表明,该权值函