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

摘要

本发明提供验证支持装置、验证支持方法。验证支持装置(101)通过对按时间序列来表现设计对象的处理的顺序图(300)进行修正，来支持利用修正后的顺序图(301)所表现的设计对象的逻辑验证。图表提取部(1006)提取修正后的顺序图(301)。修正处理检测部(1009)对作为修正基础的顺序图(300)和修正后的顺序图(301)进行比较，检测出修正处理(827a、828a)。通用判定部(1010)基于修正处理(827a、828a)，判断在利用作为修正基础的顺序图所表现的设计对象的回归测试中使用的测试平台，是否能够通用于利用修正后的顺序图(301)所表现的设计对象的回归测试。测试平台(1011)基于通用判定部(1010)的判定结果输出测试平台。

说明书

技术领域

本发明涉及用于支持LSI(大规模集成电路)设计的验证作业的验证支持装置、验证支持方法、验证支持程序和记录介质。

背景技术

在LSI设计中，为了尽快将具有竞争力的产品供应市场，一直以来，要求缩短设计周期以提高作业效率，另一方面，在设计期间必须进行验证LSI是否正确工作的验证作业，特别是对于要求大规模化、高性能化、高速化和低功耗的LSI，其验证作业对于维持高品质至关重要。

这里对现有的LSI设计的设计期间中的验证作业进行具体说明。当开发了某种LSI时，有时要对该已开发的LSI进行改进而得到下一期的LSI。下一期的LSI与作为改进基础的LSI仅部分电路不同，其他部分是相同的。另外，通常在对LSI整体进行验证时，准备进行逻辑验证的各种测试，对LSI进行测试。因此，在对下一期的LSI整体进行验证时，通常再利用对作为改进基础的LSI所进行过的测试来进行验证。具体而言，对于下一期的LSI，既可以全部采用对作为改进基础的LSI所进行的测试来实施验证作业，也可以基于设计者的经验，从对作为改进基础的LSI所进行的测试中选择必要的测试来实施验证作业，或者通过对下一期的LSI的程序结构进行解析，利用对作为改进基础的LSI所进行的测试中的与改进部分有关的测试来实施验证作业。

但是，如上所述，由于LSI的大规模化和高性能化，对作为改进基础的LSI所进行的测试数量变得庞大，从而导致验证作业所需时间变长，结果存在导致设计期间变长的问题。另外，在基于设计者的经验来实施验证作业时，有时会选择了与改进部位无关的测试，从而也导致验证作业所需时间变长，结果存在导致设计期间变长的问题。另外，在通过对下一期的LSI的程序结构进行解析来实施验证作业的情况下，虽然能够仅选择必要的测试，但是由于程序解析费时，结果也存在导致设计期间变长的问题。

发明内容

本发明目的在于解决上述现有技术的问题，提供验证支持装置、验证支持方法、验证支持程序和记录介质，能够通过简单且高效地检测出能够通用的测试平台，来实施验证作业的支持。

为了解决上述问题并实现目的，本发明的验证支持装置、验证支持方法、验证支持程序和记录介质通过对在时间序列中表现设计对象的处理的图表进行修正，来对修正后的图表所表现的设计对象的逻辑验证进行支持，其特征在于，接受所述修正后的图表的输入，基于作为修正基础的图表和输入的修正后的图表，检测出经过修正的处理(以下称为“修正处理”)，根据检测出的修正处理，判定在所述作为修正基础的图表所表现的设计对象的逻辑验证中使用的测试平台，能否被通用于所述修正后的图表所表现的设计对象的逻辑验证，并基于该判定结果输出所述测试平台。根据本发明，能够仅通过输入修正后的图表，来检测出作为修正基础的图表所表现的对设计对象使用的测试平台。

附图说明

图1是表示本发明实施方式的验证支持系统的概略结构的说明图。

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

图3是表示顺序图数据库的存储内容的说明图。

图4是说明测试平台数据库的存储内容的说明图。

图5是表示顺序图一测试平台对应表格的说明图。

图6是表示存储于源码数据库中的存储内容的说明图。

图7是表示回归测试运行记录数据库的存储内容的说明图。

图8是表示图3所示顺序图数据库中存储的顺序图的一例的说明图(之一)。

