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