研究文章雷竞技app下载苹果版

使用基于案例的保证驱动软件设计方法

摘要

可靠和关键系统的软件设计是非常复杂的。对于此类系统的软件开发有很多规定和指导方针。这些指导方针大多要求有实际的证据或文件证明，以对系统应满足其所有关键需求有合理的信心。为了实现这一主要目标，保证案例非常有用。一个结构良好的保证用例有助于开发人员陈述系统的目标和子目标，并确定所需的工件，这些工件可以用作证明系统按照需求运行的证据。这样，还可以检查一组完整的证据是否满足规定的要求。目标结构符号(GSN)或声明-论证-证据(CAE)允许保证案例的图形化表示。图形符号使保证案例易于呈现和理解。本文以门禁软件的保证案例为例，对保证案例的结构和说明进行了概述，以便更好地理解。本文还使用保证案例简要介绍了全球范围内开展的相关项目的细节。

Dipak Gade, Santosh Deshpande博士

阅读全文下载全文