郜凌云 李晓维 贺国平 韩丛英

软件可靠性评估 数据库 电视气象节目 曙光-2000 故障检测 软件运行剖面 路径别名分析 程序调用图 动态内存错误 数据流分析 消息传送接口 气象要素 稀疏控制流图 引用-定值链 数据流相关的软件故障 数据依赖 软件可靠性测试

山东农业大学信息科学与工程学院 中国科学院计算技术研究所信息网络室 中国科学院计算技术研究所先进测试技术实验... 山东科技大学信息科学与工程学 辽宁省气象信息与技术保障中心 辽宁省气象影视中心 山东农业大学计算机系 8中国科学院研究生院