Z语言检测出的电信系统的故障类型总结

• 作者: 彭展
• 来源期刊: 现代计算机：中旬刊
• 学科: 工学
• 关键词: Z语言 电信系统 故障检测
• 年，卷（期）: xdjsjzxk_2014,（3）
• 页码范围: 48-51
• 页数: 4页
• 分类号: TP312

摘要

电信系统的复杂性致使其故障较难检测，形式化规格语言Z对检测电信系统的故障具备较好的优势。在结合之前研究成果的基础上，对Z语言检测出的电信系统的故障类型进行详细的总结，这些故障类型都具备较强的隐蔽性，证明Z语言对提高软件开发的质量能起到很好的效果。对电信系统故障的解决方法提出建议．以期提高电信系统的软件质量和稳定性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	彭展	广东石油化工学院实验教学部	15	9	2.0	2.0