JP6239438B2 - 仕様抽出装置、仕様抽出方法およびプログラム - Google Patents
仕様抽出装置、仕様抽出方法およびプログラム Download PDFInfo
- Publication number
- JP6239438B2 JP6239438B2 JP2014093091A JP2014093091A JP6239438B2 JP 6239438 B2 JP6239438 B2 JP 6239438B2 JP 2014093091 A JP2014093091 A JP 2014093091A JP 2014093091 A JP2014093091 A JP 2014093091A JP 6239438 B2 JP6239438 B2 JP 6239438B2
- Authority
- JP
- Japan
- Prior art keywords
- processing
- variable
- input
- equation
- code
- 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
- Stored Programmes (AREA)
Description
制御部16の変数特定手段161は、対象モジュールのソースコードにおける出力変数を特定する。具体的には、変数特定手段161は、出力変数として、ソースコードにおいて更新されているグローバル変数を特定する。そして、ステップS11へ進む。
制御部16の等価変換手段162は、対象モジュールのソースコードにおいて等価変換処理を実行し、出力変数についての方程式を導出する。具体的には、等価変換手段162は、等価変換処理として、定数伝播処理、入力変数伝播処理、枝刈り処理および条件式情報伝播処理を実行する。
制御部16のグラフ作成手段163は、等価変換手段162により導出された出力変数についての方程式から、原因結果グラフを作成する。具体的には、グラフ作成手段163は、出力変数についての方程式の各入力条件をノードとして、後述するように、OR記号部、AND記号部およびNOT記号部で結合することにより、出力変数の値(出力値)の振る舞いが把握できる原因結果グラフを作成する。ただし、グラフ作成手段163は、上述のように出力変数についての方程式から、入力条件式のノードがOR記号部、AND記号部およびNOT記号部によって結合された原因結果グラフを作成する。したがって、等価変換手段162は、3項演算子を用いて表された方程式を、論理演算子を用いて表された方程式に変換することが望ましい。そして、ステップS13へ進む。
制御部16のテーブル変換手段164は、グラフ作成手段163により作成された原因結果グラフをデシジョンテーブルに変換する。具体的には、テーブル変換手段164は、上述の出力変数についての方程式の入力条件(原因結果グラフにおける入力条件のノード)の値の組み合わせごとに、出力変数の値(出力値)がどのように値をとるかについて表にしたデシジョンテーブルを作成する。そして、仕様抽出動作を終了する。
11 通信部
12 操作部
13 表示部
14 記憶部
15 外部記憶装置
16 制御部
17 シリアルバス
20 対象モジュール
21〜24 処理後モジュール
25 対象モジュール
26 等価変換後モジュール
30、30a〜30c サンプルコード
31 定数伝播処理後コード
31a 入力変数伝播処理後コード
31b 枝刈り処理後コード
31c 条件式情報伝播処理後コード
40〜45 ノード
42a、43a ノード
50 デシジョンテーブル
60 OR記号部
61 AND記号部
62a、62b NOT記号部
70 出力値ノード
161 変数特定手段
162 等価変換手段
163 グラフ作成手段
164 テーブル変換手段
200、201 グローバル変数
202〜204 入力条件部
205、206、207a〜207c、208 コード部
210 定数伝播処理後コード部
211 入力変数伝播処理後コード部
212a〜212c、213 定数伝播処理後コード部
214 コード部
220 枝刈り処理後コード部
221 コード部
230 条件式情報伝播処理後コード部
231 コード部
240 条件式情報伝播処理後コード部
241 方程式
250 仮変数設定コード部
260 方程式コード部
300〜303 コード部
300a、301a コード部
300b、301b コード部
300c コード部
310〜312 定数伝播処理後コード部
310a 入力変数伝播処理後コード部
310b 枝刈り処理後コード部
310c 条件式情報伝播処理後コード部
Claims (10)
- ソースコードにおいて出力変数を特定する特定手段と、
前記ソースコードにおける式を等価な式に置き換える等価変換処理を実行して、前記出力変数についての方程式を導出する等価変換手段と、
前記方程式から入力条件を抽出し、該入力条件をノードとする原因結果グラフを作成する作成手段と、
前記原因結果グラフを、前記入力条件の真偽の組み合わせと、前記出力変数の値である出力値との対応関係を表す仕様情報に変換する変換手段と、
を備えた仕様抽出装置。 - 前記等価変換手段は、前記等価変換処理として、定数伝播処理、入力変数伝播処理および枝刈り処理のループ処理を実行することによって前記ソースコードを縮約し、該ソースコードの縮約が収束した時点で前記ループ処理を終了する請求項1に記載の仕様抽出装置。
- 前記等価変換手段は、縮約が収束した前記ソースコードに対して、条件式情報伝播処理を実行する請求項2に記載の仕様抽出装置。
- 前記等価変換手段は、前記等価変換処理として、定数伝播処理、入力変数伝播処理、枝刈り処理および条件式情報伝播処理を実行する請求項1に記載の仕様抽出装置。
- 前記等価変換手段は、導出した前記方程式が3項演算子を用いて表されている場合、前記方程式を、論理演算子を用いて表された式に変換する請求項1〜4のいずれか一項に記載の仕様抽出装置。
- 前記作成手段は、前記ノードを前記入力条件の論理演算を示す論理記号により結合させることによって前記原因結果グラフを作成する請求項1〜5のいずれか一項に記載の仕様抽出装置。
- 前記作成手段は、前記原因結果グラフにおける前記ノードのうち、同一式の前記入力条件を示す前記ノードを統合する請求項6に記載の仕様抽出装置。
- 前記仕様情報は、デシジョンテーブルである請求項1〜7のいずれか一項に記載の仕様抽出装置。
- 特定手段が、ソースコードにおいて出力変数を特定するステップと、
等価変換手段が、前記ソースコードにおける式を等価な式に置き換える等価変換処理を実行して、前記出力変数についての方程式を導出するステップと、
作成手段が、前記方程式から入力条件を抽出し、該入力条件をノードとする原因結果グラフを作成するステップと、
変換手段が、前記原因結果グラフを、前記入力条件の真偽の組み合わせと、前記出力変数の値である出力値との対応関係を表す仕様情報に変換するステップと、
を有する仕様抽出方法。 - ソースコードにおいて出力変数を特定する特定手段と、
前記ソースコードにおける式を等価な式に置き換える等価変換処理を実行して、前記出力変数についての方程式を導出する等価変換手段と、
前記方程式から入力条件を抽出し、該入力条件をノードとする原因結果グラフを作成する作成手段と、
前記原因結果グラフを、前記入力条件の真偽の組み合わせと、前記出力変数の値である出力値との対応関係を表す仕様情報に変換する変換手段と、
をコンピュータに実現させるためのプログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2014093091A JP6239438B2 (ja) | 2014-04-28 | 2014-04-28 | 仕様抽出装置、仕様抽出方法およびプログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2014093091A JP6239438B2 (ja) | 2014-04-28 | 2014-04-28 | 仕様抽出装置、仕様抽出方法およびプログラム |
Related Child Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2017211764A Division JP6490779B2 (ja) | 2017-11-01 | 2017-11-01 | 仕様抽出装置、仕様抽出方法およびプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2015210735A JP2015210735A (ja) | 2015-11-24 |
JP6239438B2 true JP6239438B2 (ja) | 2017-11-29 |
Family
ID=54612846
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2014093091A Active JP6239438B2 (ja) | 2014-04-28 | 2014-04-28 | 仕様抽出装置、仕様抽出方法およびプログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP6239438B2 (ja) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP6077694B1 (ja) * | 2016-03-14 | 2017-02-08 | 株式会社富士通エフサス | デシジョンテーブル生成装置、デシジョンテーブル生成方法およびデシジョンテーブル生成プログラム |
JP6904914B2 (ja) * | 2018-02-02 | 2021-07-21 | 株式会社日立製作所 | 決定表生成装置、及び決定表生成方法 |
Family Cites Families (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH04188322A (ja) * | 1990-11-22 | 1992-07-06 | Hitachi Ltd | ソフトウェア仕様情報抽出方法 |
JPH0540616A (ja) * | 1991-08-02 | 1993-02-19 | Hitachi Ltd | プログラム仕様生成方法 |
JP4724387B2 (ja) * | 2004-06-24 | 2011-07-13 | 富士通株式会社 | プログラム変換プログラム、プログラム変換装置およびプログラム変換方法 |
JP4835859B2 (ja) * | 2007-02-15 | 2011-12-14 | 日本電気株式会社 | 状態遷移図作成装置および状態遷移図作成方法 |
-
2014
- 2014-04-28 JP JP2014093091A patent/JP6239438B2/ja active Active
Also Published As
Publication number | Publication date |
---|---|
JP2015210735A (ja) | 2015-11-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP7493462B2 (ja) | 正規表現コード上で最長共通サブシーケンスアルゴリズムを用いた正規表現生成 | |
CN111090991B (zh) | 场景纠错方法、装置、电子设备和存储介质 | |
US9639454B2 (en) | Computer-readable recording medium storing therein test data generating program, test data generating method, test data generating apparatus and information processing system | |
US10891115B2 (en) | Model configuration using partial model data | |
WO2017090475A1 (ja) | 情報処理システム、関数作成方法および関数作成プログラム | |
US11586425B2 (en) | Method for compilation optimization of hosted app, electronic device and readable storage medium | |
JP6309795B2 (ja) | 情報処理装置、情報処理方法およびプログラム | |
KR20150092880A (ko) | 그래픽 사용자 인터페이스 개발의 가변 설정 기반 후설계 방법 및 장치 | |
JP6239438B2 (ja) | 仕様抽出装置、仕様抽出方法およびプログラム | |
CN113468534B (zh) | 针对安卓应用程序的漏洞检测方法及相关装置 | |
JP6490779B2 (ja) | 仕様抽出装置、仕様抽出方法およびプログラム | |
CN114741085A (zh) | 数据处理方法、装置、设备及存储介质 | |
US10732938B2 (en) | System design apparatus and method | |
WO2016181526A1 (ja) | 制御ロジック図解析装置および制御ロジック図解析方法 | |
CN111026916B (zh) | 文本描述的转换方法、装置、电子设备及存储介质 | |
CN115469849B (zh) | 一种业务处理系统、方法、电子设备和存储介质 | |
JP6305944B2 (ja) | 仕様抽出装置、仕様抽出方法およびプログラム | |
US20160070564A1 (en) | Dynamically schematized log messages for software applications | |
JP2009163662A (ja) | 情報処理装置、情報処理装置の制御方法、および情報処理装置の制御プログラム | |
CN114647699A (zh) | 一种数据同步方法、装置、电子设备及存储介质 | |
CN114449063A (zh) | 一种报文处理方法、装置及设备 | |
KR101673151B1 (ko) | 프로그램 소스 및 db 스키마의 연관 관계 변화 분석 방법 및 장치 | |
JP2016051367A (ja) | データ解析装置、データ解析方法、および、プログラム。 | |
JP2015035174A (ja) | 制御プログラム分割装置、制御プログラム分割方法及びその記録媒体 | |
JP7508841B2 (ja) | システム検証プログラム生成装置、システム検証プログラム生成方法およびシステム検証プログラム生成プログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
RD01 | Notification of change of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7421 Effective date: 20151102 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A821 Effective date: 20151102 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20161004 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20170616 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20170711 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20170817 |
|
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: 20171003 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20171101 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6239438 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |