JPWO2015145556A1 - ソフトウェア仕様間依存関係検証装置、及びソフトウェア仕様間依存関係検証方法 - Google Patents
ソフトウェア仕様間依存関係検証装置、及びソフトウェア仕様間依存関係検証方法 Download PDFInfo
- Publication number
- JPWO2015145556A1 JPWO2015145556A1 JP2016509656A JP2016509656A JPWO2015145556A1 JP WO2015145556 A1 JPWO2015145556 A1 JP WO2015145556A1 JP 2016509656 A JP2016509656 A JP 2016509656A JP 2016509656 A JP2016509656 A JP 2016509656A JP WO2015145556 A1 JPWO2015145556 A1 JP WO2015145556A1
- Authority
- JP
- Japan
- Prior art keywords
- dependency
- verification
- item
- items
- rule
- 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.)
- Granted
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/10—Requirements analysis; Specification techniques
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
Abstract
Description
102…スキーマ定義DB 103…仕様構造解析部
104…マッチングルールDB 105 …仕様項目マッチング部
106…依存関係情報生成部 107 …依存関係情報DB
108 …検証ルールDB 109…依存関係検証部
110 …検証結果可視化部 201…プロセッサ 202…表示装置
203…入力装置 204…メモリ 205…補助記憶装置
Claims (10)
- 階層構造を有するソフトウェア仕様に含まれているデータ項目である仕様項目の整合性を検証するための検証装置であって、
少なくとも一組の互いに対応するソフトウェア仕様を取得し、あらかじめ前記階層構造に従って前記ソフトウェア仕様中での相対位置が設定されている前記各仕様項目を抽出するように構成されている仕様構造解析部と、
前記対応するソフトウェア仕様に含まれる前記仕様項目間で成立すべき対応関係である依存関係を記述してなるマッチングルールを格納しているマッチングルール格納部と、
前記マッチングルールを用いて、前記各仕様項目間の依存関係の有無を判別するように構成されている仕様項目マッチング部と、
前記仕様項目マッチング部で依存関係があると判定された前記仕様項目の組合せを指定する情報を依存関係情報として抽出するように構成されている依存関係情報生成部と、
前記ソフトウェア仕様間で特定の前記仕様項目の組合せについて成立すべき整合条件をルール化して定義してなる検証ルールを格納している検証ルール格納部と、
特定の前記仕様項目の組合せについて、前記抽出された依存関係情報に基づき、前記検証ルール格納部に格納されている前記検証ルールに規定されている前記整合条件を満たさない依存関係があるかを判定し、満たさない依存関係があると判定した場合、当該整合条件を満たさない依存関係を前記ソフトウェア仕様間の不整合を示す不整合情報として出力するように構成されている依存関係検証部と、
前記依存関係検証部からの前記不整合情報を所定のユーザインタフェースによって出力するように構成されている検証結果出力部と、
を有するソフトウェア仕様間整合性検証装置。 - 前記依存関係情報生成部は、前記マッチングルールに従って前記ソフトウェア仕様間の依存関係情報を抽出する際、一方の前記ソフトウェア仕様に当該マッチングルールを満たす仕様項目があり、他方の前記ソフトウェア仕様に当該マッチングルールを満たす仕様項目がないと判定した場合に、当該マッチングルールを満たす仕様項目を依存関係候補情報として抽出し、前記依存関係検証部は、前記依存関係情報と、前記依存関係候補情報とを用いて記述した前記検証ルールを用いて、不整合の候補を検出する、請求項1に記載のソフトウェア仕様間整合性検証装置。
- 前記マッチングルールには、当該マッチングルール毎に、当該マッチングルールが規定している依存関係の種類を示す情報である依存関係種類情報が含まれており、前記検証ルールには、複数の前記依存関係種類間で満たすべき論理条件が含まれており、前記依存関係情報生成部は、前記依存関係情報抽出時に、依存関係情報として仕様項目間の依存関係の有無とともに、当該依存関係の種類をも抽出し、前記依存関係検証部は、抽出した複数の前記依存関係種類間で満たすべき前記論理条件に基づいて、前記仕様項目間の依存関係種類の間の不整合を検出する、請求項1に記載のソフトウェア仕様間整合性検証装置。
- 前記検証結果出力部は、抽出した前記依存関係情報を、依存関係を有する仕様項目間の関連が可視化される形態で表示し、表示した当該仕様項目間の関連に検出した不整合情報を重ねて表示する、請求項1に記載のソフトウェア仕様間整合性検証装置。
- 前記検証結果出力部は、抽出した依存関係情報を表示する際、検証対象である前記仕様に含まれる前記仕様項目を選択可能に表示する画面を表示し、選択された当該仕様項目を始点として、抽出済みの複数の前記依存関係情報を解析し、始点となっている前記仕様項目に直接的にまたは間接的に依存関係を有する仕様項目をすべて抽出して表示する、請求項4に記載のソフトウェア仕様間整合性検証装置。
- 前記検証結果出力部は、選択された前記仕様項目に関連して表示された依存関係上に検出された前記不整合情報を重ねて表示する際、前記始点となっている仕様項目から不整合と判定された依存関係の部分までを接続している仕様項目を識別できるように表示する、請求項5に記載のソフトウェア仕様間整合性検証装置。
- 前記仕様項目マッチング部は、前記仕様項目に付与されている属性を示す属性値に対して、当該属性値の一致をもって依存関係成立条件とした前記マッチングルールを用いて前記依存関係情報を抽出する、請求項1に記載のソフトウェア仕様間整合性検証装置。
- 前記検証ルールには、当該検証ルールに基づいて整合性を判定すべき仕様項目の数を示す入力項目数が設定されており、前記依存関係検証部は、前記依存関係情報を用いて前記仕様項目間の不整合を検出する際、前記検証ルールに設定されている前記入力項目数だけの仕様項目を仕様から抽出し、当該すべての仕様項目の組合せに対して前記検証ルールを用いて不整合を検証する、請求項3に記載のソフトウェア仕様間整合性検証装置。
- 前記検証ルール毎に、前記入力項目数だけ抽出した前記仕様項目のうちで一部の仕様項目間で成り立つ依存関係の条件を規定している事前条件が設定されており、前記依存関係検証部は、前記検証ルールに設定されている前記入力項目数だけの仕様項目を仕様から抽出する際、前記事前条件に関する検証がすでに適用済みの他の検証ルールで実施されていると判定した場合、その実施の際に前記事前条件を満たすと判定された仕様項目組合せを再利用し、前記仕様項目が前記事前条件を満たすかどうかを判定することなく検証を実行する、請求項8に記載のソフトウェア仕様間整合性検証装置。
- 階層構造を有するソフトウェア仕様に含まれているデータ項目である仕様項目の整合性を検証するための検証方法であって、データを格納するメモリと当該データを用いて演算処理を実行するプロセッサとを有するコンピュータにより、少なくとも一組の互いに対応するソフトウェア仕様を取得し、あらかじめ前記階層構造に従って前記ソフトウェア仕様中での相対位置が設定されている前記各仕様項目を抽出し、
前記対応するソフトウェア仕様に含まれる前記仕様項目間で成立すべき対応関係である依存関係を記述してなるマッチングルールを格納し、
前記マッチングルールを用いて、前記各仕様項目間の依存関係の有無を判別し、
前記仕様項目マッチング部で依存関係があると判定された前記仕様項目の組合せを指定する情報を依存関係情報として抽出し、
前記ソフトウェア仕様間で特定の前記仕様項目の組合せについて成立すべき整合条件をルール化して定義してなる検証ルールを格納し、
特定の前記仕様項目の組合せについて、前記抽出された依存関係情報に基づき、前記検証ルール格納部に格納されている前記検証ルールに規定されている前記整合条件を満たさない依存関係があるかを判定し、満たさない依存関係があると判定した場合、当該整合条件を満たさない依存関係を前記ソフトウェア仕様間の不整合を示す不整合情報として出力し、
前記依存関係検証部からの前記不整合情報を所定のユーザインタフェースによって出力する、
ソフトウェア仕様間整合性検証方法。
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/JP2014/058171 WO2015145556A1 (ja) | 2014-03-25 | 2014-03-25 | ソフトウェア仕様間依存関係検証装置、及びソフトウェア仕様間依存関係検証方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JPWO2015145556A1 true JPWO2015145556A1 (ja) | 2017-04-13 |
JP6185148B2 JP6185148B2 (ja) | 2017-08-23 |
Family
ID=54194157
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2016509656A Expired - Fee Related JP6185148B2 (ja) | 2014-03-25 | 2014-03-25 | ソフトウェア仕様間依存関係検証装置、及びソフトウェア仕様間依存関係検証方法 |
Country Status (4)
Country | Link |
---|---|
US (1) | US20170131973A1 (ja) |
JP (1) | JP6185148B2 (ja) |
CN (1) | CN106104469A (ja) |
WO (1) | WO2015145556A1 (ja) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2017187537A1 (ja) * | 2016-04-26 | 2017-11-02 | 三菱電機株式会社 | 依存関係抽出装置および依存関係抽出プログラム |
JP7018356B2 (ja) * | 2018-05-24 | 2022-02-10 | 株式会社日立製作所 | ビジュアルプログラミングツールを用いてプログラムを作成することを支援する装置および方法 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH11102291A (ja) * | 1997-09-29 | 1999-04-13 | Hitachi Ltd | 仕様整合性検証システム |
JP2006091971A (ja) * | 2004-09-21 | 2006-04-06 | Hewlett-Packard Development Co Lp | ネットワークデータ表示方法・装置・プログラム |
JP2013080355A (ja) * | 2011-10-03 | 2013-05-02 | Mitsubishi Electric Corp | ソフトウェア再利用支援装置、ソフトウェア再利用支援方法、及び、プログラム |
Family Cites Families (21)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP3724847B2 (ja) * | 1995-06-05 | 2005-12-07 | 株式会社日立製作所 | 構造化文書差分抽出方法および装置 |
US6282698B1 (en) * | 1998-02-09 | 2001-08-28 | Lucent Technologies Inc. | Detecting similarities in Java sources from bytecodes |
US7295965B2 (en) * | 2001-06-29 | 2007-11-13 | Honeywell International Inc. | Method and apparatus for determining a measure of similarity between natural language sentences |
CA2435068C (en) * | 2001-11-19 | 2013-12-10 | Mitsubishi Denki Kabushiki Kaisha | Gateway apparatus and gateway setup tool |
US7818657B1 (en) * | 2002-04-01 | 2010-10-19 | Fannie Mae | Electronic document for mortgage transactions |
US7503035B2 (en) * | 2003-11-25 | 2009-03-10 | Software Analysis And Forensic Engineering Corp. | Software tool for detecting plagiarism in computer source code |
GB0410047D0 (en) * | 2004-05-05 | 2004-06-09 | Silverdata Ltd | An analytical software design system |
US8448158B2 (en) * | 2005-02-03 | 2013-05-21 | Mitsubishi Electric Corporation | Program code generation support device and method, program execution device and method, and program code compression processing device and method and program thereof |
EP1881401B1 (en) * | 2005-02-03 | 2018-08-08 | Mitsubishi Denki Kabushiki Kaisha | Program code generation support device and method, program execution device and method, program code compression device and method, program for the same |
US9189482B2 (en) * | 2012-10-10 | 2015-11-17 | Abbyy Infopoisk Llc | Similar document search |
US9892111B2 (en) * | 2006-10-10 | 2018-02-13 | Abbyy Production Llc | Method and device to estimate similarity between documents having multiple segments |
US9235573B2 (en) * | 2006-10-10 | 2016-01-12 | Abbyy Infopoisk Llc | Universal difference measure |
US20080162455A1 (en) * | 2006-12-27 | 2008-07-03 | Rakshit Daga | Determination of document similarity |
US8321834B2 (en) * | 2008-09-25 | 2012-11-27 | International Business Machines Corporation | Framework for automatically merging customizations to structured code that has been refactored |
US8286132B2 (en) * | 2008-09-25 | 2012-10-09 | International Business Machines Corporation | Comparing and merging structured documents syntactically and semantically |
US9514103B2 (en) * | 2010-02-05 | 2016-12-06 | Palo Alto Research Center Incorporated | Effective system and method for visual document comparison using localized two-dimensional visual fingerprints |
US9110769B2 (en) * | 2010-04-01 | 2015-08-18 | Microsoft Technology Licensing, Llc | Code-clone detection and analysis |
US20120159434A1 (en) * | 2010-12-20 | 2012-06-21 | Microsoft Corporation | Code clone notification and architectural change visualization |
US8943487B2 (en) * | 2011-01-20 | 2015-01-27 | Fujitsu Limited | Optimizing libraries for validating C++ programs using symbolic execution |
JP5460629B2 (ja) * | 2011-03-10 | 2014-04-02 | 株式会社日立製作所 | 表形式ソフトウェア仕様作成支援方法、及び装置 |
US8819856B1 (en) * | 2012-08-06 | 2014-08-26 | Google Inc. | Detecting and preventing noncompliant use of source code |
-
2014
- 2014-03-25 CN CN201480077084.7A patent/CN106104469A/zh not_active Withdrawn
- 2014-03-25 JP JP2016509656A patent/JP6185148B2/ja not_active Expired - Fee Related
- 2014-03-25 WO PCT/JP2014/058171 patent/WO2015145556A1/ja active Application Filing
- 2014-03-25 US US15/118,156 patent/US20170131973A1/en not_active Abandoned
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH11102291A (ja) * | 1997-09-29 | 1999-04-13 | Hitachi Ltd | 仕様整合性検証システム |
JP2006091971A (ja) * | 2004-09-21 | 2006-04-06 | Hewlett-Packard Development Co Lp | ネットワークデータ表示方法・装置・プログラム |
JP2013080355A (ja) * | 2011-10-03 | 2013-05-02 | Mitsubishi Electric Corp | ソフトウェア再利用支援装置、ソフトウェア再利用支援方法、及び、プログラム |
Also Published As
Publication number | Publication date |
---|---|
WO2015145556A1 (ja) | 2015-10-01 |
JP6185148B2 (ja) | 2017-08-23 |
CN106104469A (zh) | 2016-11-09 |
US20170131973A1 (en) | 2017-05-11 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US10223338B2 (en) | Visual designer for editing large schemaless XML file | |
US8949751B2 (en) | Methods and systems for wiring systems analysis and verification | |
BR112017026293B1 (pt) | Sistema para um sistema de construção de sites implementado em um servidor e método para um sistema de construção de sites implementado em um servidor | |
US20140013297A1 (en) | Query-Based Software System Design Representation | |
US10606450B2 (en) | Method and system for visual requirements and component reuse driven rapid application composition | |
US9678628B2 (en) | Method for generating control-code by a control-code-diagram | |
US20140181006A1 (en) | Extract-transform-load processor controller | |
CA3112132A1 (en) | Improved spreadsheet and method for updating same | |
US11922230B2 (en) | Natural language processing of API specifications for automatic artifact generation | |
JP3828379B2 (ja) | テスト仕様生成支援装置、方法、プログラム及び記録媒体 | |
US10324966B2 (en) | Search by example | |
JP6185148B2 (ja) | ソフトウェア仕様間依存関係検証装置、及びソフトウェア仕様間依存関係検証方法 | |
JP5814603B2 (ja) | テスト仕様作成支援装置、方法及びプログラム | |
JP6120607B2 (ja) | 要件検出装置及び要件検出プログラム | |
KR102021018B1 (ko) | Bim 품질 체크 규칙 정의 장치 및 그의 bim 품질 체크 규칙 정의 방법 | |
JP7145118B2 (ja) | 設計支援システム、設計検証方法及び設計検証プログラム | |
JP4360942B2 (ja) | ソフトウェア開発支援装置 | |
JP2018088087A (ja) | データ分析装置、データ分析方法、及びデータ分析プログラム | |
Liu et al. | Visual exploration of software evolution via topic modeling | |
JP2006277282A (ja) | モデル評価解析システムおよびモデル評価解析プログラム | |
JP6281239B2 (ja) | プログラム開発サポート装置および方法 | |
US20120192130A1 (en) | Circuit design approximation | |
JP7340952B2 (ja) | テンプレート検索システムおよびテンプレート検索方法 | |
US11734506B2 (en) | Information processing apparatus and non-transitory computer readable medium storing program | |
JP5417359B2 (ja) | 文書評価支援システム、及び文書評価支援方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20170307 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20170419 |
|
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: 20170704 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20170726 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6185148 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
LAPS | Cancellation because of no payment of annual fees |