图9是表示图3所示顺序图数据库中存储的顺序图的一例的说明图(之二)。

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

图11是表示本发明实施方式的验证支持处理步骤的流程图。

图12是表示图11所示的1次回归测试的处理顺序的流程图。

图13是表示图11所示的顺序图更新处理步骤和源码更新处理步骤的流程图。

图14是表示图11所示的测试平台检索处理步骤的流程图。

图15是表示n+1次回归测试处理步骤的流程图。

具体实施方式

下面参照附图对本发明的验证支持装置、验证支持方法、验证支持程序和记录介质的优选实施方式进行详细说明。

(实施方式1)

(验证支持系统的概略结构)

首先对本发明实施方式的验证支持系统的概略结构进行说明。图1是表示本发明实施方式的验证支持系统100的概略结构的说明图。验证支持系统100把验证支持装置101与多个终端装置102经由LAN、WAN、英特网等网络103连接成可相互通信。

验证支持装置101通过对按时间序列来表现设计对象的处理的图表(例如顺序图)进行修正，来支持利用修正后的图表来表现的设计对象的逻辑验证。具体而言，输出利用修正后的图表所表现的对设计对象所使用的测试平台。另外，验证支持装置101具备：顺序图数据库104；测试平台数据库105；顺序图-测试平台对应表格106；源码数据库107；以及回归测试运行记录数据库108。对于这些数据库和表格在后面进行叙述。终端装置102通过用户的输入操作，接收经由网络103从验证支持装置101输出的测试平台。

(验证支持装置101和终端装置102的硬件结构)

下面对本发明的实施方式的验证支持装置101和终端装置102的硬件结构进行说明。图2是表示本发明实施方式的验证支持装置和终端装置的硬件结构的框图。

图2中，验证支持装置101和终端装置102分别具备：CPU 201；ROM 202；RAM 203；HDD(硬盘驱动器)204；HD(硬盘)205；FDD(软盘驱动器)206；作为可装卸的记录介质-例的FD(软盘)207；显示器208；I/F(接口)209；键盘210；鼠标211；扫描仪212；打印机213。并且，各构成部分通过总线200分别连接。

这里，CPU 201对验证支持装置101和终端装置102整体进行控制。ROM 202存储引导程序(boot program)等程序。RAM 203用作CPU 201的工作区域。HDD 204根据CPU 201的控制来控制对HD 205的数据的读/写。HD 205存储通过HDD 204的控制而写入的数据。

FDD 206根据CPU 201的控制来控制对FD 207的数据的读/写。FD207存储通过FDD 206的控制而写入的数据，或者将存储于FD 207中的数据读取到验证支持装置101和终端装置102。

作为可装卸的记录介质，除了FD 207以外，也可以是CD-ROM(CD-R、CD-RW)、MO、DVD(Digital Versatile Disk)、存储卡等。显示器208显示以光标、图标或者工具箱为代表的文档、图像、功能信息等数据。该显示器208可以采用例如CRT、TFT液晶显示器、等离子显示器等。

I/F 209通过通信线路与英特网等网络103连接，并经由该网络103与其他装置连接。并且，I/F 209作为网络103与内部的接口，控制来自外部装置的数据的输入输出。在I/F 209中例如可以采用调制解调器或者LAN适配器等。

键盘210具有用于输入字符、数字、各种指示等的键，执行数据输入。另外，也可以是触摸面板式输入盘或者0～9数字键等。鼠标211能够进行光标的移动和范围选择或者窗口的移动和尺寸变更等。只要具有与作为指示设备的一样的功能，也可以是跟踪球或操纵杆等。

扫描仪212对图像进行光学读取，将图像数据取入验证支持装置101和终端装置102内。另外，扫描仪212也可以具有OCR(光学字符识别)功能。另外，打印机213打印图像数据或文档数据。打印机213例如可以采用激光打印机或喷墨打印机。

(各数据库和表格的存储内容)

下面使用图3～图7对图1所示的顺序图数据库104、测试平台数据库105、顺序图-测试平台对应表格106、源码数据库107和回归测试运行记录数据库108中存储的内容进行说明。首先，对顺序图数据库104进行说明。图3是表示顺序图数据库的存储内容的说明图。

