CN1839390A - 验证支持装置、验证支持方法、验证支持程序及记录介质 - Google Patents

Abstract

在验证支持装置(1500)中，输入部(1502)受理由未验证模型要素构成的、表示未验证设计对象的未验证规格描述的输入。搜索部(1503)从由验证完成模型要素构成的、表示验证完成设计对象的验证完成规格描述中，根据未验证模型要素和验证完成模型要素，搜索与通过输入部(1502)输入的未验证规格描述相同或相似的验证完成规格描述。逻辑验证内容提取部(1504)根据通过搜索部(1503)搜索到的搜索结果，提取对验证完成设计对象进行的逻辑验证内容。输出部(1505)输出通过逻辑验证内容提取部(1504)提取的逻辑验证内容。

Description

验证支持装置、验证支持方法、验证支持程序及记录介质

技术领域

本发明涉及支持LSI(large scale integration，大规模集成电路)设计中的逻辑验证作业的验证支持装置、验证支持方法、验证支持程序及记录了该程序的记录介质。

背景技术

在LSI设计中，在进行由硬件或软件构成的设计对象系统的逻辑验证时，关于逻辑验证的方式、逻辑验证所需的数据和环境、以及获取这些(开发、购入、安装)所需的费用，一般由各个部门的负责人等的有经验的人员根据其经验进行估计，并据此确定逻辑验证计划。

但是，验证LSI是否正常工作的逻辑验证作业是必不可缺的，特别是对于要求大规模化、高功能化、高速化以及低耗电化的LSI，为了保持高质量，该逻辑验证作业也是非常重要的，但以往至今正在要求通过缩短设计周期而实现的作业高效化。由于伴随该LSI的大规模化、高功能化、高速化以及低耗电化而导致设计对象系统的类型和规模增大，所以存在整体上的逻辑验证的费用增加的问题。并且，伴随该逻辑验证所耗费的费用增加，出现的问题是与逻辑验证相关的上述有经验人员的费用估计出现偏差时的风险增大。因此，在LSI设计中，在该逻辑验证的费用增加并随之产生风险时，有时也将该部分的费用附加到产品价格中，与不存在逻辑验证的费用增加和风险的情况相比，存在LSI的价格升高的问题。

为了尽可能避免这些问题，还考虑了如下的方法：根据各个设计对象系统的规格，从众多经验中推导出需要何种程度的逻辑验证且其费用为多少的、与逻辑验证有关的信息，从而进行把估计误差抑制到最小限度的作业。但是，在实际进行这种作业时，设计者的负担增大，给逻辑验证作业带来障碍，其结果是，存在作业劳动力增加、导致逻辑验证作业的时间延长的问题。

并且，与过去进行的逻辑验证相关的信息一般针对每个部门进行保管。因此，存在如下问题：在一个部门中设计出的系统的逻辑验证与过去由其它部门设计出的逻辑验证的相关信息相同或相似时，一个部门的设计者很难发现其它部门的与逻辑验证相关的信息，所以不能通用，从而部门之间不能共享与逻辑验证相关的信息。

本发明就是鉴于上述问题而提出的，其目的在于，提供实现逻辑验证作业的低成本和作业时间的缩短化的验证支持装置、验证支持方法、验证支持程序及记录了该程序的记录介质。

发明内容

为了解决上述问题并达到目的，本发明的验证支持装置、验证支持方法、验证支持程序及记录了该程序的记录介质的特征在于，受理由未验证模型要素构成的、表示未验证设计对象的未验证规格描述的输入，从由验证完成模型要素构成的、表示验证完成设计对象的验证完成规格描述中，根据所述未验证模型要素和所述验证完成模型要素，搜索与所述未验证规格描述相同或相似的所述验证完成规格描述，根据搜索到的搜索结果，提取对所述验证完成设计对象进行的逻辑验证内容，输出所提取的逻辑验证内容。

根据本发明，可以确定按照与未验证设计对象的规格描述近似的规格描述设计的验证完成设计对象。因此，能够获得对该验证完成设计对象进行的逻辑验证内容。

并且，也可以提取所述未验证模型要素，提取所述验证完成模型要素，计算所提取的未验证模型要素和所提取的验证完成模型要素之间的相似度，根据所计算出的相似度，提取对所述验证完成设计对象进行的逻辑验证内容。

根据本发明，可以通过计算未验证模型要素和验证完成模型要素之间的相似度，来计算未验证规格描述和验证完成规格描述之间的相似度。

另外，也可以对表示所提取的未验证模型要素的句子和表示所提取的验证完成模型要素的句子进行比较，根据进行比较的比较结果，计算表示所述相似度的得分，根据所计算出的得分，提取对所述验证完成设计对象进行的逻辑验证内容。

根据本发明，可以通过对表示未验证模型要素的句子和表示验证完成模型要素的句子进行比较，利用得分对其相似度进行数值化。因此，能够客观地获得未验证规格描述和验证完成规格描述之间的相似度。

并且，也可以把表示所提取的未验证模型要素的句子和表示所提取的验证完成模型要素的句子分别分解为单词，根据所分解的单词，对表示所提取的未验证模型要素的句子和表示所提取的验证完成模型要素的句子进行比较。

根据本发明，可以通过对构成表示未验证模型要素的句子的单词和构成表示验证完成模型要素的句子的单词进行比较，更详细地利用得分对其相似度进行数值化。因此，能够更高效、客观地获得未验证规格描述和验证完成规格描述之间的相似度。

另外，也可以对通过分解表示所述未验证模型要素的句子而得到的单词进行加权，根据进行比较的比较结果和加权后的单词的权重，计算表示所述未验证模型要素和所述验证完成模型要素之间的所述相似度的得分。根据本发明，可以优先搜索包含重要度较高的单词的验证完成规格描述。

并且，也可以利用UML(Unified Modeling Language，统一建模语言)，描述表示所述未验证设计对象的未验证规格描述和表示所述验证完成设计对象的验证完成规格描述。根据本发明，可以从功能、相互作用、状态变化、工艺、物理结构等方面考虑，搜索与未验证规格描述相同或相似的验证完成规格描述。

另外，所述逻辑验证内容也可以至少包括下述内容中的任意一个：逻辑验证方针、逻辑验证的项目、逻辑验证方式、逻辑验证所需的成本信息或表示对所述验证完成设计对象进行逻辑验证时所使用的工具的逻辑验证环境。根据本发明，可以向设计者提供逻辑验证内容的具体例。

