基于SCADE的形式化验证技术研究

• 作者: 林枫
• 来源期刊: 测控技术
• 学科: 工学
• 关键词: 综合航电 基于模型 SCADE 形式化验证
• 年，卷（期）: 2011,（12）
• 所属期刊栏目: 软件纵横
• 页码范围: 71-74
• 分类号: TP31
• 字数: 3285字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-8829.2011.12.018

摘要

针对软件开发中的一种软件验证技术——形式化验证技术进行研究,分析这种方法的原理和应用情况,并使用一个实例来说明这种方法在基于模型的软件开发中的使用方式,由这个过程可以看出,这种基于模型的形式化验证技术对于传统的软件验证方法来说是个有力的补充,对于一些高安全性的软件来说使用这种验证方式能有效提高软件的可靠性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林枫	中国商用飞机有限责任公司上海飞机设计研究院综合航电部	3	22	2.0	3.0