图3中，顺序图数据库104对每个设计对象存储了顺序图、顺序图的版本号和回归测试的版本号。该顺序图是利用UML(Unified ModelingLanguage，统一建模语言)等计算机可读取的记述语言所制作的图，是按时间序列来表现设计对象的处理的图表的一例。这里，虽然举出了顺序图的例子，但是也可以使用用例(Use case)图按时间序列来表现数据流。

另外，顺序图的版本号是把顺序图存储于顺序图数据库104中时所赋予的编号。另外，回归测试的版本号是在利用顺序图表现的设计对象的逻辑验证(回归测试)合格时所赋予的编号。当未进行逻辑验证时，或者在逻辑验证不合格时，不赋予回归测试的版本号。

这里，对图3所示的例子进行具体说明，对设计对象“○○装置”存储两个顺序图300、301。版本号1.0的顺序图300在版本号5.0的回归测试中合格。另外，版本号1.1的顺序图301是对版本号1.0的顺序图进行了修正的顺序图，在版本号5.1的回归测试中合格。

下面对测试平台数据库105的存储内容进行说明。图4是说明测试平台数据库105的存储内容的说明图。在图4中，在测试平台数据库105中存储了：测试平台test1.cpp～test3.cpp；该测试平台test1.cpp～test3.cpp的版本号；以及回归测试的版本号。测试平台test1.cpp～test3.cpp是用于验证设计对象的动作例如时钟的产生、输入模式的产生、与期待值的比较等的记述，由图3所示的顺序图300、301的参与者(actor)提供。另外，测试平台test1.cpp～test3.cpp的版本号是在把测试平台test1.cpp～test3.cpp存储于测试平台数据库105中时所赋予的编号。另外，回归测试的版本号是在测试平台所提供的设计对象在逻辑验证中合格时所赋予的编号。当未进行逻辑验证时，或者逻辑验证不合格时，不赋予回归测试的版本号。

下面对顺序图-测试平台对应表格106进行说明。图5是表示顺序图-测试平台对应表格106的说明图。图5中，把表现设计对象的顺序图和对利用该顺序图表现的设计对象所使用的测试平台，与顺序图-测试平台对应表格106对应起来。在图5所示例中，把表现被执行了图3所示的版本号5.0的回归测试的设计对象的顺序图300，与在图4所示的版本号5.0的回归测试中使用的测试平台test1.cpp～test3.cpp对应起来。

下面对源码数据库107的存储内容进行说明。图6是表示存储于源码数据库107中的存储内容的说明图。图6中，在源码数据库107中，对每个顺序图存储了源码和源码的版本号。源码是表示利用顺序图表现的设计对象的设计内容的设计数据。另外，源码的版本号是在把源码存储于源码数据库107中时所赋予的编号。

在图6所示例中，对图3所示的顺序图300存储了源码AAA、BBB、CCC。版本号1.0的源码AAA是以顺序图300为基础而设计的数据。版本号1.1的源码BBB是对源码AAA进行了修正的数据。版本号1.2的源码CCC是对源码BBB进行了修正的数据。

下面对回归测试运行记录数据库108的存储内容进行说明。图7是表示回归测试运行记录数据库108的存储内容的说明图。图7中，在回归测试运行记录数据库108中存储有：回归测试的测试执行日期时间；已执行回归测试的源码；用于回归测试的测试平台；以及基于回归测试的逻辑验证的合格与否判定结果。例如，对图6所示的源码AAA使用测试平台test1.cpp～test3.cpp，全部合格。

下面对存储于图3所示的顺序图数据库104中的顺序图的一例进行说明。图8和图9是表示图3所示顺序图数据库104中存储的顺序图300、301的一例的说明图。图8中，在顺序图300中记述了参与者800和对象810。参与者800表示在顺序图300中从外部进行数据输入的抽象的外部实体。作为图8所示的参与者800，记述了用户801、图像输入装置802、电视接口(TV I/O)803。

这里，对象810表示设计对象内部的结构(包括硬件和软件)。作为图8所示的对象810，记述了接口化的八个类811～818(控制软件811；流接收部812；流解析部813；内部解压缩部814；中间解压缩部815；图像输出部816；图像缓冲器817；解压缩后数据传送部818)。另外，各参与者800和类的纵轴称为各参与者800和类的生存线，在部分类的生存线上记述了表示生存周期的活性区间(生存线上的矩形)。另外，在对象810之间，或者参与者800与对象810之间表示参与者800和对象810(类811～818)的处理(方法)821～836。该处理821～836称为表示对象810的动态特性的“操作”，记述为成员函数。

