张利武
- 作品数：5 被引量：26H指数：3
- 供职机构：重庆大学计算机学院更多>>
- 发文基金：重庆市科技攻关计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种XML数据并行更新方法
- 2007年
- 提出了一种支持在分布式系统中并行地修改XML数据的方法策略,实现了不同的系统客户端可以同时修改同一个XML数据的不同部分或相同部分。支持修改操作的分散式管理,即客户端在不与服务器进行交互的情况下进行正确的修改。支持动态客户端和动态权限控制信息,适用于在更新过程中参与更新的客户端和更新权限都发生变化的情况。
- 张元平曾一闵智张利武袁纲肖敏
- 关键词：数据完整性数据机密性
- 基于UML活动图生成功能测试线索被引量：7
- 2006年
- 测试自动化是提高软件测试效率的重要途径。基于UML模型的面向对象软件测试是当前研究的热点。这些研究大都是类或集成测试,对于如何自动生成较为完整、合理的系统测试用例较少。在总结研究现状的基础上,以应用举例的方式提出一种从描述系统用例间顺序依赖关系的活动图和用例实现的活动图中获取系统功能测试线索的方法。
- 赵炜曾一张利武
- 关键词：统一建模语言活动图
- 基于UML活动图的并发软件测试方法研究
- 软件开发是一个智力密集型的过程，每个过程都需要人参加，人非圣贤，孰能无过，所以软件中总是有错误的。目前，软件测试依然是发现软件错误提高软件质量的行之有效的方法。但是，随着软件开发方法和软件工程过程的发展，特别是面向对象技...
- 张利武
- 关键词：软件测试活动图软件开发面向对象技术
- 文献传递
- 基于Web服务的电子政务数据交换中心的设计和实现被引量：14
- 2007年
- 在分析原有数据交换模式的基础上,针对电子政务资源整合的需求,提出一种基于Web服务技术的数据交换中心的设计方案。介绍了数据交换中心的体系结构,以及数据交换协议、数据交换服务过程和数据交换适配器,并且在此基础上对其实现做了比较详细的描述,最后对数据交换中心的安全方案进行了介绍。基于本文设计思路的数据交换中心已经在某市电子政务平台中运行,取得了较好的应用效果。
- 曾一袁纲张元平肖敏张利武牟剑
- 关键词：数据交换模式WEB服务XML模式
- 一种基于活动图的并发软件测试线索生成方法被引量：4
- 2007年
- 分析并发软件的控制原理,提出了三个并发软件的基本测试策略。这三个策略给出了并发软件测试的基本原则:同步测试、关键覆盖和进程覆盖;接着提出了一种使用UML活动图对软件中并发控制过程建立模型图的方法;随后分析了并发软件测试难点即进程组合爆炸问题,给出了一种基于模型图生成测试线索集的方法,证明了按照生成的测试线索集测试并发软件既能解决进程组合爆炸问题,又能满足三个测试策略。通过对比得出本测试方法在易用性、适用性和稳定性等方面要优于基于状态图的测试方法;最后通过一个实例表明了应用本方法的可行性和有效性。
- 曾一张利武张元平袁纲李强
- 关键词：活动图
