您的位置: 专家智库 > >

李基凯

作品数:2 被引量:2H指数:1
供职机构:中国科学院计算技术研究所更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 1篇代数
  • 1篇语言
  • 1篇语言程序
  • 1篇软件开发
  • 1篇数值代数
  • 1篇分布式
  • 1篇分布式并行
  • 1篇C语言
  • 1篇C语言程序
  • 1篇测试工具
  • 1篇程序设计

机构

  • 2篇中国科学院软...
  • 1篇中国科学院

作者

  • 2篇李基凯
  • 1篇卢慧琼
  • 1篇梁煜
  • 1篇张林波

传媒

  • 1篇计算机研究与...

年份

  • 1篇1999
  • 1篇1998
2 条 记 录,以下是 1-2
排序方式:
分布式并行数值代数软件的数据重分布及测试
该文在分析、测试、评估PBLAS(parallel basic linear algebra subprograms)的基础上将详细地分析数据重分布技术.
李基凯
关键词:代数程序设计
适用于并行操作的C语言程序测试工具ParCT被引量:2
1999年
并行计算技术的飞速发展给软件测试带来了新的要求.并行软件测试可以分为基于进程内部的控制流测试和基于进程间相互关系的时序测试.文中所介绍的并行软件的测试工具——ParCT (parallelC-language testingtools)主要是面向控制流的.文中介绍了ParCT的运作机制及其主要功能:通过对程序的动态测试得到测试的覆盖率、列出未覆盖分支以及对各个分支的访问频度,从而帮助用户完成对测试程度的评估并为用户设计新的测试用例提供目标.在此基础上,还对并行测试工具所面临的一系列新课题,诸如进程的实时跟踪、面向控制流的测试产生(testgeneration)算法、面向多线程的测试工具、并行程序的时序测试(tim ing sequence testing)等。
梁煜李基凯张林波李玉成卢慧琼
关键词:C语言软件开发
共1页<1>
聚类工具0