这里对所述图8所示的顺序图300的处理流程进行说明。所述设计对象在这里表示DVD播放器。首先，当从用户801输入“解码开始”的处理821时，控制软件811执行“流接收开始”的处理822。另外，当从图像输入装置802通过图像数据的写入处理(“write(流)”)823执行了流接收时，流接收部812对流解析部813执行发送所接收的图像数据(流数据)的发送开始信号的处理(“start()”)824。流解析部813对流接收部812执行要解析的图像数据的读取处理(“read()”)825，当积累了一定量的图像数据时，对流解析部813执行所接收的图像数据的发送处理(“流数据”)826。

流解析部813对所接收的图像数据进行解析，提取出内部数据和中间数据。另外，执行将所提取的内部数据发送给内部解压缩部814的发送处理(“write(内部数据)”)827，以及将所提取的中间数据发送给中间解压缩部815的发送处理(“write(交互数据)”)828。内部解压缩部814执行将经内部解压缩的数据发送给解压缩后数据传送部818的发送处理(“write(内部解压缩后数据)”)829。反复执行该发送处理829直到一张图像被处理。中间解压缩部815对图像缓冲器817执行参照图像数据的读取处理(“read”)830，图像缓冲器817执行将参照图像数据发送给中间解压缩部815的发送处理(“参照图像数据”)831。然后，中间解压缩部815执行将经中间解压缩的数据发送给解压缩后数据传送部818的发送处理(“write(中间解压缩后数据)”)832。

解压缩后数据传送部818执行将图像数据发送给图像缓冲器817的发送处(“write”)833。反复执行该发送处833直到一张图像被处理。另外，在已处理了一张图像的情况下，图像缓冲器817执行对解压缩后数据传送部818发送该意思的处(“successful”)834。然后，图像输出部816在进行了三张图像的过滤时，执行该图像的读取处理(“read”)835。然后，图像输出部816执行对电视接口803发送通过读取处理835读取的图像的发送处(“write(data)”)836。

下面对图9所示的顺序图301进行说明。图9所示的顺序图301是对图8所示的顺序图300进行了修正的图。具体而言，是在流解析部813与内部解压缩部814之间追加了逆量子化部819的图，除此以外与顺序图300相同，因此标以相同符号并省略其说明。通过增加该逆量子化部819，流解析部813执行将所提取的内部数据发送给逆量子化部819的发送处理(“write(内部数据)”)827a，以及将所提取的中间数据发送给逆量子化部819的发送处(“write(中间数据)”)828a。逆量子化部819将所接收的内部数据逆量子化，执行发送给内部解压缩部814的发送处理(“write(数据)”)827b。反复执行该发送处理827b直至一张图像被处理。另外，逆量子化部819将所接收的中间数据逆量子化，执行将其发送给中间解压缩部815的发送处理(“write(数据)”)828b。

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

下面对本发明的实施方式的验证支持装置101的功能结构进行说明。图10是表示本发明实施方式的验证支持装置101的功能结构的说明图。图10中，验证支持装置101具备：图表存储部1001；测试平台存储部1002；源码存储部1003；回归测试运行记录存储部1004；图表制作/修正部1005；图表提取部1006；逻辑验证信息生成部1007；合格与否判定部1008；修正处理检测部1009；通用判定部1010；测试平台输出部1011；逻辑验证部1012；源码制作/修正部1013。

图表存储部1001存储按时间序列来表现设计对象的处理的图表和与该图表有关的信息。图表存储部1001具体而言，存储图8或图9所示的顺序图300、301，更具体而言，由图3所示的顺序图数据库104构成。测试平台存储部1002存储用于设计对象的逻辑验证的测试平台。测试平台存储部1002具体而言，由图4所示的测试平台数据库105构成。