附图说明

图1是表示本发明的实施方式的验证支持装置的硬件结构的方框图。

图2是表示本发明的实施方式的验证资源数据库的存储内容的说明图。

图3是验证完成的系统A的用例图。

图4是验证完成的系统A的顺序图。

图5是验证完成的系统A的配置图。

图6是表示验证完成的系统A的验证方针、验证项目和验证方式的说明图。

图7是表示验证完成的系统A的成本信息的说明图。

图8是表示验证完成的系统A的验证环境的说明图。

图9是验证完成的系统B的用例图。

图10是验证完成的系统B的顺序图。

图11是验证完成的系统B的配置图。

图12是表示验证完成的系统B的验证方针、验证项目以及验证方式的说明图。

图13是表示验证完成的系统B的成本信息的说明图。

图14是表示验证完成的系统B的验证环境的说明图。

图15是表示本发明的实施方式的验证支持装置的功能结构的方框图。

图16是未验证的系统X的用例图。

图17是未验证的系统X的顺序图。

图18是未验证的系统X的配置图。

图19是表示分解表示未验证模型要素的句子的一例的说明图。

图20是表示分解表示验证完成模型要素的句子的一例的说明图。

图21是表示对单词彼此进行比较时的得分条件和此时的基本得分及相关得分之间的关系的图表。

图22是表示成为与未验证系统X的比较对象的验证完成系统A和得分之间的关系的说明图。

图23是表示成为与未验证系统X的比较对象的验证完成系统B和得分之间的关系的说明图。

图24是表示未验证系统X和验证完成系统A、B之间的关系的说明图。

图25是表示本发明的验证支持装置的实施方式的搜索结果显示例的说明图。

图26是验证完成的系统C的顺序图。

图27是验证完成的系统C的配置图。

图28是表示未验证系统X的规格描述为UML的顺序图时的、未验证系统X的验证完成事件组的说明图。

图29是表示验证完成的系统A的验证完成模型要素及其得分之间的关系的说明图。

图30是表示验证完成的系统C的验证完成模型要素及其得分之间的关系的说明图。

图31是表示未验证的系统X的规格描述为UML的配置图时的、未验证的系统X的验证完成模型要素组的说明图。

图32是表示验证完成的系统A的验证完成模型要素及其得分之间的关系的说明图。

图33是表示验证完成的系统C的验证完成模型要素及其得分之间的关系的说明图。

图34是表示本发明的实施方式的验证支持装置的验证支持处理步骤的流程图(之一)。

图35是表示本发明的实施方式的验证支持装置的验证支持处理步骤的流程图(之二)。

图36是表示本发明的实施方式的验证支持装置的验证支持处理步骤的流程图(之三)。

图37是表示本发明的实施方式的验证支持装置的验证支持处理步骤的流程图(之四)。

具体实施方式

以下，参照附图详细说明本发明的验证支持装置、验证支持方法、验证支持程序以及记录了该程序的记录介质的实施方式。

(实施方式)

(验证支持装置的硬件结构)

首先，说明本发明的实施方式的验证支持装置的硬件结构。图1是表示本发明的实施方式的验证支持装置的硬件结构的方框图。在图1中，验证支持装置具有：CPU 101；ROM 102；RAM 103；HDD(硬盘驱动器)104；HD(硬盘)105；FDD(软盘驱动器)106；作为可插拔的记录介质的一例的FD(软盘)107；显示器108；I/F(接口)109；键盘110；鼠标111；扫描仪112；以及打印机113。并且，各个构成部分别通过总线100相连接。

此处，CPU 101进行验证支持装置的整体控制。ROM 102存储有引导程序等的程序。RAM 103被用作CPU 101的工作区。HDD 104根据CPU 101的控制，来控制对HD 105的数据的读/写。HD 105存储在HDD 104的控制下写入的数据。

FDD 106根据CPU 101的控制，来控制对FD 107的数据读/写。FD 107存储在FDD 106的控制下写入的数据，并使验证支持装置读取存储在FD107中的数据。

作为可插拔的记录介质，除FD 107外，也可以是CD-ROM(CD-R、CD-RW)、MO、DVD(Digital Versatile Disk，多功能数码光盘)、存储卡等。显示器108显示以光标、图标或工具箱为主的文件、图像、功能信息等的数据。该显示器108例如可以采用CRT、TFT液晶显示器、等离子显示器等。

I/F 109通过通信线路与互联网等的网络114连接，通过该网络114与其它装置连接。并且，I/F 109承担着网络114与内部之间的接口，控制对外部装置的数据输入输出。对于I/F 109，例如可以采用调制解调器或LAN适配器等。

键盘110具有用于输入字符、数字、各种指示等的键，进行数据的输入。并且，也可以是触摸屏式的输入板或数字键等。鼠标111进行光标的移动和范围选择、或者窗口的移动和尺寸的变更等。如果作为指示设备具有同样的功能，也可以是轨迹球或操纵杆等。

扫描仪112以光学方式读取图像，把图像数据取入到验证支持装置内。另外，扫描仪112也可以具有OCR(Optical Character Recognition，光学字符识别)功能。此外，打印机113打印图像数据和文件数据。打印机113例如可以采用激光打印机或喷墨打印机。

(验证资源数据库的存储内容)

下面，说明本发明的实施方式的验证资源数据库的存储内容。图2是表示本发明的实施方式的验证资源数据库的存储内容的说明图。在图2中，验证资源数据库200构成为包括验证完成系统名称201、规格描述内容202以及逻辑验证内容203。

作为规格描述，例如采用了UML，验证完成系统可以存储能够通过该UML描述的用例(use case)图221、顺序图222以及配置图223等的图。并且，逻辑验证内容203是指在该验证完成系统中进行的逻辑验证的验证内容。此处，以验证完成系统名称“系统A”为例进行说明时，在验证内容中包括有验证方针231、验证项目232、验证方式233、成本信息234以及验证环境235。

下面，说明存储在图2所示的验证资源数据库200中的验证完成系统名称“系统A”的存储内容。图3是验证完成的系统A的用例图，图4是验证完成的系统A的顺序图，图5是验证完成的系统A的配置图，图6是表示验证完成的系统A的验证方针、验证项目以及验证方式的说明图，图7是表示验证完成的系统A的成本信息的说明图，图8是表示验证完成的系统A的验证环境的说明图。

