[发明专利]需求结构显示设备及方法

说明书

技术领域

本发明涉及需求结构显示设备和方法。

背景技术

安全案例(safety case)是一种公知的描述安全关键领域中的安全需求的文档格式。安全案例通过使用一种称为目标结构标记(Goal Structuring Notation)的标记系统来描述安全需求之间的关系(见T.P.Kelly，R.A.Weaver，”The Goal Structuring Notation-A Safety Argument Notation”，Workshop on Assurance Cases(in DSN2004)，Florence，Italy，2004)。

D-Case文档是公知的用于风险承担者(诸如系统提供者与系统用户)之间在系统依存度需求上达成一致的树结构论证(argument)(见Yutaka Matsuno，”D-Case：Sutekuhoruda to sisutemu wo tsunagu dokyumento”，Bulletin JASA，[online]，November 20，2009，Japan Embedded Systems Technology Association[2010年11月22日搜索得到]，互联网地址：http://www.jasa.or.jp/top/activity/bulletin/bulletin034-03.html)(见Jin Nakazawa，”Kakushinteki na dipendabiliti no mieruka”，[online]，November 20，2009，Japan Science and Technology Agency，[2010年11月22日搜索得到]，互联网地址：http://www.crest-os.jst.go.jp/topics/file/ET2009-kouen01.pdf)。D-Case还使用目标结构标记。D-Case逐步将依存度细化为子树。D-Case的每个叶均通过末端的证据节点证明其依存度的实现方法。

JP-A-63-228218公开了一种系统，其鉴于显示整个树结构需要宽的显示区域的事实而在对准的条件下显示叶节点的文件夹结构和图像。

已知在JP-A-02-15374和JP-A-02-204863中公开了涉及树结构显示的相关技术。

发明内容

本发明的一个目的是使得所感兴趣的部分的细化流程能够以相比未提供本发明的结构时更易于理解的方式得到显示，即使需求数量巨大。

(1)根据本发明的一个方面，提供了一种需求结构显示设备，

包括：

图形显示信息生成单元，其参照存储单元生成表示由需求数据和策略数据之间的父子关系所构成的图形的图形显示信息，所述存储单元对其中需求数据是父而用于细化需求数据的策略数据是子的父子关系以及其中策略数据是父而根据所述策略细化需求数据所得到的至少一段需求数据是子的父子关系的有关信息进行存储；

第一规格(specification)接受单元，其接受由图形显示信息生成单元生成的图形显示信息所表示的图形中的感兴趣对象的需求数据或者策略数据的规格；

感兴趣部分显示信息生成单元，其生成感兴趣部分显示信息，所述感兴趣部分显示信息表示在父子关系方向上的感兴趣对象以及根据存储在存储单元中的有关父子关系的信息所得到的感兴趣对象的直接父和直接子，其中所述感兴趣对象的规格已经提供至所述第一规格接受单元；和

显示控制单元，其根据第一规格接受单元对感兴趣对象的需求数据或策略数据的规格的接受，来控制显示单元进行的显示，使得显示从基于图形显示信息生成单元所生成的图形显示信息的显示切换至基于根据第一规格接受单元接受的感兴趣对象通过感兴趣部分显示信息生成单元生成的感兴趣部分显示信息的显示。

(2)根据(1)的需求结构显示设备，可以进一步包括第二规格接受单元，其接受由感兴趣部分显示信息所表示的显示中的感兴趣对象的直接父和直接子中的新的感兴趣对象的规格，

其中所述感兴趣部分显示信息生成单元生成感兴趣部分显示信息，所述感兴趣部分显示信息表示在父子关系方向上的新的感兴趣对象以及所述新的感兴趣对象的直接父和直接子，其中所述新的感兴趣对象的规格已经提供至所述第二规格接受单元。

(3)在根据(1)或(2)的需求结构显示设备中，存储单元还存储其中需求数据是父而到对应于需求数据的设备或软件的输出的链接的有关信息是子的父子关系的有关信息，并且