JP5461716B1 - プログラム検証システム - Google Patents
プログラム検証システム Download PDFInfo
- Publication number
- JP5461716B1 JP5461716B1 JP2013002791A JP2013002791A JP5461716B1 JP 5461716 B1 JP5461716 B1 JP 5461716B1 JP 2013002791 A JP2013002791 A JP 2013002791A JP 2013002791 A JP2013002791 A JP 2013002791A JP 5461716 B1 JP5461716 B1 JP 5461716B1
- Authority
- JP
- Japan
- Prior art keywords
- old
- program
- new
- input file
- output
- 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.)
- Active
Links
Images
Landscapes
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Abstract
【解決手段】旧入力ファイルと新入力ファイルとのデータ定義に基づいて、旧入力ファイルに、データ項目の追加や削除、変更を含むデータ定義の差異を反映することによって新入力ファイルを作成し(S41)、旧入力ファイルに基づいて旧帳票を出力する機能を有する改修前の旧プログラムと、旧プログラムの一部の機能を改修したプログラムであって新入力ファイルに基づいて新帳票を出力する機能を有する新プログラムとを実行して、それぞれ旧帳票と新帳票を作成し(S42)、新帳票を旧帳票のフォーマットに合わせて編集し(S43)、編集された新帳票と旧帳票とを、行ごとに先頭から1バイトずつ比較して、新帳票と旧帳票とを併記して差異のある点を出力する(S44)。
【選択図】図12
Description
そして、ステップS32で作成したコンペアチェックリスト90を出力する(ステップS33)。このコンペアチェックリスト90は、図10に示すように、編集後新帳票70Dと旧帳票60の1行を5列単位としてとして出力するものである。具体的には、1列目91には、キー項目を出力し、2列目92には、メモリ行を出力し、3列目93には、旧帳票60を1行出力し、4列目94には、編集後新帳票70Dを1行出力し、5列目95には、3列目93と4列目94の不一致箇所に「*」を出力する。この不一致箇所は、ステップS32で記憶した差異情報に基づいて、編集後新帳票70Dと旧帳票60の該当行の先頭からの文字数の位置に「*」を出力する。具体的には、この実施の形態では、3列目93の契約番号は「100200」であり、4列目94の契約番号は「100202」でるため、不一致と判定され、5列目95の契約番号の6桁目に該当する位置に「*」が出力される。また、ページの先頭には、キー項目である営業所名と帳票IDを出力する。
11 記憶部(記憶手段)
12 入力ファイル作成タスク(入力ファイル作成手段)
13 プログラム実行手段(プログラム実行タスク)
14 帳票編集手段(帳票編集タスク)
15 帳票比較手段(帳票比較タスク)
16 プログラム検証手段(プログラム検証タスク)
20 旧入力ファイル
30 旧請求書
40 新入力ファイル
50 新請求書
60 旧帳票
70 新帳票
70D 編集後新帳票
80 定義ファイル
90 コンペアチェックリスト
Claims (3)
- 旧入力ファイルに基づいて帳票を出力する機能を有する改修前の旧プログラムと、前記旧プログラムの一部の機能を改修したプログラムであって新入力ファイルに基づいて帳票を出力する機能を有する新プログラムとを記憶した記憶手段と、
前記旧プログラムおよび前記新プログラムを実行して、それぞれ旧帳票と新帳票を作成するプログラム実行手段と、
前記新プログラムによって出力された新帳票を、前記旧プログラムによって出力された旧帳票のフォーマットに合わせて編集する帳票編集手段と、
前記帳票編集手段で編集された新帳票と、前記旧帳票とを、行ごとに先頭から1バイトずつ比較して、前記新帳票と前記旧帳票とを併記して差異のある点を出力する帳票比較手段と、
を備えることを特徴とするプログラム検証システム。 - 前記新プログラムには、前記新入力ファイルの各データ項目のデータ型やバイト数を含むデータ定義が所定の書式で定義されており、
前記データ定義に基づいて、前記新入力ファイルを作成する入力ファイル作成手段、
を備えることを特徴とする請求項1に記載のプログラム検証システム。 - 前記入力ファイル作成手段は、前記記憶手段に記憶されている前記旧入力ファイルに基づいて、データ項目の追加や削除、変更を含むデータ定義の差異を反映することによって前記新入力ファイルを作成する、
ことを特徴とする請求項2に記載のプログラム検証システム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2013002791A JP5461716B1 (ja) | 2013-01-10 | 2013-01-10 | プログラム検証システム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2013002791A JP5461716B1 (ja) | 2013-01-10 | 2013-01-10 | プログラム検証システム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP5461716B1 true JP5461716B1 (ja) | 2014-04-02 |
JP2014134969A JP2014134969A (ja) | 2014-07-24 |
Family
ID=50619348
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2013002791A Active JP5461716B1 (ja) | 2013-01-10 | 2013-01-10 | プログラム検証システム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP5461716B1 (ja) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP6565145B2 (ja) * | 2014-08-11 | 2019-08-28 | 富士通株式会社 | 処理方法、処理装置及びプログラム |
JP6490935B2 (ja) * | 2014-09-26 | 2019-03-27 | 株式会社野村総合研究所 | テスト実行装置、テスト実行方法およびコンピュータプログラム |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2009163412A (ja) * | 2007-12-28 | 2009-07-23 | Canon It Solutions Inc | 情報処理装置および方法 |
JP2011197844A (ja) * | 2010-03-18 | 2011-10-06 | Hitachi Ltd | 差分検知システム |
JP2012098778A (ja) * | 2010-10-29 | 2012-05-24 | Canon Software Inc | 電子帳票処理システム、電子帳票処理装置、電子帳票処理方法、プログラム |
-
2013
- 2013-01-10 JP JP2013002791A patent/JP5461716B1/ja active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2009163412A (ja) * | 2007-12-28 | 2009-07-23 | Canon It Solutions Inc | 情報処理装置および方法 |
JP2011197844A (ja) * | 2010-03-18 | 2011-10-06 | Hitachi Ltd | 差分検知システム |
JP2012098778A (ja) * | 2010-10-29 | 2012-05-24 | Canon Software Inc | 電子帳票処理システム、電子帳票処理装置、電子帳票処理方法、プログラム |
Also Published As
Publication number | Publication date |
---|---|
JP2014134969A (ja) | 2014-07-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN107220172B (zh) | 通过模型驱动技术进行自动用户界面(ui)测试的方法和系统 | |
JP2012221380A (ja) | 自動プログラム生成装置、方法及びコンピュータプログラム | |
US20130290075A1 (en) | Localization quality assurance of localized software | |
CN102360331A (zh) | 基于形式化描述的测试程序自动生成方法 | |
CN104657274A (zh) | 软件界面测试方法及装置 | |
JP2007304660A (ja) | コマンド実行結果記録システム及びコマンド実行結果記録方法 | |
US20150234732A1 (en) | Executable software specification generation | |
JP5461716B1 (ja) | プログラム検証システム | |
CN115688675A (zh) | 一种灵活在线检查和校正电路原理图参数方法 | |
CN108170466A (zh) | 一种基于程序合成的c/c++程序缺陷自动修复方法 | |
CN117312270A (zh) | 一种数据库自动化构建和部署的变更管理方法 | |
JP6668580B2 (ja) | ファイル編集方法、ファイル編集装置及びファイル編集プログラム | |
JP5293521B2 (ja) | デザインルールチェック検証装置およびデザインルールチェック検証方法 | |
JP5823478B2 (ja) | 出力ファイル検証システム | |
KR101891797B1 (ko) | Cad 기반의 제어신호 자동 연계 플랜트 제어회로 제작시스템 | |
JP6287093B2 (ja) | ソフトウェア開発支援装置、ソフトウェア開発支援方法及びプログラム | |
CN106909500B (zh) | 机载软件开发过程中引入错误的检测方法和系统 | |
CN106033338A (zh) | 基于fog数据的源代码导入及解析的方法和装置 | |
JP6006577B2 (ja) | デグレードテスト支援システム、デグレードテスト支援方法及びデグレードテスト支援プログラム | |
CN104881455B (zh) | 一种基于mysql的结构差异处理方法及系统 | |
JP6840656B2 (ja) | テストスクリプト修正装置及びプログラム | |
JP5893595B2 (ja) | スケジュール支援システム | |
JP2014154070A (ja) | プラント制御監視システム設計支援ツール | |
JP2008117029A (ja) | 運用作業手順作成時の不正手順チェックアウト方法、障害発生防止のためのコマンド生成方法、および自動実行コマンド生成システム、ならびにそのプログラム | |
JP2013114443A (ja) | 資材リリース確認支援システム、資材リリース確認支援方法、資材リリース確認支援プログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
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: 20140107 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20140115 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 Ref document number: 5461716 Country of ref document: JP 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 |