一种基于时间自动机的实时系统测试方法

著录项

• 来源
  《软件学报》 |2007年第1期|62-73|共12页
• 作者

  陈伟; 薛云志; 赵琛; 李明树;

  展开▼
• 作者单位

  中国科学院;

  软件研究所;

  互联网软件技术实验室;

  北京;

  100080;

  中国科学院;

  研究生院;

  北京;

  100049;

  中国科学院;

  软件研究所;

  互联网软件技术实验室;

  北京;

  100080;

  中国科学院;

  研究生院;

  北京;

  100049;

  中国科学院;

  软件研究所;

  互联网软件技术实验室;

  北京;

  100080;

  中国科学院;

  软件研究所;

  互联网软件技术实验室;

  北京;

  100080;

  计算机科学重点实验室(中国科学院;

  软件研究所);

  北京;

  100080;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 程序设计、软件工程;
• 关键词

  时间安全输入/输出自动机; 实时系统测试; 最简稳定符号状态迁移图; 测试用例生成;