在图3的用例图中表示系统A的功能。在图3中，角色301是表示作为外部装置的数字数据输入装置的验证完成模型要素，用例302是表示系统A内的用例描述“输入数字数据”的验证完成模型要素。并且，用例303是表示系统A内的用例描述“写入数字数据”的验证完成模型要素，角色304是表示作为外部装置的SCSI-HD装置的验证完成模型要素。

并且，在图4的顺序图中，按照时间序列表示系统A中的数据的交换。在图4中，通过顺序号1，从作为角色301的数字数据输入装置对作为对象400的系统A进行成为验证完成模型要素的事件“数据输入(数字数据)”。并且，通过顺序号1.1.，从作为对象400的系统A对作为角色304的SCSI-HD装置进行成为验证完成模型要素的事件“输出给SCSI-HD(数字数据)”。

另外，在图5的配置图中，表示系统A的物理结构。在图5中，节点50 1是表示数字数据输入装置的验证完成模型要素，节点502是表示MPU的验证完成模型要素，节点503是表示SCSI-HD装置的验证完成模型要素。并且，链路504是表示连接节点501和节点502的BUS的验证完成模型要素，链路505是表示连接节点502和节点503的SCSI的验证完成模型要素。

并且，在图6中，针对系统A的每个结构，示出了验证方针601、验证项目602以及验证方式603。验证方针601表示应该通过哪种方法进行逻辑验证。例如为SCSI-HD装置应该进行“接口部的断言检查(assertion check)”。并且，验证项目602表示验证内容的细节。例如，MPU列举出了“SCSI访问、BUS访问、初始化”这三个验证项目。而且，验证方式603表示实际进行逻辑验证时的方法。表示数字数据输入装置的逻辑验证通过“RTL仿真”进行。

并且，在图7中示出了表示系统A的逻辑验证作业所需要的成本的成本信息。成本信息700可列举出设备费用、工时、所需人员、发布后发现逻辑缺陷数、返工次数等。另外，在图8中表示进行系统A的逻辑验证作业时的验证环境800。验证环境800表示在对验证完成的系统进行逻辑验证时使用的工具。

下面，说明存储在图2所示的验证资源数据库200中的验证完成系统名称“系统B”的存储内容。图9是验证完成的系统B的用例图，图10是验证完成的系统B的顺序图，图11是验证完成的系统B的配置图，图12是表示验证完成的系统B的验证方针、验证项目以及验证方式的说明图，图13是表示验证完成的系统B的成本信息的说明图，图14是表示验证完成的系统B的验证环境的说明图。

在图9的用例图中表示验证完成的系统B的功能。在图9中，角色901是表示作为外部装置的NTSC(National Television SystemCommittee，美国国家电视系统委员会)信号模式设定系统的验证完成模型要素，用例902是表示系统B内的用例描述“设定NTSC信号模式”的验证完成模型要素。角色903是表示作为外部装置的NTSC信号生成控制系统的验证完成模型要素，用例904是表示系统B内的用例描述“开始NTSC信号输出”的验证完成模型要素，用例905是表示系统B内的用例描述“结束NTSC信号输出”的验证完成模型要素。另外，用例906是表示系统B内的用例描述“输出NTSC信号”的验证完成模型要素，角色907是表示作为外部装置的NTSC信号输入系统的验证完成模型要素。

并且，在图10的顺序图中，按照时间序列表示验证完成的系统B中的数据的交换。在图10中，通过顺序号1，从作为角色901的NTSC信号模式设定系统对作为对象1000的系统B，进行作为验证完成模型要素的事件“NTSC信号模式设定”。然后，通过顺序号2，从作为角色903的NTSC信号生成控制系统对作为对象1000的系统B，进行作为验证完成模型要素的事件“开始生成信号”。然后，通过顺序号2.1.，从作为对象1000的系统B对作为角色907的NTSC信号输入系统，进行作为验证完成模型要素的事件“生成信号”。并且，通过顺序号3，从作为角色903的NTSC信号生成控制系统对作为对象1000的系统B，进行作为验证完成模型要素的事件“停止生成信号”。

另外，在图11的配置图中，表示验证完成的系统B的物理结构。在图11中，节点1101是表示NTSC信号模式设定系统的验证完成模型要素，节点1102是表示NTSC信号生成控制系统的验证完成模型要素，节点1103是表示作为系统B的NTSC信号输出系统的验证完成模型要素，节点1104是表示NTSC信号输入系统的验证完成模型要素。并且，节点1105是表示连接节点1101和节点1103的信号线的验证完成模型要素，链路1106是表示连接节点1102和节点1103的信号线的验证完成模型要素，链路1107是表示连接节点1103和节点1104的信号线的验证完成模型要素。

并且，在图12中，示出了作为系统B的NTSC信号输出系统的验证方针1201、验证项目1202以及验证方式1203。并且，在图13中示出了表示系统B的逻辑验证作业所需的成本的成本信息1300。另外，在图14中表示进行系统B的逻辑验证作业时的验证环境1400。

(验证支持装置的功能结构)

下面，说明本发明的实施方式的验证支持装置的功能结构。图15是表示本发明的实施方式的验证支持装置的功能结构的方框图。在图15中，验证支持装置1500构成为包括：存储部1501；输入部1502；搜索部1503；逻辑验证内容提取部1504以及输出部1505。

存储部1501存储描述已进行逻辑验证的验证完成系统的UML及其逻辑验证内容。存储部1501包括图2中所示出的验证资源数据库200。该存储部1501也可以构成为设于验证支持装置1500中，或者也可以构成为通过图1所示的互联网、LAN、WAN等的网络114设于未图示的外部服务器中。并且，具体讲，存储部1501例如通过图1所示的ROM 102、RAM103、HD 105、FD 107等来实现其功能。

输入部1502受理通过未验证模型要素描述的、表示未验证设计对象的未验证规格描述的输入。此处，未验证设计对象例如可以是上述的没有进行逻辑验证的未验证的系统X。并且，规格描述可以是表示设计对象的功能、处理、结构等的UML、或通过该UML表现的图。具体讲，例如可以通过上述的UML的用例图、顺序图或配置图等的图来表现。

并且，模型要素是用于表示设计对象的、构成规格描述的图、符号、单词、句子或它们的集合，当使用UML作为规格描述时，可以表示角色、用例、等级、对象、事件、保护条件、节点、链路等。

