作者：王学成安全关键软件缺陷挖掘软件缺陷
摘要：在软件生命周期中,软件需求分析占有非常重要的地位。需求阶段隐藏的缺陷为安全关键软件的高可靠性埋下巨大的隐患。为了在需求阶段发现和修正隐藏的缺陷,本文提出了一种基于形式化方法的需求缺陷挖掘框架,通过形式化方法对系统的状态和行为进行建模和精化,并通过Rodin平台进行数学推理证明,为安全关键软件的质量提供科学的保障。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《产业与科技论坛》（CN：13-1371/F）是一本有较高学术价值的大型半月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《产业与科技论坛》是由国家新闻出版总署批准，以邓小平理论、“三个代表”重要思想，全面贯彻落实科学发展观和建设和谐社会的重要思想为指导；以“百花齐放，百家争鸣”，贯彻普及与提高、理论与实践、传统与现代相结合为方针；以服务竞争力提升与科技进步，传播国内外经济与科技管理理论，探索我国的管理与科技创新实践为宗旨。
部级期刊
人气 1074146 评论 53
省级期刊
人气 845980 评论 70
人气 807147 评论 68
人气 753201 评论 72
