JP4854058B2 - 汎用入力データ検査装置及びプログラム - Google Patents
汎用入力データ検査装置及びプログラム Download PDFInfo
- Publication number
- JP4854058B2 JP4854058B2 JP2004104088A JP2004104088A JP4854058B2 JP 4854058 B2 JP4854058 B2 JP 4854058B2 JP 2004104088 A JP2004104088 A JP 2004104088A JP 2004104088 A JP2004104088 A JP 2004104088A JP 4854058 B2 JP4854058 B2 JP 4854058B2
- Authority
- JP
- Japan
- Prior art keywords
- option
- constraint information
- program
- value
- constraint
- 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
- 238000007689 inspection Methods 0.000 title claims description 19
- 238000000034 method Methods 0.000 claims description 40
- 238000004590 computer program Methods 0.000 claims description 4
- 238000012360 testing method Methods 0.000 claims description 4
- 238000013524 data verification Methods 0.000 claims description 3
- 230000004044 response Effects 0.000 claims description 2
- 230000008569 process Effects 0.000 description 25
- 230000000875 corresponding effect Effects 0.000 description 15
- 238000012545 processing Methods 0.000 description 10
- 230000006870 function Effects 0.000 description 9
- 238000010586 diagram Methods 0.000 description 5
- 230000004913 activation Effects 0.000 description 2
- 230000008859 change Effects 0.000 description 2
- 238000007726 management method Methods 0.000 description 2
- 238000006243 chemical reaction Methods 0.000 description 1
- 230000001276 controlling effect Effects 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 238000011423 initialization method Methods 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
Images
Landscapes
- Debugging And Monitoring (AREA)
Description
(2) オプション値の取得及び妥当性のチェック
(3) デフォルト値の設定
(4) 有効値の設定
(5) 有効範囲の設定
(6) 型の設定
(7) 複数指定回数の設定
(8) 必須の設定
(9) オプション値の設定
これらの機能は、いずれも、オプション値が充足すべき制約条件を、プロパティに格納された制約情報との関係で規定するメソッドにより実現される。これらプロパティ及びメソッドは、システムの設計時にオプションクラスとして定義され、プログラムに組込まれる。入力されるオプション値により、これら複数のメソッドにより規定される制約条件が全て充足されているか否かを検査することにより、オプション値の妥当性を検査できる。
説明は省略する。
この実施の形態のシステムは、上記したようにコンピュータハードウェアと、そのコンピュータハードウェアにより実行されるプログラムと、コンピュータハードウェアに格納されるデータとにより実現される。図8はこのコンピュータシステム330の外観を示し、図9はコンピュータシステム330の内部構成を示す。
Claims (4)
- プログラムのオプションに対して入力されるデータの妥当性を検査するための汎用入力データ検査装置であって、当該汎用入力データ検査装置は、前記プログラムで使用される、あるオプション値に対するオプション制約情報を複数個記憶するための記憶手段とともに用いられ、
前記複数個の前記オプション制約情報は、いずれも前記あるオプション値に関するものであり、
前記汎用入力データ検証装置は、
前記記憶手段に記憶された前記複数個のオプション制約情報のうちからオプション制約情報の指定を受けると、指定されたオプション制約情報を前記記憶手段から読出して、前記指定されたオプション制約情報に記述された複数の制約情報をそれぞれ記憶するための複数の制約情報記憶手段と、
前記複数の制約情報記憶手段に対応して設けられ、前記あるオプション値が充足すべき所定の制約条件をそれぞれ規定している複数のプログラムルーチンをそれぞれ記憶するための複数の制約条件規定手段とを含み、
前記複数のプログラムルーチンの各々は、対応の前記制約情報記憶手段に記憶される前記制約情報とオプション値との比較をすることにより、前記所定の制約条件が当該オプション値により充足されているか否かを判定する機能を持ち、
前記汎用入力データ検査装置はさらに、入力される前記あるオプション値により、前記複数のプログラムルーチンにより規定されている前記制約条件が全て充足されているか否かを、前記複数の制約条件規定手段に記憶されている前記複数のプログラムルーチンを実行することによって検査するための検査手段とを含む、汎用入力データ検査装置。 - 前記汎用入力データ検査装置はさらに、前記複数の制約情報のうちの一つを新たな制約情報で更新すべき指定を受けたことに応答して、当該指定された制約情報を記憶した前記制約情報記憶手段の記憶内容を、前記新たな制約情報で更新するための制約情報更新手段を含む、請求項1に記載の汎用入力データ検査装置。
- 前記検査手段は、入力される前記あるオプション値により、前記複数のプログラムルーチンにより規定されている前記複数の制約条件が全て充足されているか否かを検査し、前記複数の制約条件のうち、前記入力されるオプション値によって充足されないものがあれば、他の制約条件についての検査を省略し、データが妥当でないことを示す検査結果を出力するための手段を含む、請求項1又は請求項2のいずれかに記載の汎用入力データ検査装置。
- コンピュータにより実行されると、当該コンピュータを請求項1〜請求項3のいずれかに記載の汎用入力データ検査装置として動作させる、コンピュータプログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2004104088A JP4854058B2 (ja) | 2004-03-31 | 2004-03-31 | 汎用入力データ検査装置及びプログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2004104088A JP4854058B2 (ja) | 2004-03-31 | 2004-03-31 | 汎用入力データ検査装置及びプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2005292980A JP2005292980A (ja) | 2005-10-20 |
JP4854058B2 true JP4854058B2 (ja) | 2012-01-11 |
Family
ID=35325875
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2004104088A Expired - Fee Related JP4854058B2 (ja) | 2004-03-31 | 2004-03-31 | 汎用入力データ検査装置及びプログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP4854058B2 (ja) |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0782472B2 (ja) * | 1985-12-24 | 1995-09-06 | 富士通株式会社 | コマンド解析処理装置 |
JPH0511989A (ja) * | 1991-07-08 | 1993-01-22 | Nec Corp | パラメータ解析装置 |
-
2004
- 2004-03-31 JP JP2004104088A patent/JP4854058B2/ja not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
JP2005292980A (ja) | 2005-10-20 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8887135B2 (en) | Generating test cases for functional testing of a software application | |
US9536023B2 (en) | Code generation for using an element in a first model to call a portion of a second model | |
US10437574B2 (en) | System and method for providing code completion features for code modules | |
WO2020134633A1 (zh) | 一种应用程序的开发方法、装置及集成开发工具 | |
US20070168909A1 (en) | System And Method For Context-Sensitive Help In A Design Environment | |
US8850388B2 (en) | Controlling application features | |
US7634722B2 (en) | Reversible logic for widget and markup language generation | |
US20120110560A1 (en) | Data type provider for a web semantic store | |
US8201147B2 (en) | Generic XAD processing model | |
US10289430B2 (en) | Interactive user interface for metadata builder | |
US20170300305A1 (en) | Executable guidance experiences based on implicitly generated guidance models | |
US7730495B2 (en) | Declaratively defined control actions | |
US8776010B2 (en) | Data type provider for a data store | |
US11573972B2 (en) | Automatically determining flags for a command-line interface in a distributed computing environment | |
US20110126171A1 (en) | Dynamic native editor code view facade | |
US7966562B1 (en) | System and method for providing domain-sensitive help | |
JP2009059351A (ja) | コンピュータソースコードに対して行われる操作を記録するためのシステム、方法、及びコンピュータプログラム製品 | |
JP2009048485A (ja) | 情報処理装置、情報処理方法、情報処理プログラム、及び情報処理プログラムを記録する記録媒体 | |
US20200167049A1 (en) | Context menu fragment management | |
US8745587B2 (en) | System and method for testing computer programs | |
JP4854058B2 (ja) | 汎用入力データ検査装置及びプログラム | |
US10545729B2 (en) | Computer program interface | |
US6763516B2 (en) | Convention checking apparatus, convention checking system, convention checking method, and storage medium on which is recorded a convention checking program | |
US20060041865A1 (en) | System and method for debugging programs | |
JP7163879B2 (ja) | データフロー生成装置、その方法、およびそのプログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20070328 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20100615 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20100810 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20110125 |
|
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: 20111011 |
|
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: 20111024 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20141104 Year of fee payment: 3 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 4854058 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
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 |
|
LAPS | Cancellation because of no payment of annual fees |