【技术实现步骤摘要】
本专利技术涉及软件过程的安全性分析方法以及用过程建模语言对软件过程建模的方法,特 别涉及对软件过程中存在的故障模式、影响及潜在原因进行自动分析的方法,以及故障模式 及影响分析方法与故障树分析方法的有效结合。
技术介绍
随着计算机技术的发展,计算机软件的质量越来越受到人们的关注,尤其是高安全性的 软件,比如航空航天领域的软件,软件的可靠性非常重要,如何开发可靠的软件越来越成为 大家关注的焦点。然而,通过软件开发实践,人们逐步地认识到软件产品的质量在很大程度 上依赖于软件产品开发时所使用的过程,生产高质量的软件需要有一个高质量的软件过程。 也就是说,软件过程管理是保障软件质量的重要手段。如何将软件过程涉及的各个要素有机 结合在一起,有效并高效地实现软件产品的开发,降低软件开发的风险,从而提高软件产品 的质量,是软件过程技术一直所关注的问题之一。如何将故障模式及影响分析、故障树分析 等安全性分析方法应用于软件过程也成为人们关注的焦点。故障模式及影响分析方法是一种自底向上的安全性分析方法,最初被应用于工业系统的 安全性分析,尤其是航空业、军工业及核工业等高安全性产业。随 ...
【技术保护点】
一种对软件过程进行自动化故障模式及影响分析的方法,所述方法包括下列步骤: (1)用Little-JIL过程建模语言对软件过程建模: 首先,将软件过程的各个活动描述为Little-JIL步骤,活动的不同执行顺序描述为不同的Little-JIL步骤顺序,其中,该Little-JIL步骤顺序包括顺序、并行、选择及尝试四种类型,活动之间特殊的先决和后置关系分别描述为先决步骤和后置步骤; 其次,将软件过程各个活动中的工件描述为Little-JIL步骤的不同类型的参数,事件类型以及该事件是否满足预定义模板的特定前提去选择合适的模板,一旦模板选定,则用模板中定义的小故障树去替代该事件,如 ...
【技术特征摘要】
1、一种对软件过程进行自动化故障模式及影响分析的方法,所述方法包括下列步骤(1)用Little-JIL过程建模语言对软件过程建模首先,将软件过程的各个活动描述为Little-JIL步骤,活动的不同执行顺序描述为不同的Little-JIL步骤顺序,其中,该Little-JIL步骤顺序包括顺序、并行、选择及尝试四种类型,活动之间特殊的先决和后置关系分别描述为先决步骤和后置步骤;其次,将软件过程各个活动中的工件描述为Little-JIL步骤的不同类型的参数,并在在步骤接口中进行申明,其中,所述的不同类型的参数,包括输入参数、输出参数及输入/输出参数三种不同的类型;第三,将软件过程各个活动之间的工件传递描述为Little-JIL中的参数绑定和通道绑定,其中,若工件传递存在于父活动与其子活动之间,则描述为参数绑定,否则描述为资源绑定。若描述为资源绑定,则必须将活动中使用的通道在对应的Little-JIL步骤接口中申明;第四,将软件过程中各个活动使用的资源描述为Little-JIL中的资源描述,并在该活动对应步骤的接口中申明;最后,将软件过程中各个主体作为资源的一种,将其描述为Little-JIL中的资源描述,并在该活动对应步骤的接口中申明。(2)对建模后的软件过程进行自动化故障模式及影响分析(2.1)自动分析故障模式遍历Little-JIL过程中的所有步骤,访问其步骤接口中申明的所有参数,对于任一参数,若参数类型为输入参数,则生成故障模式<输入工件pi出错,活动S>;若参数类型为输出参数,则生成故障模式<输出工件po出错,活动S>;若参数类型为输入/输出参数,则同时生成故障模式<输入工件pi/o出错,活动S&...
【专利技术属性】
技术研发人员:潘金贵,王丹华,
申请(专利权)人:南京大学,
类型:发明
国别省市:84[中国|南京]
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。