源码存储部1003存储表现设计对象的设计内容的源码。源码存储部1003具体而言，由图6所示的源码数据库107构成。回归测试运行记录存储部1004存储回归测试的运行记录。回归测试运行记录存储部1004具体而言由图7所示的回归测试运行记录数据库108构成。另外，图表存储部1001、测试平台存储部1002、源码存储部1003以及回归测试运行记录存储部1004具体而言，例如可利用图2所示的ROM 202、RAM203、HD 205、FD207等实现其功能。

图表制作/修正部1005执行按时间序列来表现设计对象的处理的图表的制作和修正。具体而言，例如通过设计者的操作，制作图8所示的顺序图300，并将制作的顺序图300修正为图9所示的顺序图301。制作和修正的顺序图300、301存储于图表存储部1001。

图表提取部1006提取出存储于图表存储部1001中的图表。具体而言，通过设计者的操作，从图3所示的顺序图300中提取出任意的顺序图，例如提取出通过图表制作/修正部1005进行了修正的修正后的顺序图301。

逻辑验证信息生成部1007生成与对设计对象执行的逻辑验证有关的信息。具体而言，在逻辑验证(回归测试)合格时，作为与逻辑验证有关的信息，生成该回归测试的版本号，赋予给表现回归测试合格的设计对象的处理的顺序图、在合格的回归测试中使用的测试平台、表现回归测试合格的设计对象的设计内容的源码。

合格与否判定部1008基于通过逻辑验证信息生成部1007生成的与逻辑验证有关的信息，判定利用由图表提取部1006所提取的修正后的图表所表现的设计对象在逻辑验证中是否合格。具体而言，根据对由图表提取部1006提取出的修正后的顺序图301是否赋予了回归测试的版本号，来进行判定。

修正处理检测部1009对作为修正基础的图表和由图表提取部1006提取出的修正后的图表进行比较，检测经修正的处理(以下称为修正处理)。具体而言，对同一设计对象而言，对图3所示的作为修正基础的版本号1.0的顺序图300(参照图8)和图3所示的成为修正后的版本号1.1的顺序图301(参照图9)进行比较。另外，从成为修正后的版本号1.1的顺序图301中检测出输入逆量子化部818的活性区间的处理827a、828a，作为修正处理。另外，修正处理检测部1009在通过合格与否判定部1008判定为在逻辑验证中不合格的情况下，也可以对修正后的图表和作为修正基础的图表进行比较，检测出经修正的处理。

通用判定部1010基于通过修正处理检测部1009检测出的修正处理827a、828a，判定在利用修正后的图表所表现的设计对象的逻辑验证中使用的测试平台，能否在利用修正后的图表所表现的设计对象的逻辑论证中通用。对于该通用判定部1010的具体内容在后面叙述。

测试平台输出部1011根据由通用判定部1010所判定的判定结果，输出测试平台。具体而言，根据由通用判定部1010所判定的判定结果，从测试平台存储部1002中提取可通用的测试平台，向逻辑验证部1012输出。逻辑验证部1012使用从测试平台输出部1011输出的测试平台，执行源码的回归测试。

源码制作/修正部1013执行表现设计对象的设计内容的源码的制作和修正。具体而言，例如通过设计者的操作，制作图6所示的源码AAA，另外，将制作的源码AAA修正为源码BBB，进而将修正后的源码BBB修正为源码CCC。制作和修正的源码存储于源码存储部1003。

下面对通用判定部1010进行具体说明。图10中，通用判定部1010具备：外部实体检测部1021；外部实体判定部1022；通用判定执行部1023。外部实体检测部1021从表现设计对象的修正后的图表中从外部执行数据输入的外部实体群中，检测出通过输入相应数据而使得由修正处理检测部1009检测出的修正处理被执行的外部实体。具体而言，从作为图9所示的修正后的顺序图301中记述的外部实体的多个参与者(actor)800(参照图8)中，检测出执行修正处理827a、828a的参与者800。更具体而言，检测出执行作为修正处理的图像数据发送处理(“write(内部数据)”)827a的作为类的流解析部813，检测出发送处理(“流数据”)826的作为类的流接收部812，该发送处理826发送由所检测出的流解析部813进行解析的流数据(图像数据)，检测出向所检测出的流接收部812进行流数据(图像数据)的发送处理(“write(流)”)823的作为参与者800的图像输入装置802。