此处，使用图16～图18说明通过输入部1502输入的未验证规格描述。图16是未验证的系统X的用例图，图17是未验证的系统X的顺序图，图18是未验证的系统X的配置图。

在图16的用例图中表示系统X的功能。在图16中，角色1601是表示作为外部装置的NTSC图像输入装置的模型要素，用例1602是描述了系统X内的用例描述“输入NTSC图像”的模型要素。并且，角色1603是表示作为外部装置的PAL图像输入装置的模型要素，用例1604是描述了系统X内的用例描述“输入PAL图像”的模型要素。另外，用例1605是描述了系统X内的用例描述“写入数字数据”的模型要素，角色1606是表示作为外部装置的SCSI-HD装置的模型要素。

并且，在图17的顺序图中，按照时间序列表示系统X中的数据的交换。在图17中，通过顺序号1，从作为角色1601的NTSC图像输入装置对作为对象1700的系统X，进行成为模型要素的事件“输入信号”。并且，通过顺序号1.1.，在作为对象1700的系统X中进行成为模型要素的事件“转换为数字数据(输入信号)”。并且，通过顺序号1.2.，从作为对象1700的系统X对作为角色1606的SCSI-HD装置，进行成为模型要素的事件“输出给SCSI-HD(数字数据)”。

另外，在图18的配置图中表示系统X的物理结构。在图18中，节点1801是表示NTSC图像输入装置的模型要素，节点1802是表示PAL图像输入装置的模型要素，节点1803是表示MPU的模型要素，节点1804是表示SCSI-HD的模型要素。并且，链路1805是表示连接节点1801和节点1803的BUS的模型要素，链路1806是表示连接节点1802和节点1803的BUS的模型要素。链路1807是表示连接节点1803和节点1804的SCSI的模型要素。

并且，在图15中，搜索部1503进行如下工作：从通过验证完成模型要素描述的、表示验证完成设计对象的验证完成规格描述中，根据未验证模型要素和验证完成模型要素，搜索与通过输入部1502输入的未验证规格描述相同或相似的验证完成规格描述。此处，例如可以通过利用将未验证模型要素和验证完成模型要素一致的数量、或对一致的数量分数化的得分进行数值化，来表示未验证规格描述和验证完成规格描述的相同、相似、不相似。并且，搜索部1503在输入了作为未使用规格描述的UML的情况下、例如当其表述为顺序图时，可以从存储部1501中搜索与所输入的用例图相同或相似的用例图的UML。另外，在后面叙述搜索部1503的内部结构。

逻辑验证内容提取部1504从存储部1501中提取对通过搜索部1503搜索到的验证完成的系统进行的逻辑验证内容，即，图2所示的验证方针231、验证项目232、验证方式233、成本信息234以及验证环境235。并且，输出部1505输出通过逻辑验证内容提取部1504提取的逻辑验证内容。并且，具体讲，输入部1502、搜索部1503、逻辑验证内容提取部1504以及输出部1505，例如通过使CPU 101执行记录在图1所示的ROM102、RAM 103、HD 105、FD 107等中的程序、或者通过I/F 109来实现其功能。

下面，说明搜索部1503的内部构成。在图1 5中，搜索部1503构成为包括：未验证模型要素提取部1511、验证完成模型要素提取部1512、加工部1513以及相似度计算部1514。

未验证模型要素提取部1511从通过输入部1502输入的未验证规格描述中提取未验证模型要素。例如，在输入了图16所示的用例图时，提取作为在该用例图中描述的用例描述的未验证模型要素X1“NTSC画像を入力する(输入NTSC图像)”、未验证模型要素X2“PAL画像を入力する(输入PAL图像)”以及未验证模型要素X3“デイジタルデ一タを書き込む(写入数字数据)”。

验证完成模型要素提取部1512在通过输入部1502输入了未验证规格描述时，从存储在存储部1501中的验证完成规格描述中提取验证完成模型要素。例如，在对输入部1502输入了用例图的情况下，在以验证完成的系统A为例时，提取在图3中示出的作为用例描述的未验证模型要素A1“デイジタルデ一タを入力する(输入数字数据)”、以及作为用例描述的未验证模型要素A2“デイジタルデ一タを書き込む(写入数字数据)”。可以对存储在存储部1501中的所有验证完成规格描述进行该验证完成模型要素的提取。

加工部1513分别加工未验证模型要素和验证完成模型要素。加工部1513构成为包括分解部1515和组生成部1516。分解部1515在所输入的UML是用例图时进行分解。并且，组生成部1516在所输入的UML是顺序图或配置图时，进行后述的事件组或配置组的生成。

分解部1515把作为表示通过未验证模型要素提取部1511提取的未验证模型要素的句子的用例描述、以及作为表示通过验证完成模型要素提取部1512提取的验证完成模型要素的句子的用例描述，分别分解为单词。通过该分解部1515得到的单词只采用名词和动词，删除了“が”、“は”、“に”、“へ”、“を”等的表示助词的单词。图19是表示分解了表示未验证模型要素的句子的一例的说明图，图20是表示分解了表示验证完成模型要素的句子的一例的说明图。

在图19中，例如为未验证模型要素X1“NTSC画像を入力する(输入NTSC图像)”时，分解部1515按照每个单词分割该句子，分解为“NTSC画像”、“を”以及“入力する”。单词“を”由于是助词，所以被删除，而采用“NTSC画像”和“入力する”。并且，在图20中，为验证完成模型要素A1“デイジタルデ一タを入力する(输入数字数据)”时，分解部1515按照每个词节分割该句子，分解为“デイジタルデ一タ”、“を”以及“入力する”。单词“を”由于是助词，所以被删除，而采用“デイジタルデ一タ”和“入力する”。并且，此处可以通过权重设定部1517对所分解出的单词加权。例如，也可以对单词“入力する”设定基本得分“+1”等、对想要重视的单词加权。

并且，组生成部1516在输入了未验证的顺序图时，根据表示通过未验证模型要素提取部1511提取的未验证模型要素的事件生成事件组。并且，同样地根据表示通过验证完成模型要素提取部1512提取的验证完成模型要素的事件生成事件组。在后面叙述事件组的具体示例。

组生成部1516在输入了未验证的配置图时，还根据表示通过未验证模型要素提取部1511提取的未验证模型要素的节点和链路生成配置组。并且，同样地根据表示通过验证完成模型要素提取部1512提取的验证完成模型要素的节点和链路生成配置组。在后面叙述配置组的具体示例。

