一种基于形式化技术的安全关键软件需求缺陷挖掘框架

• 作者: 王学成
• 来源期刊: 产业与科技论坛
• 关键词: 安全关键软件 缺陷挖掘 软件缺陷
• 年，卷（期）: 2018,（19）
• 所属期刊栏目: 科技创新
• 页码范围: 57-58
• 页数: 2页
• 字数: 1693字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-5641.2018.19.030

摘要

在软件生命周期中,软件需求分析占有非常重要的地位.需求阶段隐藏的缺陷为安全关键软件的高可靠性埋下巨大的隐患.为了在需求阶段发现和修正隐藏的缺陷,本文提出了一种基于形式化方法的需求缺陷挖掘框架,通过形式化方法对系统的状态和行为进行建模和精化,并通过Rodin平台进行数学推理证明,为安全关键软件的质量提供科学的保障.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王学成		2	0	0.0	0.0