外部实体判定部1022判定通过外部实体检测部1021检测出的外部实体是否包含于作为修正基础的图表中。具体而言，判定通过外部实体检测部1021所检测出的图像输入装置802是否被记述于作为修正基础的顺序图300中。然后，在未记述的情况下，判定为通过外部实体检测部1021所检测出的外部实体未包含于作为修正基础的图表中。另一方面，在记述了的情况下，判定记述于修正后的顺序图301中的图像输入装置802(所检测出的参与者800)所执行的处理823，与记述于作为修正基础的顺序图300中的图像输入装置802所执行的处理823是否一致。在不一致的情况下，判定为通过外部实体检测部1021所检测出的参与者800未包含于作为修正基础的顺序图300中。另一方面，在一致的情况下，判定为通过外部实体检测部1021所检测出的参与者800包含于作为修正基础的顺序图300中。

通用判定执行部1023根据通过外部实体判定部1022所判定的判定结果，判定在利用作为修正基础的图表所表现的设计对象的逻辑验证中使用的测试平台，能否通用于利用修正后的图表所表现的设计对象的逻辑验证。具体而言，在通过外部实体判定部1022判定为由外部实体检测部1021所检测出的参与者800包含于作为修正基础的顺序图300中的情况下，判定为能够通用用于通过该作为修正基础的顺序图300所表示的设计对象的测试平台。更具体而言，对于与图9所示的顺序图301对应的源码，能够通用在与图8所示的顺序图300对应的源码的逻辑验证中使用的测试平台。

另外，通用判定部1010具备：源码提取部1024；修正记述检测部1025；处理检索部1026；处理判定部1027。源码提取部1024在通过合格与否判定部1008判定为在逻辑验证中合格的情况下，从表现在该逻辑验证中合格的设计对象的设计内容的源码群中，提取在该合格的逻辑验证中使用的源码和对该源码进行了修正的修正后的源码。对于将在逻辑验证中使用的源码进行了修正的修正后的源码，能够通过对源码版本号的比较来确定。例如，在图6中，在用于合格的逻辑验证的源码为源码BBB的情况下，提取出被赋予了与源码BBB的版本号相比为最新的版本号的源码CCC。

修正记述检测部1025对由源码提取部1024提取的源码相互进行比较，检测出经修正的记述(以下称为修正记述)。具体而言，使用diff命令来检测修正记述。

处理检索部1026从表现在逻辑验证中合格的设计对象的图表以外的其它图表中，检索利用由修正记述检测部1025所检测出的修正记述所表现的处理。具体而言，检索图表存储部1001，从表现在逻辑验证中合格的设计对象的顺序图以外的其他顺序图中，提取利用所检测出的修正记述(成员函数)表现的处理。

处理判定部1027判定通过处理检索部1026所检索出的处理是否包含于表现在逻辑验证中合格的设计对象的图表中。具体而言，在通过处理检索部1026所检索出的处理包含于表现在逻辑验证中合格的设计对象的顺序图中时，测试平台输出部1011参照图5所示的顺序图-测试平台对应表格106，从测试平台存储部1002中，提取与包含有通过处理检索部1026所检索出的处理的顺序图对应的测试平台。

另外，上述的图表制作/修正部1005、图表提取部1006、逻辑验证信息生成部1007、合格与否判定部1008、修正处理检测部1009、通用判定部1010、测试平台输出部1011、逻辑验证部1012、以及源码制作/修正部1013具体而言，例如通过由CPU 201执行记录于图2所示的ROM202、RAM 203、HD 205、FD 207等中的程序，或通过I/F 209，来实现其功能。

(验证支持处理顺序)

下面对本发明的实施方式的验证支持处理顺序进行说明。图11是表示本发明实施方式的验证支持处理顺序的流程图。图11中，首先执行初始数据登记处理(步骤S1101)。在该处理中，将作为设计对象的1次开发的设计数据的版本号1.0的顺序图300、测试平台test1.cpp～test3.cpp、版本号1.0的源码AAA，登记于各数据库104、105、107。接着，利用通过初始数据登记处理所登记的数据执行1次回归测试(步骤1102)。所述初始数据登记处理(步骤S1101)和1次回归测试(步骤1102)称为1次开发步骤。然后，执行用于确定在回归测试中合格的源码的发布处理(步骤S1103)。