相似度计算部1514计算通过未验证模型要素提取部1511提取的未验证模型要素、以及通过验证完成模型要素提取部1512提取的验证完成模型要素之间的相似度。具体讲，相似度计算部1514构成为包括比较部1518和得分计算部1519。

比较部1518对通过未验证模型要素提取部1511提取的未验证模型要素、以及通过验证完成模型要素提取部1512提取的验证完成模型要素进行比较。具体讲，在通过输入部1502输入了UML的用例图时，根据通过分解部1515得到的单词进行比较。例如，比较图19所示的未验证模型要素X1和图20所示的验证完成模型要素A1时，未验证模型要素X1的单词“NTSC画像”与验证完成模型要素A1的单词“デイジタルデ一タ”不一致。另一方面，未验证模型要素X1的单词“入力する”与验证完成模型要素A1的单词“入力する”一致。在该情况下，两个模型要素X1、A1的一部分一致。并且，比较未验证模型要素X3和验证完成模型要素A2时，未验证模型要素X3的单词“デイジタルデ一タ”与验证完成模型要素A2的单词“デイジタルデ一タ”一致。同样，用例描述X3的单词“書き込む”与验证完成模型要素A1的单词“書き込む”一致。在该情况下，两个模型要素X3、A2完全一致。

得分计算部1519根据通过比较部1518进行比较的比较结果，计算表示未验证模型要素和验证完成模型要素之间的相似度的得分。图21是表示对单词彼此进行比较时的得分条件和此时的基本得分及相关得分之间的关系的图表。基本得分是比较未验证模型要素和验证完成模型要素时加算或乘算的得分。并且，相关得分是通过比较部1518的比较、在符合特定条件时追加而加算的得分。该得分表示每个验证完成系统与未验证系统之间的相似度，设计者可以在得分小于等于预定值时判断为不相似，在得分大于预定值时判断为相似。并且，也可以把验证完成系统的得分中、前k个判断为相似，从第k+1个开始判断为不相似。并且，得分最高的验证完成系统与未验证系统最相似。

下面，说明未验证系统X和成为比较对象的验证完成系统以及得分之间的关系。图22是表示未验证系统X和成为比较对象的验证完成系统A以及得分之间的关系的说明图，图23是表示未验证系统X和成为比较对象的验证完成系统B以及得分之间的关系的说明图。

在图22和图23中，各个验证完成模型要素A1、A2、B1～B4分别与未验证模型要素X1～X3进行比较，从而获得通过得分计算部1519计算出的得分。

例如，对于图22所示的验证完成模型要素A1，在与未验证模型要素X1进行比较时，验证完成模型要素A1的单词“デイジタルデ一タ”与未验证模型要素X1的单词“デイジタルデ一タ”一致，所以相当于图21所示的“单词一致的情况”，加上基本得分“1”。另一方面，与未验证模型要素X2、X3比较时，由于单词不一致，所以基本得分不加分。因此，验证完成模型要素A1的单词“デイジタルデ一タ”的基本得分为“1”。

并且，对于图22所示的验证完成模型要素A1，与未验证模型要素X1进行比较时，验证完成模型要素A1的单词“入力する”与未验证模型要素X1的单词“入力する”一致，所以相当于图21的图表所示的“单词一致的情况”，加上基本得分“1”。同样，与未验证模型要素X2进行比较时，验证完成模型要素A1的单词“入力する”与未验证模型要素X1的单词“入力する”一致，所以相当于图22所示的“单词一致的情况”，加上基本得分“1”。另一方面，与未验证模型要素X3比较时，由于单词不一致，所以基本得分不加分。因此，验证完成模型要素A1的单词“入力する”的基本得分为“2”。

并且，在验证完成模型要素A1中，由于不符合图21所示的加上相关得分的得分条件，所以相关得分为“0”。因此，基本得分和相关得分的得分小计为“3”。

然后，对于图22所示的验证完成模型要素A2，与未验证模型要素X3进行比较时，验证完成模型要素A2的单词“デイジタルデ一タ”与未验证模型要素X3的单词“デイジタルデ一タ”一致，所以相当于图21的图表所示的“单词一致的情况”，加上基本得分“1”。同样，由于验证完成模型要素A2的单词“書き込む”与未验证模型要素X3的单词“書き込む”一致，所以相当于图21的图表所示的“单词一致的情况”，加上基本得分“1”。

并且，验证完成模型要素A2符合图21所示的加上相关得分的得分条件“在一个未验证模型要素中所有单词一致的情况”，所以可以加上相关得分。并且，由于单词的总数n＝2，所以所加的相关得分为“2”。因此，验证完成模型要素A2中的基本得分和相关得分的得分小计为“4”。

由此，表示验证完成的系统A相对于未验证的系统X的相似度的得分为验证完成模型要素A1、A2的得分小计的合计值，即“7”。

并且，当比较图23所示的验证完成模型要素B1～B4与未验证模型要素X1、X2时，由于任何单词都不一致，所以不符合图21所示的图表的得分条件。因此，表示验证完成的系统B相对于未验证的系统X的相似度的得分为“0”。

下面，说明未验证系统X和验证完成系统A、B之间的关系。图24是表示未验证系统X和验证完成系统A、B之间的关系的说明图。在图24中，连接未验证系统X和验证完成系统A、B的细线表示未验证模型要素和验证完成模型要素部分一致，粗线表示全部一致。在图24中，未验证模型要素X1～X3与验证完成模型要素A1部分一致，所以利用细线连接，但由于不是全部一致，所以相关得分为“0”。另一方面，未验证模型要素X3与验证完成模型要素A2全部一致，所以如图21所示那样相关得分为“2”。

另一方面，未验证模型要素X1～X3与验证完成模型要素B1～B4中任意一个均不一致，所以不用任何细线、粗线连接。因此，根据该图也可知系统B的表示相似度的得分为“0”，与系统X不相似。

