刘金根
- 作品数:5 被引量:6H指数:1
- 供职机构:华中科技大学计算机科学与技术学院更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种类的测试用例生成方法
- 本文提出的类数据流测试模型,通过类范围的数据流分析、方法范围内的符号执行和自动演绎三个步骤来产生测试用例,即对象的方法激活序列.本模型依据类的实例变量的定义-使用对来产生方法激活序列,避免了传统的数据流方法的不足,产生的...
- 李庆华刘金根
- 关键词:面向对象软件测试类测试
- 文献传递
- 类的数据流测试技术研究
- 该文类的数据流测试从以下两方面着手研究:(1)基于规范的类的数据流测试技术研究基子规范的测试就是利用软件的文档规范来产生测试用例的测试策略,从而可以揭示软件规范中存在的错误.将数据流技术引入到状态机的测试方法,产生的测试...
- 刘金根
- 关键词:有限状态机面向对象系统成员函数
- 文献传递
- 一种基于类数据流的软件测试技术被引量:6
- 2003年
- 提出了一种类数据流测试技术 ,通过类的数据流分析计算出实例变量的定义 使用对信息及成员函数的前置条件和后置条件 ,匹配函数的前置条件和后置条件为每一定义 使用对产生函数激活序列 (即测试用例 ) .这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误 ,并且弥补了传统数据流测试技术的不足 ,减少了重复测试 ,提高了测试效率 .
- 李庆华刘金根缪天鹏党建国
- 关键词:类测试软件测试
- Pvm并行调试器DPD中的时序处理
- 2003年
- 针对并行调试器中传统排序模型的缺陷 ,提出了一套改进的时序处理机制 .该机制是在调试系统中加入一个全局记录器 ,被调试模块在需要事件记录时向全局记录器申请一个全局序号 ,这样并行模块的事件就被自然地串行化 ,从而实现了并行程序时序的完全排序 .该方法大大简化了排序过程 ,给记录
- 党建国杨薇薇刘金根
- 关键词:并行虚拟机
- 并行查询中的索引并行化技术
- 2003年
- 提出一种新的索引并行化技术 ,利用多处理机来提高建立在B树结构上的索引性能 ,并提出了一种改进的B树结构———FALNB树 ,基于该树结构 ,以大结点B树方式在多个处理机上分布索引数据 .通过动态调整算法快速进行调整 ,取得很好的负载平衡效果 .给出了时间分析模型 .实验结果显示FALNB树能加快查询响应速度 。
- 王多强刘金根李庆华睢海燕
- 关键词:并行查询并行处理多处理机