您的位置： 专家智库 > >

梁煜

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

合作作者

文献类型

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

领域

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

主题

  • 1篇语言
  • 1篇语言程序
  • 1篇软件测试
  • 1篇软件工程
  • 1篇软件开发
  • 1篇通信
  • 1篇通信环境
  • 1篇C语言
  • 1篇C语言程序
  • 1篇测试工具

机构

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

作者

  • 4篇梁煜
  • 2篇韩承德
  • 2篇张辉
  • 2篇李舒
  • 1篇李基凯
  • 1篇卢慧琼
  • 1篇张林波

传媒

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

年份

  • 3篇1999
  • 1篇1998
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
并行程序的时序测试被引量：5
1999年
并行程序的错误可分为进程间错误（ｉｎｔｅｒｐｒｏｃｅｓｓ ｆａｕｌｔ）和进程内部错误（ｉｎｔｒａｐｒｏｃｅｓｓ ｆａｕｌｔ）．其中， 进程内部错误是由控制流错误造成的， 而进程间错误是由进程间的不合理时序关系造成的． 文中主要探讨了关于并行程序（以基于消息传递的分布式并行程序为主）时序测试中的一系列关键技术．为了能够简捷、较完备地反映并行程序的运行流程，文中首先构筑了一个同步序列模型，所有问题均在此模型的基础上进行讨论． 为了检测分布式并行程序同步序列的合法性，文中构筑了有效同步序列的形式规范．为使问题更加明了， 还提供了两个典型的聚类操作——树型广播与归并的有效同步序列的形式规范， 并总结了两个操作中的各同步事件间的时序约束规律．庞大的时序组合使得并行程序的测试难以实现， 因此文中提出了一种现实可行的测试策略——原子事件测试方法， 其思想方法是线性化同步序列使其仅由串行的原子同步事件组成。
梁煜李舒张辉韩承德
关键词：软件工程
适用于并行操作的C语言程序测试工具ParCT被引量：2
1999年
并行计算技术的飞速发展给软件测试带来了新的要求．并行软件测试可以分为基于进程内部的控制流测试和基于进程间相互关系的时序测试．文中所介绍的并行软件的测试工具——ＰａｒＣＴ （ｐａｒａｌｌｅｌＣ－ｌａｎｇｕａｇｅ ｔｅｓｔｉｎｇｔｏｏｌｓ）主要是面向控制流的．文中介绍了ＰａｒＣＴ的运作机制及其主要功能：通过对程序的动态测试得到测试的覆盖率、列出未覆盖分支以及对各个分支的访问频度，从而帮助用户完成对测试程度的评估并为用户设计新的测试用例提供目标．在此基础上，还对并行测试工具所面临的一系列新课题，诸如进程的实时跟踪、面向控制流的测试产生（ｔｅｓｔｇｅｎｅｒａｔｉｏｎ）算法、面向多线程的测试工具、并行程序的时序测试（ｔｉｍ ｉｎｇ ｓｅｑｕｅｎｃｅ ｔｅｓｔｉｎｇ）等。
梁煜李基凯张林波李玉成卢慧琼
关键词：C语言软件开发
消息传递并行程序的测试及其通信环境
该文主要探讨有关并行程序测试的规律和方法.消息传递和共享内存是两种常用的并行编程模型,在这里作者将以消息传递并行程序为主要研究对象.
梁煜
文献传递
关于并行程序时序测试中测试覆盖率的研究被引量：9
1999年
在软件测试中，测试覆盖率（ｃｏｖｅｒａｇｅｒａｔｉｏ）是评判程序测试完成程度的重要指标之一．然而，针对并行程序时序的测试覆盖率，目前国际上还未见比较实用的定量分析方法．文中以树型拓扑结构的广播与归并操作的分布式并行实现为例，提出了一种建立在同步序列模型基础之上并专门适合于原子事件测试方法的关于分布式并行程序时序测试的测试覆盖率的数值计算方法．由于广播与归并是两个比较有代表性的并行操作。
梁煜李舒张辉韩承德
关键词：软件测试
全选 清除 导出
共1页<1>
聚类工具0