下面，说明本发明的验证支持装置的实施方式的搜索结果显示示例。图25是表示本发明的验证支持装置的实施方式的搜索结果的显示示例的说明图。在图25中，搜索画面2500显示在图1所示的显示器108上。并且，也可以通过打印机113输出。该搜索画面2500具有框2501、框2502以及框2503。在框2501中显示有表示相似度的得分最高的搜索系统名称及其得分作为搜索结果。并且，在框2502中显示有搜索结果一览2504。在该搜索结果一览中按照表示相似度的得分的高低顺序显示有验证完成的系统名称。另外，在框2503中显示有表示相似度的得分最高的搜索系统的验证方针2505、验证项目2506、验证方式2507、成本信息2508以及验证环境2509作为搜索结果。

下面，说明验证完成系统的用例图相同、但顺序图和配置图不同的示例。图26是验证完成系统C的顺序图，图27是验证完成系统C的配置图。另外，该验证完成系统C的用例图与图3所示的验证完成系统A的用例图相同，所以省略了。

在图26的顺序图中，按照时间序列表示验证完成系统C中的数据的交换。在图26中，通过顺序号1，从作为角色301的数字数据输入装置对作为对象2601的控制ASIC，进行作为验证完成模型要素的事件“输入数据(数字数据)”。然后，通过顺序号1.1.，从作为对象2601的控制ASIC对作为对象2602的RAM，进行作为验证完成模型要素的事件“写入(数字数据)”。然后，通过顺序号1.2.，从作为对象2601的控制ASIC对作为对象2602的RAM，进行作为验证完成模型要素的事件“读取()”。此时的保护条件为“RAM为FULL”。然后，通过顺序号1.3.，从作为对象2601的控制ASIC对作为对象2603的SCSI控制器，进行作为验证完成模型要素的事件“对SCSI的写入(数字数据)”。此时的保护条件为“RAM为FULL”。然后，通过顺序号1.3.1.，从作为对象2603的SCSI控制器对作为角色304的SCSI-HD装置，进行作为验证完成模型要素的事件“输出给SCSI-HD(数字数据)”。

并且，在图27的配置图中表示系统C的物理结构。在图27中，节点2701是表示控制ASIC的验证完成模型要素，节点2702是表示RAM的验证完成模型要素，节点2703是表示SCSI控制器的验证完成模型要素。并且，链路2704是表示连接节点501和节点2702的控制接口的验证完成模型要素，链路2705是表示连接节点2701和节点2702的RAM接口的验证完成模型要素，链路2706是表示连接节点2701和节点2703的SCSI控制接口的验证完成模型要素，链路2707是表示连接节点2703和节点503的SCSI的验证完成模型要素。

下面，说明未验证系统X的规格描述的描述内容为UML的顺序图时的、验证完成系统A、C的验证完成模型要素及其得分之间的关系。图28是表示未验证系统X的规格描述为UML的顺序图时的、未验证系统X的验证完成事件组的说明图，图29是表示验证完成系统A的验证完成模型要素及其得分之间的关系的说明图，图30是表示验证完成系统C的验证完成模型要素及其得分之间的关系的说明图。

在图28中，未验证模型要素组X11是组合了图17所示的顺序号1的事件“输入信号”、以及顺序号1.1.的事件“转换为数字数据(输入信号)”的事件组。并且，未验证模型要素组X12是组合了顺序号1.1.的事件“转换为数字数据(输入信号)”、以及顺序号1.2.的事件“输出给SCSI-HD(数字数据)”的事件组。

并且，在图29中，验证完成模型要素组A11是组合了图4所示的顺序号1的事件“输入数据(数字数据)”、以及顺序号1.1.的事件“输出给SCSI-HD(数字数据)”的事件组。在比较该验证完成模型要素组A11和未验证模型要素组X11时，如图21所示，由于只有事件“输出给SCSI-HD(数字数据)”一致而基本得分为“1”，相关得分为“0”，得分合计为“1”。同样，在比较该验证完成模型要素组C11～C14和未验证模型要素组X11时，如图21所示，由于验证完成模型要素组C11～C13的得分小计为“0”、事件组C14中只有事件“输出给SCSI-HD(数字数据)”一致、而且具有保护条件“RAM为FULL”，所以基本得分为“0.5”，相关得分为“0”，得分合计为“0.5”。因此，验证完成系统C的得分合计为“0.5”。由此可知，关于系统内的数据流，与验证完成系统A相比，验证完成系统C与系统X更相似。

下面，说明未验证系统X的规格描述的描述内容为UML的配置图时的、验证完成系统A、C的验证完成模型要素及其得分之间的关系。图31是表示未验证系统X的规格描述为UML的配置图时的、未验证系统X的验证完成模型要素组的说明图，图32是表示验证完成系统A的验证完成模型要素及其得分之间的关系的说明图，图33是表示验证完成系统C的验证完成模型要素及其得分之间的关系的说明图。

在图31中，作为配置组的未验证模型要素组是在图5所示的配置图中相连接的节点和链路组合而成的模型要素组。未验证模型要素组X21是图18所示的节点1801和链路1805组合而成的配置组，未验证模型要素组X22是图18所示的节点1802和链路1806组合而成的配置组，未验证模型要素组X23是图18所示的节点1803和链路1807组合而成的配置组，未验证模型要素组X24是图18所示的链路1807和节点1804组合而成的配置组。

并且，在图32中，验证完成系统A的验证完成模型要素组A21是图5所示的节点501和链路504组合而成的配置组，验证完成模型要素组A22是图5所示的节点502和链路505组合而成的配置组，验证完成模型要素组A23是图5所示的节点505和链路503组合而成的配置组。

此处，把系统A的验证完成模型要素组A21～A24与图31所示的系统X的未验证模型要素组X21～X25比较时，由于验证完成模型要素组A21与任何一个验证模型要素组X21～X25都不一致，所以基本得分为“0”。

验证完成模型要素组A22与未验证模型要素组X23一致，所以基本得分为“1”。验证完成模型要素组A23与未验证模型要素组X24一致，所以基本得分为“1”。验证完成模型要素组A24与未验证模型要素组X25一致，所以基本得分为“1”。因此，验证完成系统A的得分合计为“3”。

并且，在图33中，验证完成系统C的验证完成模型要素组C21是图27所示的节点501和链路2704组合而成的配置组，验证完成模型要素组C22是图27所示的链路2704和节点2701组合而成的配置组，验证完成模型要素组C23是图27所示的节点2701和链路2705组合而成的配置组，验证完成模型要素组C24是图27所示的链路2705和节点2702组合而成的配置组，验证完成模型要素组C25是图27所示的节点2701和链路2706组合而成的配置组，验证完成模型要素组C26是图27所示的链路2706和节点2703组合而成的配置组，验证完成模型要素组C27是图27所示的节点2703和链路2707组合而成的配置组，验证完成模型要素组C28是图27所示的链路2707和节点503组合而成的配置组。

