党建国
- 作品数:3 被引量:7H指数:1
- 供职机构:华中科技大学计算机科学与技术学院更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种基于类数据流的软件测试技术被引量:6
- 2003年
- 提出了一种类数据流测试技术 ,通过类的数据流分析计算出实例变量的定义 使用对信息及成员函数的前置条件和后置条件 ,匹配函数的前置条件和后置条件为每一定义 使用对产生函数激活序列 (即测试用例 ) .这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误 ,并且弥补了传统数据流测试技术的不足 ,减少了重复测试 ,提高了测试效率 .
- 李庆华刘金根缪天鹏党建国
- 关键词:类测试软件测试
- Pvm并行调试器DPD中的时序处理
- 2003年
- 针对并行调试器中传统排序模型的缺陷 ,提出了一套改进的时序处理机制 .该机制是在调试系统中加入一个全局记录器 ,被调试模块在需要事件记录时向全局记录器申请一个全局序号 ,这样并行模块的事件就被自然地串行化 ,从而实现了并行程序时序的完全排序 .该方法大大简化了排序过程 ,给记录
- 党建国杨薇薇刘金根
- 关键词:并行虚拟机
- 分布式并行调试器DPD的研究与实现
- DPD(DistributedParallelDebugger)是基于Unix/Linux操作系统开发的源代码级并行调试器.DPD的设计采用分布式结构,主要模块包括:一个集成环境控制界面、一个数据流汇中心、多个节点调试代...
- 党建国
- 关键词:消息传递模型并行虚拟机
- 文献传递