JP3920308B2 - 検証支援装置、検証支援方法、検証支援プログラムおよび記録媒体 - Google Patents
検証支援装置、検証支援方法、検証支援プログラムおよび記録媒体 Download PDFInfo
- Publication number
- JP3920308B2 JP3920308B2 JP2005510142A JP2005510142A JP3920308B2 JP 3920308 B2 JP3920308 B2 JP 3920308B2 JP 2005510142 A JP2005510142 A JP 2005510142A JP 2005510142 A JP2005510142 A JP 2005510142A JP 3920308 B2 JP3920308 B2 JP 3920308B2
- Authority
- JP
- Japan
- Prior art keywords
- verified
- unverified
- model element
- use case
- specification description
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
- G06F30/3323—Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Storage Device Security (AREA)
- Stored Programmes (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Description
(検証支援装置のハードウェア構成)
まず、この発明の実施の形態にかかる検証支援装置のハードウェア構成について説明する。第1図は、この発明の実施の形態にかかる検証支援装置のハードウェア構成を示すブロック図である。
つぎに、この発明の実施の形態にかかる検証資産データベースの記憶内容について説明する。第2図は、この発明の実施の形態にかかる検証資産データベースの記憶内容を示す説明図である。第2図において、検証資産データベース200は、検証済システム名201、仕様記述内容202および論理検証内容203を含む構成となっている。
つぎに、この発明の実施の形態にかかる検証支援装置の機能的構成について説明する。第15図は、この発明の実施の形態にかかる検証支援装置の機能的構成を示すブロック図である。第15図において、検証支援装置1500は、記憶部1501と、入力部1502と、検索部1503と、論理検証内容抽出部1504と、出力部1505とを含む構成となっている。
また、第23図に示した検証済モデル要素B1〜B4と、未検証モデル要素X1、X2と比較した場合、いずれの単語も一致しないため、第21図に示した図表のスコア条件に合致しない。しがたって、未検証のシステムXに対する検証済のシステムBの類似度を示すスコアは、「0」である。
つぎに、この発明の実施の形態にかかる検証支援装置の検証支援処置手順について説明する。第34図〜第37図は、この発明の実施の形態にかかる検証支援装置の検証支援処置手順を示すフローチャートである。
221 ユースケース図
222 シーケンス図
223 配置図
1500 検証支援装置
1501 記憶部
1502 入力部
1503 検索部
1504 論理検証内容抽出部
1505 出力部
1511 未検証モデル要素抽出部
1512 検証済モデル要素抽出部
1513 加工部
1514 類似度算出部
1515 分解部
1516 組生成部
1517 設定部
1518 比較部
1519 スコア算出部
Claims (6)
- 未検証モデル要素によって構成された、未検証設計対象をあらわすUMLの未検証仕様記述の入力を受け付ける入力手段と、
前記入力手段によって入力された未検証仕様記述がUMLのどの表記に該当するかを判定する判定手段と、
検証済モデル要素によって構成された、検証済設計対象をあらわす一または複数種類のUML表記の検証済仕様記述を当該検証済仕様記述についておこなわれた論理検証内容に関連付けて前記検証済設計対象ごとに記憶する記憶手段と、
前記未検証モデル要素および前記検証済モデル要素に基づいて、前記記憶手段の中から、前記判定手段によって判定された前記未検証仕様記述の表記と同一表記でかつ、同一または類似の検証済仕様記述を検索する検索手段と、
前記記憶手段の中から、前記検索手段によって検索された検索結果に関連付けられている、前記検証済設計対象についておこなわれた論理検証内容を抽出する論理検証内容抽出手段と、
前記論理検証内容抽出手段によって抽出された論理検証内容を出力する出力手段と、を備え、
前記検索手段は、
前記判定手段により前記未検証仕様記述がユースケース図であると判定された場合、当該ユースケース図を構成するユースケース内の文章と前記記憶手段内のユースケース図を構成するユースケースの文章をそれぞれ単語に分解することによりユースケース図間の類似度を算出して、所定値よりも大きいユースケース図を、前記検索結果として出力し、
前記判定手段により前記未検証仕様記述がシーケンス図であると判定された場合、当該シーケンス図のシーケンス番号が連続するイベントの組み合わせと前記記憶手段内のシーケンス図のシーケンス番号が連続するイベントの組み合わせを比較することによりシーケンス図間の類似度を算出して、所定値よりも大きいシーケンス図を、前記検索結果として出力し、
前記判定手段により前記未検証仕様記述が配置図であると判定された場合、当該配置図の連結しあうノードおよびリンクの組み合わせと前記記憶手段内の配置図の連結しあうノードおよびリンクの組み合わせを比較することにより配置図間の類似度を算出して、所定値よりも大きい配置図を、前記検索結果として出力することを特徴とする検証支援装置。 - 前記文章を分解することによって得られる単語に重み付けする重み設定手段を備え、
前記検索手段は、
前記判定手段により前記未検証仕様記述がユースケース図であると判定された場合、当該ユースケース図を構成するユースケース内の文章と前記記憶手段内のユースケース図を構成するユースケースの文章をそれぞれ単語に分解して前記設定手段によって設定された重み付けをおこなうことによりユースケース図間の類似度を算出して、所定値よりも大きいユースケース図を、前記検索結果として出力することを特徴とする請求項1に記載の検証支援装置。 - 前記論理検証内容は、少なくとも、論理検証の方針、論理検証する項目、論理検証方式、論理検証に必要なコスト情報または前記検証済設計対象について論理検証をおこなったときに用いられたツールを示す論理検証環境のいずれか一つを含むことを特徴とする請求の範囲第1項に記載の検証支援装置。
- 未検証モデル要素によって構成された、未検証設計対象をあらわすUMLの未検証仕様記述の入力を受け付ける入力手段と、前記入力手段によって入力された未検証仕様記述がUMLのどの表記に該当するかを判定する判定手段と、検証済モデル要素によって構成された、検証済設計対象をあらわす一または複数種類のUML表記の検証済仕様記述を当該検証済仕様記述についておこなわれた論理検証内容に関連付けて前記検証済設計対象ごとに記憶する記憶手段と、前記未検証モデル要素および前記検証済モデル要素に基づいて、前記記憶手段の中から、前記判定手段によって判定された前記未検証仕様記述の表記と同一表記でかつ、同一または類似の検証済仕様記述を検索する検索手段と、前記記憶手段の中から、前記検索手段によって検索された検索結果に関連付けられている、前記検証済設計対象についておこなわれた論理検証内容を抽出する論理検証内容抽出手段と、前記論理検証内容抽出手段によって抽出された論理検証内容を出力する出力手段と、を備える検証支援装置がおこなう検証支援方法であって、
前記入力手段により、前記UMLの未検証仕様記述の入力を受け付ける入力工程と、
前記判定工程により、前記入力工程によって入力された未検証仕様記述がUMLのどの表記に該当するかを判定する判定工程と、
前記検索工程により、前記未検証モデル要素および前記検証済モデル要素に基づいて、前記記憶手段の中から、前記判定工程によって判定された前記未検証仕様記述の表記と同一表記でかつ、同一または類似の検証済仕様記述を検索する検索工程と、
前記論理検証内容抽出手段により、前記記憶手段の中から、前記検索手段によって検索された検索結果に関連付けられている、前記検証済設計対象についておこなわれた論理検証内容を抽出する論理検証内容抽出工程と、
前記出力手段により、前記論理検証内容抽出工程によって抽出された論理検証内容を出力する出力工程と、を含み、
前記検索工程は、
前記判定工程により前記未検証仕様記述がユースケース図であると判定された場合、当該ユースケース図を構成するユースケース内の文章と前記記憶手段内のユースケース図を構成するユースケースの文章をそれぞれ単語に分解することによりユースケース図間の類似度を算出して、所定値よりも大きいユースケース図を、前記検索結果として出力し、
前記判定工程により前記未検証仕様記述がシーケンス図であると判定された場合、当該シーケンス図のシーケンス番号が連続するイベントの組み合わせと前記記憶手段内のシーケンス図のシーケンス番号が連続するイベントの組み合わせを比較することによりシーケンス図間の類似度を算出して、所定値よりも大きいシーケンス図を、前記検索結果として出力し、
前記判定工程により前記未検証仕様記述が配置図であると判定された場合、当該配置図の連結しあうノードおよびリンクの組み合わせと前記記憶手段内の配置図の連結しあうノードおよびリンクの組み合わせを比較することにより配置図間の類似度を算出して、所定値よりも大きい配置図を、前記検索結果として出力することを特徴とする検証支援方法。 - 未検証モデル要素によって構成された、未検証設計対象をあらわすUMLの未検証仕様記述の入力を受け付ける入力手段と、前記入力手段によって入力された未検証仕様記述がUMLのどの表記に該当するかを判定する判定手段と、検証済モデル要素によって構成された、検証済設計対象をあらわす一または複数種類のUML表記の検証済仕様記述を当該検証済仕様記述についておこなわれた論理検証内容に関連付けて前記検証済設計対象ごとに記憶する記憶手段と、前記未検証モデル要素および前記検証済モデル要素に基づいて、前記記憶手段の中から、前記判定手段によって判定された前記未検証仕様記述の表記と同一表記でかつ、同一または類似の検証済仕様記述を検索する検索手段と、前記記憶手段の中から、前記検索手段によって検索された検索結果に関連付けられている、前記検証済設計対象についておこなわれた論理検証内容を抽出する論理検証内容抽出手段と、前記論理検証内容抽出手段によって抽出された論理検証内容を出力する出力手段と、を備えるコンピュータに以下の工程を実行させる検証支援プログラムであって、
前記入力手段により、前記UMLの未検証仕様記述の入力を受け付けさせる入力工程と、
前記判定工程により、前記入力工程によって入力された未検証仕様記述がUMLのどの表記に該当するかを判定させる判定工程と、
前記検索工程により、前記未検証モデル要素および前記検証済モデル要素に基づいて、前記記憶手段の中から、前記判定工程によって判定された前記未検証仕様記述の表記と同一表記でかつ、同一または類似の検証済仕様記述を検索させる検索工程と、
前記論理検証内容抽出手段により、前記記憶手段の中から、前記検索手段によって検索された検索結果に関連付けられている、前記検証済設計対象についておこなわれた論理検証内容を抽出させる論理検証内容抽出工程と、
前記出力手段により、前記論理検証内容抽出工程によって抽出された論理検証内容を出力させる出力工程と、を実行させ、
前記検索工程は、
前記判定工程により前記未検証仕様記述がユースケース図であると判定された場合、当該ユースケース図を構成するユースケース内の文章と前記記憶手段内のユースケース図を構成するユースケースの文章をそれぞれ単語に分解することによりユースケース図間の類似度を算出して、所定値よりも大きいユースケース図を、前記検索結果として出力させ、
前記判定工程により前記未検証仕様記述がシーケンス図であると判定された場合、当該シーケンス図のシーケンス番号が連続するイベントの組み合わせと前記記憶手段内のシーケンス図のシーケンス番号が連続するイベントの組み合わせを比較することによりシーケンス図間の類似度を算出して、所定値よりも大きいシーケンス図を、前記検索結果として出力させ、
前記判定工程により前記未検証仕様記述が配置図であると判定された場合、当該配置図の連結しあうノードおよびリンクの組み合わせと前記記憶手段内の配置図の連結しあうノードおよびリンクの組み合わせを比較することにより配置図間の類似度を算出して、所定値よりも大きい配置図を、前記検索結果として出力させることを特徴とする検証支援プログラム。 - 請求項5に記載の検証支援プログラムを記録したことを特徴とするコンピュータ読み取り可能な記録媒体。
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/JP2003/013995 WO2005043419A1 (ja) | 2003-10-31 | 2003-10-31 | 検証支援装置、検証支援方法、検証支援プログラムおよび記録媒体 |
Publications (2)
Publication Number | Publication Date |
---|---|
JPWO2005043419A1 JPWO2005043419A1 (ja) | 2007-05-10 |
JP3920308B2 true JP3920308B2 (ja) | 2007-05-30 |
Family
ID=34532059
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2005510142A Expired - Fee Related JP3920308B2 (ja) | 2003-10-31 | 2003-10-31 | 検証支援装置、検証支援方法、検証支援プログラムおよび記録媒体 |
Country Status (5)
Country | Link |
---|---|
US (1) | US20060156264A1 (ja) |
EP (1) | EP1679627A4 (ja) |
JP (1) | JP3920308B2 (ja) |
CN (1) | CN100461186C (ja) |
WO (1) | WO2005043419A1 (ja) |
Families Citing this family (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2006277282A (ja) * | 2005-03-29 | 2006-10-12 | Fujitsu Ten Ltd | モデル評価解析システムおよびモデル評価解析プログラム |
JP4747034B2 (ja) * | 2006-05-29 | 2011-08-10 | 富士通株式会社 | 検証シナリオ作成プログラム、記録媒体、検証シナリオ作成装置および検証シナリオ作成方法 |
US8701058B2 (en) * | 2009-06-18 | 2014-04-15 | Semiconductor Insights Inc. | Integrated circuit analysis systems and methods |
US10275557B1 (en) * | 2010-01-08 | 2019-04-30 | Altera Corporation | Method and apparatus for performing incremental compilation using structural netlist comparison |
CN103294837B (zh) * | 2012-02-23 | 2016-05-11 | 安凯(广州)微电子技术有限公司 | 一种集成电路的验证调试方法及系统 |
CN113255263B (zh) * | 2021-06-07 | 2021-10-01 | 上海国微思尔芯技术股份有限公司 | 颗粒带分割方法、装置、计算机设备和存储介质 |
US20230252179A1 (en) * | 2022-02-04 | 2023-08-10 | Snowflake Inc. | Organizing, discovering and evaluating marketplace datasets and services by industry business needs |
Family Cites Families (21)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5163016A (en) * | 1990-03-06 | 1992-11-10 | At&T Bell Laboratories | Analytical development and verification of control-intensive systems |
JP2977260B2 (ja) * | 1990-09-27 | 1999-11-15 | 株式会社東芝 | 情報提示装置 |
JP3195031B2 (ja) * | 1992-02-28 | 2001-08-06 | 株式会社日立製作所 | テスト仕様生成方法及び半導体装置検査装置及び半導体装置検査方法 |
US5436849A (en) * | 1993-02-09 | 1995-07-25 | International Business Machines Corporation | Incremental logic synthesis system for efficient revision of logic circuit designs |
JPH06301668A (ja) * | 1993-04-16 | 1994-10-28 | Hitachi Ltd | シミュレーションデータ構築方法 |
US6086626A (en) * | 1997-05-16 | 2000-07-11 | Fijutsu Limited | Method for verification of combinational circuits using a filtering oriented approach |
JPH11249899A (ja) * | 1998-02-27 | 1999-09-17 | Toshiba Corp | 業務支援装置及び電気システム設計支援装置 |
JP4418591B2 (ja) * | 1998-11-03 | 2010-02-17 | ワンスピン ソリューションズ ゲゼルシャフト ミット ベシュレンクテル ハフツング | 技術システムの予め設定された特性と第1の特性とを比較するための方法及び装置 |
JP2000242672A (ja) * | 1999-02-23 | 2000-09-08 | Mitsubishi Electric Corp | 形式的論理検証装置および形式的論理検証方法 |
JP2001101250A (ja) * | 1999-09-30 | 2001-04-13 | Matsushita Electric Ind Co Ltd | 検証項目抽出方法、再利用コア検証方法、検証判断方法、および再利用テストベンチ編集方法 |
US6484292B1 (en) * | 2000-02-07 | 2002-11-19 | Xilinx, Inc. | Incremental logic synthesis system for revisions of logic circuit designs |
US6567959B2 (en) * | 2001-03-30 | 2003-05-20 | Intel Corporation | Method and device for verification of VLSI designs |
JP3914010B2 (ja) * | 2001-07-30 | 2007-05-16 | 富士通株式会社 | 設計解析方法および設計解析プログラム |
US6742174B1 (en) * | 2001-10-19 | 2004-05-25 | Cadence Design Systems, Inc. | Similarity-driven synthesis for equivalence checking of complex designs |
JP3848157B2 (ja) * | 2001-12-27 | 2006-11-22 | 株式会社東芝 | Lsi設計検証装置、lsi設計検証方法、及びlsi設計検証プログラム |
US7353156B2 (en) * | 2002-02-01 | 2008-04-01 | International Business Machines Corporation | Method of switching external models in an automated system-on-chip integrated circuit design verification system |
JP2003233636A (ja) * | 2002-02-06 | 2003-08-22 | Fujitsu Ltd | 回路検証装置 |
US7020856B2 (en) * | 2002-05-03 | 2006-03-28 | Jasper Design Automation, Inc. | Method for verifying properties of a circuit model |
JP4147842B2 (ja) * | 2002-07-04 | 2008-09-10 | 日本電気株式会社 | 論理検証システム及び方法、論理コーン抽出装置及び方法、論理検証及び論理コーン抽出プログラム |
US8171298B2 (en) * | 2002-10-30 | 2012-05-01 | International Business Machines Corporation | Methods and apparatus for dynamic user authentication using customizable context-dependent interaction across multiple verification objects |
US6993734B2 (en) * | 2003-02-20 | 2006-01-31 | International Business Machines Corporatioin | Use of time step information in a design verification system |
-
2003
- 2003-10-31 CN CNB2003801104807A patent/CN100461186C/zh not_active Expired - Fee Related
- 2003-10-31 EP EP03770083A patent/EP1679627A4/en not_active Withdrawn
- 2003-10-31 JP JP2005510142A patent/JP3920308B2/ja not_active Expired - Fee Related
- 2003-10-31 WO PCT/JP2003/013995 patent/WO2005043419A1/ja active Application Filing
-
2006
- 2006-03-10 US US11/372,393 patent/US20060156264A1/en not_active Abandoned
Also Published As
Publication number | Publication date |
---|---|
EP1679627A1 (en) | 2006-07-12 |
EP1679627A4 (en) | 2009-07-22 |
US20060156264A1 (en) | 2006-07-13 |
JPWO2005043419A1 (ja) | 2007-05-10 |
CN1839390A (zh) | 2006-09-27 |
CN100461186C (zh) | 2009-02-11 |
WO2005043419A1 (ja) | 2005-05-12 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5602247B2 (ja) | 設計支援システム | |
JP6640395B1 (ja) | 情報処理システム及び情報処理方法 | |
US10073827B2 (en) | Method and system to generate a process flow diagram | |
US20060037019A1 (en) | Tree-to-graph folding procedure for systems engineering requirements | |
US11113609B2 (en) | Machine-learning system and method for identifying same person in genealogical databases | |
US20060156264A1 (en) | Method and apparatus for supporting verification of system, and computer product | |
JP2006252201A (ja) | ソースコード解析プログラム | |
JP4759392B2 (ja) | 検証支援プログラム、該プログラムを記録した記録媒体、検証支援装置、および検証支援方法 | |
JP2015194831A (ja) | 障害現象情報分析装置及び障害現象情報分析方法 | |
US20080244487A1 (en) | Delay analysis support apparatus, delay analysis support method and computer product | |
JP4644740B2 (ja) | シミュレーションシステム、およびシミュレーションプログラム | |
JP4747034B2 (ja) | 検証シナリオ作成プログラム、記録媒体、検証シナリオ作成装置および検証シナリオ作成方法 | |
JP6927300B2 (ja) | 情報処理装置、情報処理システム、情報処理方法、及び、プログラム | |
WO2021245833A1 (ja) | 文書の黒塗り箇所表示システム、方法、プログラム | |
JP2011076217A (ja) | 情報処理装置及びファイルの表示方法、情報処理システム、並びにプログラム | |
JP2006085635A (ja) | タイミング解析装置、タイミング解析方法、タイミング解析プログラムおよび記録媒体 | |
JP4294000B2 (ja) | クロック遅延解析装置、クロック遅延解析方法、クロック遅延解析プログラム、および記録媒体 | |
JP6388756B2 (ja) | 電子マニュアル出力システム及び電子マニュアル出力方法並びに電子マニュアル出力プログラム | |
JP5282640B2 (ja) | データ処理装置、データ処理方法、およびデータ処理プログラム | |
JP5431633B2 (ja) | 性能チューニングプログラム、該プログラムを記録した記録媒体、性能チューニング装置、および性能チューニング方法 | |
JP7325103B2 (ja) | 情報処理システム及び情報処理方法 | |
JP6835756B2 (ja) | 作業特定装置、作業特定方法及びプログラム | |
JPH06309343A (ja) | データ集計方法 | |
JP6827610B1 (ja) | 開発支援装置、プログラム及び開発支援方法 | |
JP2024017151A (ja) | 生成プログラム,予測プログラム,情報処理装置,生成方法および予測方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20061031 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20070206 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20070214 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313111 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100223 Year of fee payment: 3 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110223 Year of fee payment: 4 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110223 Year of fee payment: 4 |
|
S531 | Written request for registration of change of domicile |
Free format text: JAPANESE INTERMEDIATE CODE: R313531 |
|
S533 | Written request for registration of change of name |
Free format text: JAPANESE INTERMEDIATE CODE: R313533 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110223 Year of fee payment: 4 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20120223 Year of fee payment: 5 |
|
LAPS | Cancellation because of no payment of annual fees |