此处，把系统C的验证完成模型要素组C21～C28与图31所示的系统X的未验证模型要素组X21～X25比较时，由于验证完成模型要素组C21～C27与任何一个未验证模型要素组X21～X25都不一致，所以基本得分为“0”。另一方面，验证完成模型要素组C28与未验证模型要素组X25一致，所以基本得分为“1”。因此，验证完成系统C的得分合计为“1”。由此可知，关于系统的硬件结构，与验证完成系统C相比，验证完成系统A与系统X更相似。

(验证支持装置的验证支持处理步骤)

下面，说明本发明的实施方式的验证支持装置的验证支持处理步骤。图34～图37是表示本发明的实施方式的验证支持装置的验证支持处理步骤的流程图。在图34中，在输入了未验证系统的UML时(步骤S3401为“是”)，判断所输入的UML是否是用例图(步骤S3402)。在不是用例图时(步骤S3402为“否”)，判断所输入的UML是否是顺序图(步骤S3403)。在不是顺序图时(步骤S3403为“否”)，判断所输入的UML是否是配置图(步骤S3404)。在不是配置图时(步骤S3404为“否”)，返回步骤S3402。

在所输入的UML是用例图时(步骤S3402为“是”)，在图35中，从所输入的用例图中提取未验证模型要素(步骤S3501)。然后，通过分解部1515把表示所提取的未验证模型要素的句子分解为单词(步骤S3502)，并设定为i＝1(步骤S3503)。然后，从存储部1501中搜索是否有第i个验证完成系统的用例图(步骤S3504)。在没有用例图时(步骤S3504为“否”)，将i加1(步骤S3505)，返回步骤S3504。

在有第i个验证完成系统的用例图时(步骤S3504为“是”)，从存储部1501中提取第i个验证完成系统的用例图(步骤S3506)。然后，从所提取的用例图中提取验证完成模型要素(步骤S3507)，把其句子分解为单词(步骤S3508)。

然后，比较未验证模型要素和验证完成模型要素(步骤S3509)。该比较在分解后的单词之间进行。此后，根据比较结果，计算第i个验证完成系统的得分(步骤S3510)。在i与存储在存储部1501中的验证完成系统的总数N不一致时(步骤S3511为“否”)，将i加1(步骤S3512)，返回步骤S3504。

另一方面，在i与存储在存储部1501中的验证完成系统的总数N一致时(步骤S3511为“是”)，从存储部1501中提取得分最多的验证完成系统的逻辑验证内容(步骤S3513)。然后，输出所提取的逻辑验证内容(步骤S3514)，显示在显示器108上。

并且，在图34中，在所输入的UML是顺序图时(步骤S3403为“是”)，在图36中，从所输入的顺序图中提取未验证模型要素(步骤S3601)。然后，把连续的顺序号的未验证模型要素作为一个事件组(步骤S3602)，并设定为i＝1(步骤S3603)。然后，从存储部1501中搜索是否有第i个验证完成系统的顺序图(步骤S3604)。在没有顺序图时(步骤S3604为“否”)，将i加1(步骤S3605)，返回步骤S3604。

在有第i个验证完成系统的顺序图时(步骤S3604为“是”)，从存储部1501中提取第i个验证完成系统的顺序图(步骤S3606)。然后，从所提取的顺序图中提取验证完成模型要素(步骤S3607)，把连续的顺序号的验证完成模型要素作为一个事件组(步骤S3608)。

然后，比较成为事件组的未验证模型要素和验证完成模型要素(步骤S3609)。此后，根据比较结果，计算第i个验证完成系统的得分(步骤S3610)。在i与存储在存储部1501中的验证完成系统的总数N不一致时(步骤S3611为“否”)，将i加1(步骤S3612)，返回步骤S3604。

另一方面，在i与存储在存储部1501中的验证完成系统的总数N一致时(步骤S3611为“是”)，从存储部1501中提取得分最多的验证完成系统的逻辑验证内容(步骤S3613)。然后，输出所提取的逻辑验证内容(步骤S3614)，显示在显示器108上。

并且，在图34中，在所输入的UML是配置图时(步骤S3404为“是”)，在图37中，从所输入的配置图中提取未验证模型要素(步骤S3701)。然后，把连续的顺序号的未验证模型要素组作为一个配置组(步骤S3702)，并设定为i＝1(步骤S3703)。然后，从存储部1501中搜索是否有第i个验证完成系统的配置图(步骤S3704)。在没有配置图时(步骤S3704为“否”)，将i加1(步骤S3705)，返回步骤S3704。

在有第i个验证完成系统的配置图时(步骤S3704为“是”)，从存储部1501中提取第i个验证完成系统的配置图(步骤S3706)。然后，从所提取的配置图中提取作为验证完成模型要素的节点和链路(步骤S3707)，把连续连接的节点和链路作为一个配置组(步骤S3708)。

然后，比较成为配置组的未验证模型要素和验证完成模型要素(步骤S3709)。此后，根据比较结果，计算第i个验证完成系统的得分(步骤S3710)。在i与存储在存储部1501中的验证完成系统的总数N不一致时(步骤S3711为“否”)，将i加1(步骤S3712)，返回步骤S3704。

另一方面，在i与存储在存储部1501中的验证完成系统的总数N一致时(步骤S3711为“是”)，从存储部1501中提取得分最多的验证完成系统的逻辑验证内容(步骤S3713)。然后，输出所提取的逻辑验证内容(步骤S3714)，显示在显示器108上。

由此，可以按照所输入的UML的图，对未验证的UML和验证完成的UML之间的相似度进行分数化而算出，可把对相似度最高的验证完成系统进行的逻辑验证内容提供给设计者。

并且，在上述的实施方式中，作为规格描述，使用用例图、顺序图和配置图说明了UML的表述，但除此以外，也可以使用等级图、对象图、协作图、状态图、活动图、套件图或组件图。

并且，在上述的实施方式中，把验证完成的规格描述及其逻辑验证内容存储在存储部1501中，但也可以存储未进行验证的一般规格描述及其逻辑验证内容。并且，在输入未验证的设计对象时，也可以输入其名称。

