摘要
电信系统的复杂性致使其故障较难检测,形式化规格语言Z对检测电信系统的故障具备较好的优势。在结合之前研究成果的基础上,对Z语言检测出的电信系统的故障类型进行详细的总结,这些故障类型都具备较强的隐蔽性,证明Z语言对提高软件开发的质量能起到很好的效果。对电信系统故障的解决方法提出建议,以期提高电信系统的软件质量和稳定性。
It is hard to detect the faults in the telecommunication system since it is complicated, formal specification language Z has advantages in detecting faults of telecommunication system. Combined the research results before, summarizes the fault types of telecommunications system which detected by Z language, while these fault types are with strong concealment, proofing that Z language has very good effects on improving software development quality. Propose solutions to telecommunication system faults, in order to improve software quality and stability of telecommunication system.
基金
广东石油化工学院青年自然科学项目(No.513023)
关键词
Z语言
电信系统
故障检测
Z Language
Telecommunication System
Fauh Detection
