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

• 作者: 彭展
• 来源期刊: 现代计算机（普及版）
• 关键词: Z语言 电信系统 故障检测
• 年，卷（期）: 2014,（3）
• 所属期刊栏目: 实践与经验
• 页码范围: 48-51
• 页数: 4页
• 字数: 2606字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-1423.2014.08.012

摘要

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

作者信息

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