JP5708260B2 - プログラム・モデル検査におけるdbシーケンス・バックトラック制御プログラム、方法、及び装置 - Google Patents
プログラム・モデル検査におけるdbシーケンス・バックトラック制御プログラム、方法、及び装置 Download PDFInfo
- Publication number
- JP5708260B2 JP5708260B2 JP2011121058A JP2011121058A JP5708260B2 JP 5708260 B2 JP5708260 B2 JP 5708260B2 JP 2011121058 A JP2011121058 A JP 2011121058A JP 2011121058 A JP2011121058 A JP 2011121058A JP 5708260 B2 JP5708260 B2 JP 5708260B2
- Authority
- JP
- Japan
- Prior art keywords
- state
- sequence number
- sequence
- operation command
- acquisition request
- 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
Landscapes
- Debugging And Monitoring (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Description
ここでDBMSのシーケンス機能により、シーケンス番号を利用するアプリケーションプログラムの例を示す。
(1)(選択画面、発注ボタン)
(2)(注文画面、注文ボタン、顧客名:富士太郎、商品名:商品A、数量:10)
(3)(完了画面、戻るボタン)
(4)(選択画面、発注ボタン)
(5)(注文画面、注文ボタン顧客名:富士次郎 商品名:商品B、数量:20)
(6)(完了画面、戻るボタン)
(7)(選択画面、注文検索ボタン)
(8)(検索画面、検索ボタン、顧客名:富士、注文No:1)
(9)(検索結果画面、戻るボタン)
図7には、一連のシナリオ操作(1)乃至(9)を行った際のデータベースの内容710乃至734及び状態(初期状態、状態1、状態2)が、対応付けて示されている。単純化するために、状態として、DB状態だけを示している。
操作(1):選択画面で、発注ボタンを押下すると、注文画面に遷移する。初期状態からDBデータは変化しないので、状態は変化しない。
上記操作(9)の後、状態2において、シナリオから選択可能な操作が無くなる。このため、プログラム・モデル検査装置は、別のシナリオで検査を続行するため、選択可能な操作が存在する、操作(3)の実行後までバックトラックする。別のシナリオの例は、例えば、注文1、検索、注文2の操作である。
(1)アプリケーションプログラムの変数のバックトラック
(2)DBバックトラック
(a)DBのデータのバックトラック
(b)シーケンス番号のバックトラック
以上が、プログラム・モデル検査装置950の処理フローである。
シーケンス状態データをまとめて、Pushする。
(1)現状の注文Noの値によって注文数を算出するロジックがあった場合、注文数が間違ってしまう。
(2)成功すべき検索が失敗してしまい、探索すべき状態に到達できない。
(3)本来同じであるべき状態が、別の状態となってしまう。
(付記1)
プログラム・モデル検査装置用のDBシーケンス・バックトラック制御プログラムであって、
アプリケーションプログラムからのDB操作コマンドのシーケンス番号取得要求に応答して、DBMSに代わってシーケンス番号を出力することによって前記シーケンス番号取得要求の存在しないDB操作コマンドを前記DBMSに伝達すると共に前記シーケンス番号の状態の履歴を前記アプリケーションプログラムの状態と対応付けて記憶部に記憶し、
前記プログラム・モデル検査装置により指定されたアプリケーションプログラムの状態まで戻すバックトラック要求に応答して、前記記憶部に記憶された前記シーケンス番号の状態の履歴に基づいて、前記シーケンス番号の状態を、前記指定されたアプリケーションプログラムの状態と対応する状態までバックトラックさせる、
処理をコンピュータに実行させることを特徴とするプログラム。
(付記2)
前記記憶部に記憶する処理は、
アプリケーションプログラムからのDB操作コマンドを、シーケンス番号取得要求に係るDB操作コマンドと、その他のDB操作コマンドとに分離し、前記シーケンス番号取得要求に係るDB操作コマンドから、シーケンス番号取得要求を抽出し、
前記抽出されたシーケンス番号取得要求に応答して、DBMSに代わって前記シーケンス番号を出力することによりシーケンス番号の状態の履歴をアプリケーションプログラムの状態と対応付けて記憶部に保存し、
前記シーケンス番号取得要求に係るDB操作コマンドのうち、シーケンス番号取得要求が組み込まれたDB操作コマンドの中の前記組み込まれたシーケンス番号取得要求を、前記出力されたシーケンス番号に置換したDB操作コマンドと、前記その他のDB操作コマンドと、を前記DBMSに伝達する、
処理を有することを特徴とする付記2記載のプログラム。
(付記3)
プログラム・モデル検査装置用のDBシーケンス・バックトラック制御方法であって、
アプリケーションプログラムからのDB操作コマンドのシーケンス番号取得要求に応答して、DBMSに代わってシーケンス番号を出力することによって前記シーケンス番号取得要求の存在しないDB操作コマンドを前記DBMSに伝達すると共に前記シーケンス番号の状態の履歴を前記アプリケーションプログラムの状態と対応付けて記憶部に記憶し、
前記プログラム・モデル検査装置により指定されたアプリケーションプログラムの状態まで戻すバックトラック要求に応答して、前記記憶部に記憶された前記シーケンス番号の状態の履歴に基づいて、前記シーケンス番号の状態を、前記指定されたアプリケーションプログラムの状態と対応する状態までバックトラックさせる、
ことを特徴とする方法。
(付記4)
前記記憶部に記憶する処理は、
アプリケーションプログラムからのDB操作コマンドを、シーケンス番号取得要求に係るDB操作コマンドと、その他のDB操作コマンドとに分離し、前記シーケンス番号取得要求に係るDB操作コマンドから、シーケンス番号取得要求を抽出し、
前記抽出されたシーケンス番号取得要求に応答して、DBMSに代わって前記シーケンス番号を出力することによりシーケンス番号の状態の履歴をアプリケーションプログラムの状態と対応付けて記憶部に保存し、
前記シーケンス番号取得要求に係るDB操作コマンドのうち、シーケンス番号取得要求が組み込まれたDB操作コマンドの中の前記組み込まれたシーケンス番号取得要求を、前記出力されたシーケンス番号に置換したDB操作コマンドと、前記その他のDB操作コマンドと、を前記DBMSに伝達する、
処理を有することを特徴とする付記3記載の方法。
(付記5)
プログラム・モデル検査装置用のDBシーケンス・バックトラック制御装置であって、
アプリケーションプログラムからのDB操作コマンドのシーケンス番号取得要求に応答して、DBMSに代わってシーケンス番号を出力することによって前記シーケンス番号取得要求の存在しないDB操作コマンドを前記DBMSに伝達すると共に前記シーケンス番号の状態の履歴を前記アプリケーションプログラムの状態と対応付けて記憶部に記憶する、シーケンス番号処理部と、
前記プログラム・モデル検査装置により指定されたアプリケーションプログラムの状態まで戻すバックトラック要求に応答して、前記記憶部に記憶された前記シーケンス番号の状態の履歴に基づいて、前記シーケンス番号の状態を、前記指定されたアプリケーションプログラムの状態と対応する状態までバックトラックさせる、シーケンス・バックトラック部と、
を有することを特徴とする装置。
(付記6)
前記シーケンス番号処理部は、
アプリケーションプログラムからのDB操作コマンドを、シーケンス番号取得要求に係るDB操作コマンドと、その他のDB操作コマンドとに分離し、前記シーケンス番号取得要求に係るDB操作コマンドから、シーケンス番号取得要求を抽出する、DB操作コマンド解析・分離部と、
前記抽出されたシーケンス番号取得要求に応答して、DBMSに代わって前記シーケンス番号を出力することによりシーケンス番号の状態の履歴をアプリケーションプログラムの状態と対応付けて記憶部に保存する、シーケンス管理部と、
前記シーケンス番号取得要求に係るDB操作コマンドのうち、シーケンス番号取得要求が組み込まれたDB操作コマンドの中の前記組み込まれたシーケンス番号取得要求を、前記出力されたシーケンス番号に置換したDB操作コマンドと、前記その他のDB操作コマンドと、を前記DBMSに伝達する、DB操作コマンド置換部と、
を有することを特徴とする付記5記載の装置。
910 シーケンス番号処理部
912 DB操作コマンド解析・分離部
914 シーケンス管理部
916 DB操作コマンド置換部
920 シーケンス・バックトラック部
930 検査対象アプリケーションプロクラム
940 DBMS
950 DBMSを利用するプログラム・モデル検査装置
Claims (4)
- プログラム・モデル検査装置用のDBシーケンス・バックトラック制御プログラムであって、
アプリケーションプログラムからのDB操作コマンドのシーケンス番号取得要求に応答して、DBMSに代わってシーケンス番号を出力することによって前記シーケンス番号取得要求の存在しないDB操作コマンドを前記DBMSに伝達すると共に前記シーケンス番号の状態の履歴を前記アプリケーションプログラムの状態と対応付けて記憶部に記憶し、
前記プログラム・モデル検査装置により指定されたアプリケーションプログラムの状態まで戻すバックトラック要求に応答して、前記記憶部に記憶された前記シーケンス番号の状態の履歴に基づいて、前記シーケンス番号の状態を、前記指定されたアプリケーションプログラムの状態と対応する状態までバックトラックさせる、
処理をコンピュータに実行させることを特徴とするプログラム。 - 前記記憶部に記憶する処理は、
アプリケーションプログラムからのDB操作コマンドを、シーケンス番号取得要求に係るDB操作コマンドと、その他のDB操作コマンドとに分離し、前記シーケンス番号取得要求に係るDB操作コマンドから、シーケンス番号取得要求を抽出し、
前記抽出されたシーケンス番号取得要求に応答して、DBMSに代わって前記シーケンス番号を出力することによりシーケンス番号の状態の履歴をアプリケーションプログラムの状態と対応付けて記憶部に保存し、
前記シーケンス番号取得要求に係るDB操作コマンドのうち、シーケンス番号取得要求が組み込まれたDB操作コマンドの中の前記組み込まれたシーケンス番号取得要求を、前記出力されたシーケンス番号に置換したDB操作コマンドと、前記その他のDB操作コマンドと、を前記DBMSに伝達する、
処理を有することを特徴とする請求項1記載のプログラム。 - プログラム・モデル検査装置用のDBシーケンス・バックトラック制御方法であって、
アプリケーションプログラムからのDB操作コマンドのシーケンス番号取得要求に応答して、DBMSに代わってシーケンス番号を出力することによって前記シーケンス番号取得要求の存在しないDB操作コマンドを前記DBMSに伝達すると共に前記シーケンス番号の状態の履歴を前記アプリケーションプログラムの状態と対応付けて記憶部に記憶し、
前記プログラム・モデル検査装置により指定されたアプリケーションプログラムの状態まで戻すバックトラック要求に応答して、前記記憶部に記憶されたシーケンス番号の状態の履歴に基づいて、前記シーケンス番号の状態を、前記指定されたアプリケーションプログラムの状態と対応する状態までバックトラックさせる、
ことを特徴とする方法。 - プログラム・モデル検査装置用のDBシーケンス・バックトラック制御装置であって、
アプリケーションプログラムからのDB操作コマンドのシーケンス番号取得要求に応答して、DBMSに代わってシーケンス番号を出力することによって前記シーケンス番号取得要求の存在しないDB操作コマンドを前記DBMSに伝達すると共に前記シーケンス番号の状態の履歴を前記アプリケーションプログラムの状態と対応付けて記憶部に記憶する、シーケンス番号処理部と、
前記プログラム・モデル検査装置により指定されたアプリケーションプログラムの状態まで戻すバックトラック要求に応答して、前記記憶部に記憶されたシーケンス番号の状態の履歴に基づいて、前記シーケンス番号の状態を、前記指定されたアプリケーションプログラムの状態と対応する状態までバックトラックさせる、シーケンス・バックトラック部と、
を有することを特徴とする装置。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2011121058A JP5708260B2 (ja) | 2011-05-30 | 2011-05-30 | プログラム・モデル検査におけるdbシーケンス・バックトラック制御プログラム、方法、及び装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2011121058A JP5708260B2 (ja) | 2011-05-30 | 2011-05-30 | プログラム・モデル検査におけるdbシーケンス・バックトラック制御プログラム、方法、及び装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2012248121A JP2012248121A (ja) | 2012-12-13 |
JP5708260B2 true JP5708260B2 (ja) | 2015-04-30 |
Family
ID=47468483
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2011121058A Expired - Fee Related JP5708260B2 (ja) | 2011-05-30 | 2011-05-30 | プログラム・モデル検査におけるdbシーケンス・バックトラック制御プログラム、方法、及び装置 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP5708260B2 (ja) |
Family Cites Families (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2976891B2 (ja) * | 1996-06-28 | 1999-11-10 | 日本電気株式会社 | リモートデータベースアクセス方法 |
JP4732874B2 (ja) * | 2005-11-28 | 2011-07-27 | 株式会社エヌ・ティ・ティ・ドコモ | ソフトウェア動作モデル化装置、ソフトウェア動作監視装置、ソフトウェア動作モデル化方法及びソフトウェア動作監視方法 |
JP5412995B2 (ja) * | 2009-06-30 | 2014-02-12 | 富士通株式会社 | プログラムモデル検査におけるデータベース制御装置、データベース制御方法、データベース制御プログラム |
-
2011
- 2011-05-30 JP JP2011121058A patent/JP5708260B2/ja not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
JP2012248121A (ja) | 2012-12-13 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN110928772B (zh) | 一种测试方法及装置 | |
US9934134B2 (en) | Generating a test scenario template from runs of test scenarios belonging to different organizations | |
US5758062A (en) | Method and apparatus for regression testing of application logic | |
CN101171571B (zh) | 分析和组织软件应用程序中的物件的设备 | |
US7386845B1 (en) | Automated compatibility and upgrade/downgrade knowledge base | |
US7886028B2 (en) | Method and system for system migration | |
JP5367947B2 (ja) | 用語データベース拡張のための方法およびシステム | |
US20080120601A1 (en) | Information processing apparatus, method and program for deciding priority of test case to be carried out in regression test background of the invention | |
US20110106776A1 (en) | Incremental implementation of undo/redo support in legacy applications | |
US9311176B1 (en) | Evaluating a set of storage devices and providing recommended activities | |
US20080301486A1 (en) | Customization conflict detection and resolution | |
JP5412995B2 (ja) | プログラムモデル検査におけるデータベース制御装置、データベース制御方法、データベース制御プログラム | |
Kessentini et al. | Automated metamodel/model co-evolution using a multi-objective optimization approach | |
EP1683024B1 (en) | System, method, and computer program product for storing test results in a database | |
CN104598374B (zh) | 校正失效脚本的方法和设备 | |
CN1670715B (zh) | 在公共语言运行时语言中的资源地址支持 | |
Earls et al. | A method for the manual extraction of business rules from legacy source code | |
US8433729B2 (en) | Method and system for automatically generating a communication interface | |
US20190220549A1 (en) | Analysis model preparing system, programming apparatus, and analysis model preparing method | |
US20020072928A1 (en) | Method and system for managing component changes to a business critical application in a production environment | |
JP6120607B2 (ja) | 要件検出装置及び要件検出プログラム | |
JP5708260B2 (ja) | プログラム・モデル検査におけるdbシーケンス・バックトラック制御プログラム、方法、及び装置 | |
CN117897710A (zh) | 解决工业数据转换问题的人工智能方法 | |
JP2002123516A (ja) | ウェブサイト評価システム、ウェブサイト評価方法、記録媒体 | |
Kulkarni | Implementing SAP S/4HANA: A Framework for Planning and Executing SAP S/4HANA Projects |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20140304 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20140917 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20140924 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20141104 |
|
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: 20150203 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20150216 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5708260 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
LAPS | Cancellation because of no payment of annual fees |