王恒
- 作品数:4 被引量:13H指数:2
- 供职机构:南华大学计算机科学与技术学院更多>>
- 发文基金:湖南省教育厅科研基金湖南省自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于SOA的动态数据集成框架被引量:5
- 2008年
- 首先详细分析了现有数据集成方式,在此基础上提出了一种基于SOA的动态数据集成框架,阐明了实现该框架的关键技术,并提出了改进思路。
- 王恒刘振宇
- 关键词:数据集成SOA语义
- 一种基于访问约束的数据同步技术被引量:2
- 2007年
- 针对现实的数据采集环境,提出了数据访问约束的概念。给出了数据源更新的非齐次泊松模型,并在此基础上提出了一种有效的基于访问约束的数据同步方法。通过实验表明,该方法可以在不增加系统探测次数的前提下有效减小数据采集系统数据更新不及时给用户带来的损失。
- 王恒刘振宇
- 关键词:数据获取同步技术
- 基于形式化方法的测试驱动开发研究被引量:6
- 2008年
- 对测试驱动开发中测试用例的自动生成和管理问题进行了研究,并对现有方法进行了分析和比较。给出了一种基于形式化方法的测试用例生成和管理方案。该方案通过形式化语言描述软件规约,并通过相应工具生成和管理测试用例,从而提高了测试驱动开发的效率。最后给出了该方案在极限编程各个开发阶段的应用。
- 刘振宇王恒
- 关键词:极限编程形式化方法测试驱动开发
- 面向SOA的合约变异测试技术研究
- 随着信息技术的飞速发展,软件的应用领域不断扩大,但是软件的可靠性和质量却没有得到相应的提高,这成为制约软件产业发展的一个重要因素。工业控制、交通、金融和医疗等领域都迫切需要高质量、高可靠性的软件系统,此类软件的失效会引起...
- 王恒
- 关键词:SOA服务合约WEB服务形式化