咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 会议

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 2 篇 软件工程
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 2 篇 分布式程序测试
  • 1 篇 事件约束
  • 1 篇 软件测试
  • 1 篇 自动机模型
  • 1 篇 因特网
  • 1 篇 构件
  • 1 篇 互操作

机构

  • 1 篇 计算机软件新技术...
  • 1 篇 南京大学

作者

  • 2 篇 陈道蓄
  • 2 篇 谢立
  • 2 篇 顾庆
  • 1 篇 孙钟秀
  • 1 篇 gu qing
  • 1 篇 yu meng
  • 1 篇 sun zhong-xiu
  • 1 篇 xie li
  • 1 篇 chen dao-xu
  • 1 篇 于勐

语言

  • 2 篇 中文
检索条件"主题词=分布式程序测试"
2 条 记 录,以下是1-10 订阅
排序:
基于Internet的分布式程序测试系统层次模型
基于Internet的分布式程序测试系统层次模型
收藏 引用
2001年全国开放分布与并行计算学术会议
作者: 顾庆 陈道蓄 谢立 计算机软件新技术国家重点实验室(南京)
Internet已成为最大的运行分布式程序和应用网络平台.Internet上分布式应用由多个独立构件组成.各构件的开发者可能来自多方,且需要支撑系统的支持以实现互操作.根据这些特点,提出Internet上测试系统的层次模型***共分4层,分别是面向底... 详细信息
来源: 评论
基于事件约束的分布式程序正确性测试
收藏 引用
软件学报 2000年 第8期11卷 1035-1040页
作者: 顾庆 陈道蓄 于勐 谢立 孙钟秀 南京大学计算机软件新技术国家重点实验室 南京210093
由于并发的存在和不确定性 ,在以规约为基础来测试分布式程序的正确性时 ,必须考虑程序执行时的内部状态 .这些内部状态通过端口显示为事件序列 ,程序规约需要对序列中各事件间的依赖关系作约定 ,即定义事件约束集 .该文提出了 E- CSPE(... 详细信息
来源: 评论