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