数据流相关软件故障的静态检测

著录项

• 来源
  《计算机辅助设计与图形学学报》 |2005年第11期|2477-2483|共7页
• 作者

  张广梅; 李晓维;

  展开▼
• 作者单位

  中国科学院计算技术研究所先进测试技术实验室,北京,100080;

  山东农业大学信息科学与工程学院,泰安,271018;

  中国科学院研究生院,北京,100039;

  中国科学院计算技术研究所先进测试技术实验室,北京,100080;

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

  数据流相关的软件故障; 数据流分析; 引用-定值链; 故障检测;