如以上说明的那样，根据本实施方式的验证支持装置，可以实现对成为设计对象的系统进行的逻辑验证的费用的降低。由此，也可以降低与逻辑验证相关的费用估计出现偏差时的损失。因此，通过降低该逻辑验证的费用和损失，可以向市场提供廉价的LSI。

并且，设计者不需要进行所有的逻辑验证作业所需的费用估计，所以能够减轻设计者的负担，由此可以实现作业劳力的减轻、逻辑验证作业的工时的缩短化。

另外，可以在部门之间共享针对每个部门保管的逻辑验证内容。由此，可以通用设计资源，可以实现作业劳力的减轻、逻辑验证作业的工时的缩短化。

并且，以往，逻辑验证费用的估计是由部门负责人等的熟练的设计者来进行的，但通过使用该验证支持装置，即使不是熟练者也能简单地进行逻辑验证费用的估计。

另外，在本实施方式中说明的验证支持方法可以通过在个人计算机、工作站等的计算机中执行预先准备的程序来实现。该程序记录在硬盘、软盘、CD-ROM、MO、DVD等计算机可读的记录介质中，通过由计算机从记录介质中读取来执行。并且，该程序也可以是可通过互联网等网络发布的传输介质。

如以上说明的那样，根据本发明，可以确定按照与未验证设计对象的规格描述近似的规格描述设计的验证完成设计对象，能够获得对该验证完成设计对象进行的逻辑验证内容。由此，具有可以实现逻辑验证作业的低成本化和缩短作业时间的效果。

产业上的可利用性

如上所述，本发明适合于提供支持由硬件和软件构成的系统的验证的验证支持装置、验证支持方法、验证支持程序和记录了该程序的记录介质。

Claims (10)

1.一种验证支持装置，其特征在于，具有：

输入单元，其受理由未验证模型要素构成的、表示未验证设计对象的未验证规格描述的输入；

搜索单元，其从由验证完成模型要素构成的、表示验证完成设计对象的验证完成规格描述中，根据所述未验证模型要素和所述验证完成模型要素，搜索与通过所述输入单元输入的所述未验证规格描述相同或相似的所述验证完成规格描述；

逻辑验证内容提取单元，其根据通过所述搜索单元搜索到的搜索结果，提取对所述验证完成设计对象进行的逻辑验证内容；以及

输出单元，其输出通过所述逻辑验证内容提取单元提取的逻辑验证内容。

2.根据权利要求1所述的验证支持装置，其特征在于，

所述搜索单元具有：

提取所述未验证模型要素的未验证模型要素提取单元；

提取所述验证完成模型要素的验证完成模型要素提取单元；以及

相似度计算单元，其计算通过所述未验证模型要素提取单元提取的未验证模型要素、以及通过所述验证完成模型要素提取单元提取的验证完成模型要素之间的相似度，

所述逻辑验证内容提取单元根据通过所述相似度计算单元计算出的相似度，提取对所述验证完成设计对象进行的逻辑验证内容。

3.根据权利要求2所述的验证支持装置，其特征在于，

所述相似度计算单元具有：

比较单元，其对表示通过所述未验证模型要素提取单元提取的未验证模型要素的句子、以及表示通过所述验证完成模型要素提取单元提取的验证完成模型要素的句子进行比较；以及

得分计算单元，其根据通过所述比较单元进行比较的比较结果，计算表示所述相似度的得分，

所述逻辑验证内容提取单元根据通过所述得分计算单元计算出的得分，提取对所述验证完成设计对象进行的逻辑验证内容。

4.根据权利要求3所述的验证支持装置，其特征在于，

所述相似度计算单元具有分解单元，其将表示通过所述未验证模型要素提取单元提取的未验证模型要素的句子、以及表示通过所述验证完成模型要素提取单元提取的验证完成模型要素的句子分别分解为单词，

所述比较单元根据通过所述分解单元分解后的单词，对表示通过所述未验证模型要素提取单元提取的未验证模型要素的句子、以及表示通过所述验证完成模型要素提取单元提取的验证完成模型要素的句子进行比较。

5.根据权利要求4所述的验证支持装置，其特征在于，

具有权重设定单元，其对通过由所述分解单元分解表示所述未验证模型要素的句子而得到的单词进行加权，

所述得分计算单元根据通过所述比较单元进行比较的比较结果、以及通过所述权重设定单元加权后的单词的权重，计算表示所述相似度的得分。

6.根据权利要求1所述的验证支持装置，其特征在于，

表示所述未验证设计对象的未验证规格描述和表示所述验证完成设计对象的验证完成规格描述是利用UML描述的。

7.根据权利要求1所述的验证支持装置，其特征在于，

所述逻辑验证内容至少包括下述内容中的任意一项：逻辑验证方针、逻辑验证的项目、逻辑验证方式、逻辑验证所需的成本信息、或表示对所述验证完成设计对象进行逻辑验证时所使用的工具的逻辑验证环境。

8.一种验证支持方法，其特征在于，包括：

输入步骤，受理通过未验证模型要素描述的、表示未验证设计对象的未验证规格描述的输入；

搜索步骤，从通过验证完成模型要素描述的、表示验证完成设计对象的验证完成规格描述中，根据所述未验证模型要素和所述验证完成模型要素，搜索与通过所述输入步骤输入的所述未验证规格描述相同或相似的所述验证完成规格描述；

逻辑验证内容提取步骤，根据通过所述搜索步骤搜索到的搜索结果，提取对所述验证完成设计对象进行的逻辑验证内容；以及

输出步骤，输出通过所述逻辑验证内容提取步骤提取的逻辑验证内容。

9.一种验证支持程序，其特征在于，使计算机执行以下步骤：

输入步骤，受理通过未验证模型要素描述的、表示未验证设计对象的未验证规格描述的输入；

搜索步骤，从通过验证完成模型要素描述的、表示验证完成设计对象的验证完成规格描述中，根据所述未验证模型要素和所述验证完成模型要素，搜索与通过所述输入步骤输入的所述未验证规格描述相同或相似的所述验证完成规格描述；

逻辑验证内容提取步骤，根据通过所述搜索步骤搜索到的搜索结果，提取对所述验证完成设计对象进行的逻辑验证内容；以及

输出步骤，输出通过所述逻辑验证内容提取步骤提取的逻辑验证内容。

10.一种计算机可读的记录介质，其特征在于，

记录了权利要求9所述的验证支持程序。

Images