接着通过顺序图更新处理进行顺序图的更新(修正)(步骤S1104)，通过源码更新处理进行源码的更新(修正)(步骤S1105)。然后，进行测试平台检索处理(步骤S1106)。具体而言，从在作为修正基础的顺序图或源码中使用的测试平台中，检索能够通用于修正后的顺序图或源码的测试平台。然后，通用所检索出的测试平台，进行n+1次回归测试(步骤S1107)。从该顺序图更新处理到回归测试的处理步骤(步骤S1104～步骤S1107)称为n+1次开发步骤(n＝1，2，3，…)。当在n+1次回归测试中合格时(步骤S1108：是)，转入发布处理(步骤S1103)，当不合格时(步骤S1108：否)，转入下一个n+1次开发步骤(步骤S1104)。

(回归测试的处理步骤)

下面对图11所示的1次回归测试的处理顺序进行说明。图12是表示图11所示的1次回归测试的处理顺序的流程图。图12中，首先从源码数据库107中提取任意的源码(步骤S1201)。另外，从测试平台数据库105中提取任意的测试平台(步骤S1202)。然后，判定所提取的测试平台是否已经用于所提取的源码(步骤S1203)。在已经使用时(步骤S1203：是)，转入步骤1210。另一方面，在未使用时(步骤S1203：否)，使用所提取的测试平台，执行对根据源码所设计的设计对象的动作进行验证的模拟(步骤S1204)。

当在模拟中不合格时(步骤S1205：否)，转入步骤S1209。另一方面，当在模拟中合格时(步骤S1205：是)，生成回归测试的版本号(步骤S1206)。另外，对与该源码对应的顺序图赋予回归测试的版本号(步骤S1207)，将回归测试运行记录数据库108更新为所使用的测试平台(步骤S1209)。

当存在未执行过模拟的测试平台时(步骤S1210：是)，转入步骤S1202。另一方面，当不存在未执行模拟的测试平台时(步骤S1210：否)，结束1次回归测试。

(顺序图更新处理顺序和源码更新处理顺序)

下面对图11所示的顺序图更新处理顺序和源码更新处理顺序进行说明。图13是表示图11所示的顺序图更新处理顺序和源码更新处理顺序的流程图。图13中，当不修正顺序图时(步骤S1301：否)，转入步骤S1306。另一方面，当要修正顺序图时(步骤S1301：是)，提取要修正的顺序图(步骤S1302)。然后，修正所提取的顺序图(步骤S1303)。另外，针对顺序图数据库104，将版本号赋予给修正过的顺序图(步骤S1304)，更新为修正后的顺序图和版本号(步骤S1305)。

然后，当不修正源码时(步骤S1306：否)，结束一系列的处理。另一方面，当要修正源码时(步骤S1306：是)，提取要修正的源码(步骤S1307)，修正所提取的源码(步骤S1308)。然后，对修正过的源码赋予版本号(步骤S1309)，更新为修正后的源码和版本号(步骤S1310)。

(测试平台检索处理顺序)

下面对图11所示的测试平台检索处理顺序进行说明。图14是表示图11所示的测试平台检索处理顺序的流程图。图14中，首先从顺序图数据库104中提取任意设计对象的最新版本的顺序图(步骤S1401)。然后，判定是否对已所提取的顺序图赋予了回归测试的版本号(步骤S1402)。

当未赋予回归测试的版本号时(步骤S1402：否)，利用所提取的顺序图所表现的设计对象是未验证的设计对象。因此，从比来自所提取出的顺序图的版本号更老的版本号的顺序图(作为修正基础的顺序图)中，提取出具有回归测试的版本号的最新版本的顺序图(步骤S1403)。

接着对所提取的顺序图相互进行比较，检测出修正处理(步骤S1404)。然后，当未检测出修正处理时(步骤S1405：否)，结束一系列的处理。另一方面，当检测出修正处理时(步骤S1405：是)，通过参照图5所示的顺序图-测试平台对应表格106，判定对利用老的版本号的顺序图所表现的设计对象使用的测试平台能否通用(步骤S1406)。

