JP2007058750A - データ仕様記述文書および検証データ生成装置 - Google Patents
データ仕様記述文書および検証データ生成装置 Download PDFInfo
- Publication number
- JP2007058750A JP2007058750A JP2005245948A JP2005245948A JP2007058750A JP 2007058750 A JP2007058750 A JP 2007058750A JP 2005245948 A JP2005245948 A JP 2005245948A JP 2005245948 A JP2005245948 A JP 2005245948A JP 2007058750 A JP2007058750 A JP 2007058750A
- Authority
- JP
- Japan
- Prior art keywords
- data
- verification
- database
- specification description
- description document
- 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
- 238000012795 verification Methods 0.000 title claims abstract description 176
- 238000000034 method Methods 0.000 claims abstract description 90
- 238000010586 diagram Methods 0.000 claims description 19
- 230000006870 function Effects 0.000 description 15
- 238000013524 data verification Methods 0.000 description 9
- 238000013500 data storage Methods 0.000 description 6
- 230000008569 process Effects 0.000 description 6
- 238000004422 calculation algorithm Methods 0.000 description 5
- 230000008901 benefit Effects 0.000 description 2
- 230000003252 repetitive effect Effects 0.000 description 2
- 238000007792 addition Methods 0.000 description 1
- 238000006243 chemical reaction Methods 0.000 description 1
- 238000007689 inspection Methods 0.000 description 1
- 238000007726 management method Methods 0.000 description 1
- 230000011664 signaling Effects 0.000 description 1
- 230000009466 transformation Effects 0.000 description 1
- 238000000844 transformation Methods 0.000 description 1
Images
Landscapes
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Abstract
【解決手段】アプリケーションデータを記述したXML文書50に含まれる各データ要素の仕様を、各データ要素が他のデータ要素との関連で満たすべき条件または該条件の検証手順を人が記述や理解のし易い言語で記述したデータ仕様記述文書30を作成する。検証データ生成装置10は、データ仕様記述文書30を元にして、対象のXML文書50に含まれる各データ要素がこのデータ仕様記述文書30に記述された条件を満たすか否かをコンピュータで検証するための検証手順データ(XSLTスクリプト)40を生成する。
【選択図】図1
Description
ことを特徴とする検証データ生成装置。
前記作成支援部は、前記データベースの構造図を表示すると共に、この構造図上でのデータ要素の指定と前記データ仕様記述文書内での埋め込み位置の指定とを受け付けると、前記指定されたデータ要素を前記データベース内で特定する情報を前記データ仕様記述文書の前記指定された埋め込み位置に記述する
ことを特徴とする(3)に記載の検証データ生成装置。
前記検証手順データは、XSLTスクリプトである
ことを特徴とする(3)または(4)に記載の検証データ生成装置。
前記データ要素は、前記鉄道信号システムを構成する設備毎の諸情報を示す
ことを特徴とする(3)、(4)または(5)に記載の検証データ生成装置。
ことを特徴とする(7)に記載の検証データ生成プログラム。
前記検証手順データは、XSLTスクリプトである
ことを特徴とする(7)または(8)に記載の検証データ生成プログラム。
前記データ要素は、前記鉄道信号システムを構成する設備毎の諸情報を示す
ことを特徴とする(7)、(8)または(9)に記載の検証データ生成プログラム。
前記データ仕様記述文書を元にして、前記データベースに属するデータ要素が前記データ仕様記述文書に記述された条件を満たすか否かをコンピュータが検証するための検証手順データを生成するステップと
を有する
ことを特徴とする検証データ生成方法。
ことを特徴とする(11)に記載の検証データ生成方法。
前記検証手順データは、XSLTスクリプトである
ことを特徴とする(11)または(12)に記載の検証データ生成方法。
前記データ要素は、前記鉄道信号システムを構成する設備毎の諸情報を示す
ことを特徴とする(11)、(12)または(13)に記載の検証データ生成方法。
11…CPU
12…ROM
13…RAM
14…表示部
15…操作部
16…入出力部
17…データ記憶部
21…データ仕様記述文書作成支援プログラム
22…検証データ作成プログラム
23…定義テーブル
30…データ仕様記述文書
40…検証手順データ(XSLTスクリプト)
50…検証対象データ(データ仕様記述文書が対象とするXML文書)
200…入力画面
201…ツリーウィンドウ
202…編集ウィンドウ
203…ステートメントウィンドウ
204、205…垂直スクロールバー
206、207…水平スクロールバー
300…検証システム
301…未検証データベース
302…XMLプロセッサ
303…XMLスキーマ(データベース用XMLスキーマ)
304…XMLスキーマによる検証済みデータベース
305…XSLTプロセッサ
306…XSLTによる検証結果のXML文書
307…XSLTによる検証結果のXML文書に対するXMLスキーマ
Claims (14)
- 相互に関連する複数のデータ要素を含むデータベースに属する前記データ要素の仕様を、そのデータ要素が他のデータ要素との関連で満たすべき条件または該条件の検証手順によって記述したことを特徴とするデータ仕様記述文書。
- 相互に関連する複数のデータ要素を含むデータベースに属する前記データ要素の仕様を、そのデータ要素が他のデータ要素との関連で満たすべき条件または該条件の検証手順によって記述することを特徴とするデータ仕様の記述方法。
- 相互に関連する複数のデータ要素を含むデータベースに属する前記データ要素の仕様をそのデータ要素が他のデータ要素との関連で満たすべき条件または該条件の検証手順によって記述したデータ仕様記述文書を元にして、前記データベースに属するデータ要素が前記データ仕様記述文書に記述された条件を満たすか否かをコンピュータで検証するための検証手順データを生成する
ことを特徴とする検証データ生成装置。 - 前記データ仕様記述文書の作成を支援する作成支援部をさらに有し、
前記作成支援部は、前記データベースの構造図を表示すると共に、この構造図上でのデータ要素の指定と前記データ仕様記述文書内での埋め込み位置の指定とを受け付けると、前記指定されたデータ要素を前記データベース内で特定する情報を前記データ仕様記述文書の前記指定された埋め込み位置に記述する
ことを特徴とする請求項3に記載の検証データ生成装置。 - 前記データベースは、XML文書で作成されたデータファイルで構成され、
前記検証手順データは、XSLTスクリプトである
ことを特徴とする請求項3または4に記載の検証データ生成装置。 - 前記データベースは、鉄道信号システムの制御用データであり、
前記データ要素は、前記鉄道信号システムを構成する設備毎の諸情報を示す
ことを特徴とする請求項3、4または5に記載の検証データ生成装置。 - 相互に関連する複数のデータ要素を含むデータベースに属する前記データ要素の仕様をそのデータ要素が他のデータ要素との関連で満たすべき条件または該条件の検証手順によって記述したデータ仕様記述文書を元にして、前記データベースに属するデータ要素が前記データ仕様記述文書に記述された条件を満たすか否かをコンピュータが検証するための検証手順データを生成する機能を、コンピュータに実行させるための検証データ生成プログラム。
- 前記データベースの構造図を表示すると共にこの構造図上でのデータ要素の指定と、該データ要素の前記データ仕様記述文書内での埋め込み位置の指定とを受け付け、前記指定されたデータ要素を前記データベース内で特定する情報を取得し、これを前記データ仕様記述文書の前記指定された埋め込み位置に記述する機能を、コンピュータに実行させるためのプログラムをさらに含む
ことを特徴とする請求項7に記載の検証データ生成プログラム。 - 前記データベースは、XML文書で作成されたデータファイルで構成され、
前記検証手順データは、XSLTスクリプトである
ことを特徴とする請求項7または8に記載の検証データ生成プログラム。 - 前記データベースは、鉄道信号システムの制御用データであり、
前記データ要素は、前記鉄道信号システムを構成する設備毎の諸情報を示す
ことを特徴とする請求項7、8または9に記載の検証データ生成プログラム。 - 相互に関連する複数のデータ要素を含むデータベースに属する前記データ要素の仕様をそのデータ要素が他のデータ要素との関連で満たすべき条件または該条件の検証手順によって記述したデータ仕様記述文書を作成するステップと、
前記データ仕様記述文書を元にして、前記データベースに属するデータ要素が前記データ仕様記述文書に記述された条件を満たすか否かをコンピュータが検証するための検証手順データを生成するステップと
を有する
ことを特徴とする検証データ生成方法。 - 前記データ仕様記述文書を作成するステップにおいて、前記データベースの構造図を表示すると共にこの構造図上でのデータ要素の指定と、該データ要素の前記データ仕様記述文書内での埋め込み位置の指定とを受け付け、前記指定されたデータ要素を前記データベース内で特定する情報を取得し、これを前記データ仕様記述文書の前記指定された埋め込み位置に記述する
ことを特徴とする請求項11に記載の検証データ生成方法。 - 前記データベースは、XML文書で作成されたデータファイルで構成され、
前記検証手順データは、XSLTスクリプトである
ことを特徴とする請求項11または12に記載の検証データ生成方法。 - 前記データベースは、鉄道信号システムの制御用データであり、
前記データ要素は、前記鉄道信号システムを構成する設備毎の諸情報を示す
ことを特徴とする請求項11、12または13に記載の検証データ生成方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2005245948A JP4484791B2 (ja) | 2005-08-26 | 2005-08-26 | 検証データ生成装置および検証データ生成プログラム、検証データ生成方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2005245948A JP4484791B2 (ja) | 2005-08-26 | 2005-08-26 | 検証データ生成装置および検証データ生成プログラム、検証データ生成方法 |
Related Child Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2010017765A Division JP5123337B2 (ja) | 2010-01-29 | 2010-01-29 | 検証データ生成装置、検証データ生成プログラム及び検証データ生成方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2007058750A true JP2007058750A (ja) | 2007-03-08 |
JP4484791B2 JP4484791B2 (ja) | 2010-06-16 |
Family
ID=37922161
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2005245948A Active JP4484791B2 (ja) | 2005-08-26 | 2005-08-26 | 検証データ生成装置および検証データ生成プログラム、検証データ生成方法 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP4484791B2 (ja) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2009026163A (ja) * | 2007-07-23 | 2009-02-05 | Fujitsu Ltd | データベース検証方法及び装置 |
JP2009069905A (ja) * | 2007-09-10 | 2009-04-02 | Delta Electronics Inc | プログラマーロジックコントローラ(plc)プログラムの編集方法 |
US9208151B2 (en) | 2011-10-25 | 2015-12-08 | International Business Machines Corporation | Method, program, and system for specification verification |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2004145578A (ja) * | 2002-10-23 | 2004-05-20 | Fujitsu Ltd | データ処理方法、言語展開装置、データ更新装置、及びプログラム |
JP2004334253A (ja) * | 2003-01-15 | 2004-11-25 | Kyosan Electric Mfg Co Ltd | データ作成装置、データ検証方法及びデータ検証プログラム |
JP2005044215A (ja) * | 2003-07-24 | 2005-02-17 | Kyosan Electric Mfg Co Ltd | データ処理装置、データ処理方法及びプログラム |
-
2005
- 2005-08-26 JP JP2005245948A patent/JP4484791B2/ja active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2004145578A (ja) * | 2002-10-23 | 2004-05-20 | Fujitsu Ltd | データ処理方法、言語展開装置、データ更新装置、及びプログラム |
JP2004334253A (ja) * | 2003-01-15 | 2004-11-25 | Kyosan Electric Mfg Co Ltd | データ作成装置、データ検証方法及びデータ検証プログラム |
JP2005044215A (ja) * | 2003-07-24 | 2005-02-17 | Kyosan Electric Mfg Co Ltd | データ処理装置、データ処理方法及びプログラム |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2009026163A (ja) * | 2007-07-23 | 2009-02-05 | Fujitsu Ltd | データベース検証方法及び装置 |
JP2009069905A (ja) * | 2007-09-10 | 2009-04-02 | Delta Electronics Inc | プログラマーロジックコントローラ(plc)プログラムの編集方法 |
US9208151B2 (en) | 2011-10-25 | 2015-12-08 | International Business Machines Corporation | Method, program, and system for specification verification |
Also Published As
Publication number | Publication date |
---|---|
JP4484791B2 (ja) | 2010-06-16 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8768651B2 (en) | System and method for automatic standardization and verification of system design requirements | |
KR101892206B1 (ko) | 양방향 텍스트 검사기 | |
US20080262833A1 (en) | Document Processing Device and Document Processing Method | |
US9229920B1 (en) | Compound undo/redo manager for mixed model edits | |
EP3443460B1 (en) | Method, apparatus, and computer-readable medium for performing functional testing of software | |
KR20120051419A (ko) | 종속형 스타일 시트 규칙 추출 장치 및 방법 | |
US20090077462A1 (en) | Document processing device and document processing method | |
US20100100807A1 (en) | Data processing device, and data processing method | |
US7720868B2 (en) | Providing assistance with the creation of an XPath expression | |
US20090083300A1 (en) | Document processing device and document processing method | |
US20070208995A1 (en) | Document Processing Device and Document Processing Method | |
US20070198915A1 (en) | Document Processing Device And Document Processing Method | |
US20080005662A1 (en) | Server Device and Name Space Issuing Method | |
JP4484791B2 (ja) | 検証データ生成装置および検証データ生成プログラム、検証データ生成方法 | |
US20080208790A1 (en) | Document Processing Device, and Document Processing Method | |
US20080141112A1 (en) | Document Processing Device and Document Processing Method | |
US20080282143A1 (en) | Document Processing Device and Document Processing Method | |
US20080256437A1 (en) | Document Processing Apparatus and Document Processing Method | |
JP5123337B2 (ja) | 検証データ生成装置、検証データ生成プログラム及び検証データ生成方法 | |
US20080052616A1 (en) | Document Processing Method and Device | |
US20090287994A1 (en) | Document processing device and document processing method | |
US20100275183A1 (en) | Source code auditor with a customized rules builder | |
US20080270887A1 (en) | Document Processing Device And Document Processing Method | |
US20080005085A1 (en) | Server Device and Search Method | |
US7620937B2 (en) | System and method for debugging programs |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20070315 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20091201 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20100201 |
|
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: 20100323 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20100323 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 4484791 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130402 Year of fee payment: 3 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130402 Year of fee payment: 3 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20140402 Year of fee payment: 4 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |