王恒

作品数：3被引量：13H指数：2
导出分析报告
供职机构：南华大学计算机科学与技术学院更多>>
发文主题：形式化SOA测试驱动开发形式化方法极限编程更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程与设计》《计算机与现代化》更多>>
所获基金：湖南省教育厅科研基金湖南省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于形式化方法的测试驱动开发研究被引量：6
《计算机工程与设计》2008年第15期3944-3946,3950,共4页刘振宇 王恒 
湖南省自然科学基金项目(60073003);湖南省教育厅基金项目(4-02-JY-02C371)
对测试驱动开发中测试用例的自动生成和管理问题进行了研究,并对现有方法进行了分析和比较。给出了一种基于形式化方法的测试用例生成和管理方案。该方案通过形式化语言描述软件规约,并通过相应工具生成和管理测试用例,从而提高了测试...
关键词：极限编程 形式化方法 测试驱动开发 软件过程 软件重构 
基于SOA的动态数据集成框架被引量：5
《计算机与现代化》2008年第3期35-37,共3页王恒 刘振宇 
首先详细分析了现有数据集成方式,在此基础上提出了一种基于SOA的动态数据集成框架,阐明了实现该框架的关键技术,并提出了改进思路。
关键词：数据集成 SOA 语义 
一种基于访问约束的数据同步技术被引量：2
《微计算机应用》2007年第12期1321-1324,共4页王恒 刘振宇 
针对现实的数据采集环境,提出了数据访问约束的概念。给出了数据源更新的非齐次泊松模型,并在此基础上提出了一种有效的基于访问约束的数据同步方法。通过实验表明,该方法可以在不增加系统探测次数的前提下有效减小数据采集系统数据更...
关键词：数据获取 同步技术 非齐次泊松模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部