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

Fault Types Summary of Telecommunication System Detected by Z Language

作　　者：彭展[1] 

机构地区：[1]广东石油化工学院实验教学部,茂名525000

出　　处：《现代计算机（中旬刊）》2014年第3期48-51,共4页Modern Computer

基　　金：广东石油化工学院青年自然科学项目(No.513023)

摘　　要：电信系统的复杂性致使其故障较难检测,形式化规格语言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.

关 键 词：Z语言 电信系统 故障检测 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]