当不能够通用时(步骤S1406：否)，结束一系列的处理。此时，用户801通过执行测试平台的版本升级，对图5所示的顺序图-测试平台对应表格106进行更新。另一方面，当能够通用时(步骤S1406：是)，从测试平台数据库105中提取出被判定为能够通用的测试平台(步骤S1407)。

另外，当赋予了回归测试的版本号时(步骤S1402：是)，参照回归测试运行记录数据库108，从源码群中，提取表现在回归测试(逻辑验证)中合格的设计对象的设计内容的源码(步骤S1408)，其中该源码群表现利用在逻辑验证中合格的最新版本的顺序图所表现的设计对象的设计内容。

另外，参照源码数据库107，从源码群中，提取最新版本的源码(步骤S1409)，其中该源码群表现利用在逻辑验证中合格的最新版本的顺序图所表现的设计对象的设计内容。然后，对通过步骤S1408和步骤S1409提取的源码相互进行比较(步骤S1410)，检测出修正记述(步骤S1411)。

当未检测出修正记述时(步骤S1141：否)，结束一系列的处理。另一方面，当检测出修正记述时(步骤S1411：是)，从表现在回归测试中合格的设计对象的顺序图以外的其他顺序图中，检索利用所检测出的修正记述表现的处理(步骤S1412)。

然后，判定通过步骤S1412所检索出的处理，是否包含于通过步骤S1401提取出的最新版本的顺序图中(步骤S1413)。当通过处理检索部1026所检索出的处理未包含于通过步骤S1401提取出的最新版本的顺序图中时(步骤S1413：否)，结束一系列的处理。另一方面，当通过处理检索部1026所检索出的处理包含于通过步骤S1401提取出的最新版本的顺序图中时(步骤S1413：是)，参照图5所示的顺序图-测试平台对应表格106，提取出与包含步骤S1412中检索出的处理的顺序图对应的测试平台(步骤S1407)。

(n+1次回归测试的处理顺序)

下面对图11所示的n+1次回归测试的处理顺序进行说明。图15是表示n+1次回归测试处理顺序的流程图。图15中，首先从源码数据库107中提取与最新版本的顺序图对应的源码(步骤S1501)。然后，判定所提取的测试平台是否已经对所提取的源码使用(步骤S1502)。当已经使用时(步骤S1502：是)，转入步骤S1509。另一方面，当未使用时(步骤S1502：否)，使用所提取的测试平台，执行对根据源码所设计的设计对象的动作进行验证的模拟(步骤S1503)。

当在模拟中不合格时(步骤S1504：否)，转入步骤S1508。另一方面，当在模拟中合格时(步骤S1504：是)，生成回归测试的版本号(步骤S1505)。另外，对与该源码对应的顺序图赋予回归测试的版本号(步骤S1506)，对使用的测试平台赋予回归测试的版本号(步骤S1507)。然后，对回归测试运行记录数据库108进行更新(步骤S1508)。

当存在未执行模拟的测试平台时(步骤S1509：是)，转入步骤S1502。另一方面，当不存在未执行模拟的测试平台时(步骤S1509：否)，结束n+1次回归测试。

根据本实施方式的验证支持装置101，能够从作为修正基础的顺序图300中，检测出修正后的顺序图301中的修正处理，因此，设计者在进行n+1次开发时，能够容易且高效地检测出用于过去的开发中的测试平台。因此，能够大幅缩短验证作业所需的时间，提高验证作业的效率。并且，不会通用不需要的测试平台，因此不会进行无用的回归测试，提高验证作业的效率。

另外，即使在对不需要进行顺序图修正的源码仅作简单修正时，也能够通过对源码之间进行比较来检测出修正记述，因此设计者能够与上述情况同样地，在进行n+1次开发时，能够容易且高效地检测出用于过去的开发中的测试平台。因此，能够大幅缩短验证作业所需的时间，提高验证作业的效率。

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

如上所述，根据本发明的验证支持装置、验证支持方法、验证支持程序和记录介质，能够仅通过输入修正后的图表，来检测出对利用作为修正基础的图表所表现的设计对象使用的测试平台，从而能够简单高效地仅检测出能够通用的测试平台，实现能够支持验证作业的效果。

如上所述本发明可用于支持LSI设计的验证作业的验证支持装置、验证支持方法、验证支持程序和记录介质。