JP4973997B2 - ソースコード検証処理時間計算装置及び方法 - Google Patents
ソースコード検証処理時間計算装置及び方法 Download PDFInfo
- Publication number
- JP4973997B2 JP4973997B2 JP2007217334A JP2007217334A JP4973997B2 JP 4973997 B2 JP4973997 B2 JP 4973997B2 JP 2007217334 A JP2007217334 A JP 2007217334A JP 2007217334 A JP2007217334 A JP 2007217334A JP 4973997 B2 JP4973997 B2 JP 4973997B2
- Authority
- JP
- Japan
- Prior art keywords
- verification
- property information
- property
- source code
- time
- 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
Description
尚、プロパティ情報1個当たりの検証処理時間は、プロパティ解析部130からではなくプロパティカウント部120に予め定数で与えられていてもよい。この場合、定数で予め与えられることによって、タイムアウト時間の設定処理がより迅速に行える。
モデル情報取得部111は、モデル化処理部210が作成したモデル情報を取得する。
プロパティ抽出処理部112は、モデル情報取得部111のモデル情報からプロパティ情報を抽出する。抽出方法は、予め抽出する検査条件論理式が登録されており、それに該当するものを抽出する。
抽出情報提供部113は、プロパティ抽出処理部112で抽出したプロパティ情報を、プロパティカウント部120及び、プロパティ解析部130へ提供する。
プロパティカウント処理部121は、プロパティ抽出部110から提供されたプロパティ情報の個数をカウントし、検証処理時間演算部122へ提供する。
検証処理時間演算部122は、プロパティカウント処理部121から提供されたプロパティ情報の個数と、プロパティ解析部130から提供されたプロパティ情報1個当たりの検証処理時間、または定数として設定されたプロパティ情報1個当たりの検証処理時間とに基づき、ソースコード検証処理のタイムアウト時間を演算する。そしてソースコード検証処理のタイムアウト時間とプロパティ情報とを、検証設定情報提供部123へ提供する。
検証設定情報提供部123は、検証処理時間演算部122より提供されたソースコード検証処理のタイムアウト時間を検証設定情報部220へ提供し、プロパティ情報をソースコード検証処理部230へ提供する。
尚、プロパティ情報1個当たりの検証処理時間は、プロパティ解析部130からでなく予めプロパティカウント部120に定数で与えられていてもよい。
式:サンプリングされた分類iのプロパティ情報の検証完了率
=(サンプリングされた分類iのプロパティ情報の検証が完了した個数)
/(サンプリングされた分類iのプロパティ情報の個数) ・・・・・(式1)
式:サンプリングされた全てのプロパティ情報の検証完了率=
(サンプリングされた分類1のプロパティ情報の検証完了率)*(サンプリングされた分類1のプロパティ情報の個数/サンプリングされた全てのプロパティ情報の個数)
+(サンプリングされた分類2のプロパティ情報の検証完了率)*(サンプリングされた分類2のプロパティ情報の個数/サンプリングされた全てのプロパティ情報の個数)
+(サンプリングされた分類3のプロパティ情報の検証完了率)*(サンプリングされた分類3のプロパティ情報の個数/サンプリングされた全てのプロパティ情報の個数)
+ ・・・
+(サンプリングされた分類nのプロパティ情報の検証完了率)*(サンプリングされた分類nのプロパティ情報の個数/サンプリングされた全てのプロパティ情報の個数)
・・・・・(式2)
式:サンプリングされた全てのプロパティ情報の検証完了率の傾き(K1)
=(検証時間t2のサンプリングされた全てのプロパティ情報の検証完了率
−検証時間t1のサンプリングされた全てのプロパティ情報の検証完了率)
/(サンプリングされた全てのプロパティ情報の検証時間t2
−サンプリングされた全てのプロパティ情報の検証時間t1;時間間隔T)
・・・・・(式3)
サンプリングされた全てのプロパティ情報の検証完了率を演算する毎に、前回の検証完了率との変化率を式3同様に求める。
20 記憶装置
30 入力装置
40 出力装置
50 バス
100 ソースコード検証処理時間計算装置
110 プロパティ抽出部
111 モデル情報取得部
112 プロパティ抽出処理部
113 抽出情報提供部
120 プロパティカウント部
121 プロパティカウント処理部
122 検証処理時間演算部
123 検証設定情報提供部
130 プロパティ解析部
131 時間解析処理制御部
132 解析可否判定部
133 解析結果保持部
134 情報表示部
135 処理上限設定部
210 モデル化処理部
220 検証設定情報部
230 ソースコード検証処理部
240 ソースコード検証システム
310 ソースファイル
320 出力装置(ディスプレイ)
330 検証結果ファイル
Claims (12)
- ソースコードを静的解析することで判明する制御フローグラフに基づいて、前記ソースコードをモデル記述言語に変換したモデル情報から、予め登録された条件に基づいて検査条件を表す論理式をプロパティ情報として抽出するプロパティ抽出部と、
前記プロパティ情報に基づいて、前記プロパティ情報1個当たりの検証処理時間を演算するプロパティ解析部と、
前記プロパティ情報に基づいて、前記ソースコードのソースコード検証処理のタイムアウト時間を演算するプロパティカウント部と
を具備し、
前記プロパティ解析部は、
前記モデル情報と、前記プロパティ情報から無作為にサンプリングされたプロパティ情報とを用いて前記ソースコードを検証し、前記サンプリングされたプロパティ情報の個数に対して、検証が完了した前記サンプリングされたプロパティ情報の個数の割合である検証完了率と、前記サンプリングされたプロパティ情報の検証時間との関係を算出する時間解析処理制御部と、
前記検証完了率と前記検証時間との関係に基づいて、前記検証完了率が収束した時間を判定して、前記プロパティ情報1個当たりに必要な検証処理時間を算出する解析可否判定部と、
前記プロパティ情報1個当たりに必要な検証処理時間が予め設定された基準時間以内の場合、前記プロパティ情報1個当たりに必要な検証処理時間を前記プロパティ情報1個当たりの検証処理時間として設定し、前記プロパティ情報1個当たりに必要な検証処理時間が前記基準時間より長い場合、前記基準時間を前記プロパティ情報1個当たりの検証処理時間として設定する処理上限設定部と
を備え、
前記プロパティカウント部は、
前記プロパティ情報の個数をカウントするプロパティカウント処理部と、
前記プロパティ情報の個数と、前記プロパティ情報1個当たりの検証処理時間とに基づいて、前記タイムアウト時間を演算する検証処理時間演算部と、
前記タイムアウト時間を出力する検証設定情報提供部と
を備える
ソースコード検証処理時間計算装置。 - 請求項1に記載のソースコード検証処理時間計算装置であって、
前記時間解析処理制御部は、
設定された時間間隔毎に前記検証完了率を算出し、第1の時間における第1検証完了率と、前記第1の時間より後の第2の時間における第2検証完了率とに基づいて、前記検証完了率の変化率を算出し、
解析可否判定部は、
前記検証完了率の変化率が一定値を下回る場合、前記第2の時間を前記検証完了率が収束した時間として判定し、前記第2の時間と検証が完了した前記サンプリングされたプロパティ情報の個数とに基づいて、前記プロパティ情報1個当たりに必要な検証処理時間を算出する
ソースコード検証処理時間計算装置。 - 請求項2に記載のソースコード検証処理時間計算装置であって、
解析可否判定部は、
前記検証完了率の変化率が一定値を上回る場合、前記設定された時間間隔を長くした再設定された時間間隔を生成し、
前記時間解析処理制御部は、
前記再設定された時間間隔毎に前記検証完了率を算出する
ソースコード検証処理時間計算装置。 - 請求項2又は3に記載のソースコード検証処理時間計算装置であって、
前記時間解析処理制御部は、
前記サンプリングされたプロパティ情報を、前記検査条件を表す論理式の種類に基づいて第1プロパティ情報と第2プロパティ情報とに分類し、前記第1プロパティ情報又は前記第2プロパティと、前記モデル情報とを用いて前記ソースコードを検証し、前記第1プロパティ情報の個数に対して、検証が完了した前記第1プロパティ情報の個数の割合である第1プロパティ検証完了率と、前記第2プロパティ情報の個数に対して、検証が完了した前記第2プロパティ情報の個数の割合である第2プロパティ検証完了率とをそれぞれ前記設定された時間間隔毎に算出し、前記第1プロパティ検証完了率と前記第2プロパティ検証完了率とを集計して、前記第1検証完了率及び前記第2検証完了率とする
ソースコード検証処理時間計算装置。 - (a)プロパティ抽出部が、ソースコードを静的解析することで判明する制御フローグラフに基づいて、前記ソースコードをモデル記述言語に変換したモデル情報から、予め登録された条件に基づいて検査条件を表す論理式をプロパティ情報として抽出するステップと、
(b)プロパティ解析部が、前記プロパティ情報に基づいて、前記プロパティ情報1個当たりの検証処理時間を演算するステップと、
(c)プロパティカウント部が、前記プロパティ情報に基づいて、前記ソースコードのソースコード検証処理のタイムアウト時間を演算するステップと
を具備し、
前記ステップ(b)は、
(b1)前記モデル情報と、前記プロパティ情報から無作為にサンプリングされたプロパティ情報とを用いて前記ソースコードを検証し、前記サンプリングされたプロパティ情報の個数に対して、検証が完了した前記サンプリングされたプロパティ情報の個数の割合である検証完了率と、前記サンプリングされたプロパティ情報の検証時間との関係を算出するステップと、
(b2)前記検証完了率と前記検証時間との関係に基づいて、前記検証完了率が収束した時間を判定して、前記プロパティ情報1個当たりに必要な検証処理時間を算出するステップと、
(b3)前記プロパティ情報1個当たりに必要な検証処理時間が予め設定された基準時間以内の場合、前記プロパティ情報1個当たりに必要な検証処理時間を前記プロパティ情報1個当たりの検証処理時間として設定し、前記プロパティ情報1個当たりに必要な検証処理時間が前記基準時間より長い場合、前記基準時間を前記プロパティ情報1個当たりの検証処理時間として設定するステップと
を備え、
前記ステップ(c)は、
(c1)前記プロパティ情報の個数をカウントするステップと、
(c2)前記プロパティ情報の個数と、前記プロパティ情報1個当たりの検証処理時間とに基づいて、前記タイムアウト時間を演算するステップと、
(c3)前記タイムアウト時間を出力するステップと
を備える
ソースコード検証処理時間計算方法。 - 請求項5に記載のソースコード検証処理時間計算方法であって、
前記ステップ(b1)は、
(b1−1)設定された時間間隔毎に前記検証完了率を算出し、第1の時間における第1検証完了率と、前記第1の時間より後の第2の時間における第2検証完了率とに基づいて、前記検証完了率の変化率を算出するステップ
を備え、
前記ステップ(b2)は、
(b2−1)前記検証完了率の変化率が一定値を下回る場合、前記第2の時間を前記検証完了率が収束した時間として判定し、前記第2の時間と検証が完了した前記サンプリングされたプロパティ情報の個数とに基づいて、前記プロパティ情報1個当たりに必要な検証処理時間を算出するステップ
を備える
ソースコード検証処理時間計算方法。 - 請求項6に記載のソースコード検証処理時間計算方法であって、
前記ステップ(b2)は、
(b2−2)前記検証完了率の変化率が一定値を上回る場合、前記設定された時間間隔を長くした再設定された時間間隔を生成するステップ
を備える
ソースコード検証処理時間計算方法。 - 請求項6又は7に記載のソースコード検証処理時間計算方法であって、
前記ステップ(b1−1)は、
(b1−1−1)前記サンプリングされたプロパティ情報を、前記検査条件を表す論理式の種類に基づいて第1プロパティ情報と第2プロパティ情報とに分類するステップと、
(b1−1−2)前記第1プロパティ情報又は前記第2プロパティと、前記モデル情報とを用いて前記ソースコードを検証し、前記第1プロパティ情報の個数に対して、検証が完了した前記第1プロパティ情報の個数の割合である第1プロパティ検証完了率と、前記第2プロパティ情報の個数に対して、検証が完了した前記第2プロパティ情報の個数の割合である第2プロパティ検証完了率とをそれぞれ前記設定された時間間隔毎に算出するステップと、
(b1−1−3)前記第1プロパティ検証完了率と前記第2プロパティ検証完了率とを集計して、前記第1検証完了率及び前記第2検証完了率とするステップと
を備える
ソースコード検証処理時間計算方法。 - (a)ソースコードを静的解析することで判明する制御フローグラフに基づいて、前記ソースコードをモデル記述言語に変換したモデル情報から、予め登録された条件に基づいて検査条件を表す論理式をプロパティ情報として抽出するステップと、
(b)前記プロパティ情報に基づいて、前記プロパティ情報1個当たりの検証処理時間を演算するステップと、
(c)前記プロパティ情報に基づいて、前記ソースコードのソースコード検証処理のタイムアウト時間を演算するステップと
をコンピュータに実行させるためのコンピュータプログラムであって、
前記ステップ(b)は、
(b1)前記モデル情報と、前記プロパティ情報から無作為にサンプリングされたプロパティ情報とを用いて前記ソースコードを検証し、前記サンプリングされたプロパティ情報の個数に対して、検証が完了した前記サンプリングされたプロパティ情報の個数の割合である検証完了率と、前記サンプリングされたプロパティ情報の検証時間との関係を算出するステップと、
(b2)前記検証完了率と前記検証時間との関係に基づいて、前記検証完了率が収束した時間を判定して、前記プロパティ情報1個当たりに必要な検証処理時間を算出するステップと、
(b3)前記プロパティ情報1個当たりに必要な検証処理時間が予め設定された基準時間以内の場合、前記プロパティ情報1個当たりに必要な検証処理時間を前記プロパティ情報1個当たりの検証処理時間として設定し、前記プロパティ情報1個当たりに必要な検証処理時間が前記基準時間より長い場合、前記基準時間を前記プロパティ情報1個当たりの検証処理時間として設定するステップと
を含み、
前記ステップ(c)は、
(c1)前記プロパティ情報の個数をカウントするステップと、
(c2)前記プロパティ情報の個数と、前記プロパティ情報1個当たりの検証処理時間とに基づいて、前記タイムアウト時間を演算するステップと、
(c3)前記タイムアウト時間を出力するステップと
を含む
ソースコード検証処理時間計算プログラム。 - 請求項9に記載のソースコード検証処理時間計算プログラムであって、
前記ステップ(b1)は、
(b1−1)設定された時間間隔毎に前記検証完了率を算出し、第1の時間における第1検証完了率と、前記第1の時間より後の第2の時間における第2検証完了率とに基づいて、前記検証完了率の変化率を算出するステップ
を備え、
前記ステップ(b2)は、
(b2−1)前記検証完了率の変化率が一定値を下回る場合、前記第2の時間を前記検証完了率が収束した時間として判定し、前記第2の時間と検証が完了した前記サンプリングされたプロパティ情報の個数とに基づいて、前記プロパティ情報1個当たりに必要な検証処理時間を算出するステップ
を備える
ソースコード検証処理時間計算プログラム。 - 請求項10に記載のソースコード検証処理時間計算プログラムであって、
前記ステップ(b2)は、
(b2−2)前記検証完了率の変化率が一定値を上回る場合、前記設定された時間間隔を長くした再設定された時間間隔を生成するステップ
を備える
ソースコード検証処理時間計算プログラム。 - 請求項10又は11に記載のソースコード検証処理時間計算プログラムであって、
前記ステップ(b1−1)は、
(b1−1−1)前記サンプリングされたプロパティ情報を、前記検査条件を表す論理式の種類に基づいて第1プロパティ情報と第2プロパティ情報とに分類するステップと、
(b1−1−2)前記第1プロパティ情報又は前記第2プロパティと、前記モデル情報とを用いて前記ソースコードを検証し、前記第1プロパティ情報の個数に対して、検証が完了した前記第1プロパティ情報の個数の割合である第1プロパティ検証完了率と、前記第2プロパティ情報の個数に対して、検証が完了した前記第2プロパティ情報の個数の割合である第2プロパティ検証完了率とをそれぞれ前記設定された時間間隔毎に算出するステップと、
(b1−1−3)前記第1プロパティ検証完了率と前記第2プロパティ検証完了率とを集計して、前記第1検証完了率及び前記第2検証完了率とするステップと
を備える
ソースコード検証処理時間計算プログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2007217334A JP4973997B2 (ja) | 2007-08-23 | 2007-08-23 | ソースコード検証処理時間計算装置及び方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2007217334A JP4973997B2 (ja) | 2007-08-23 | 2007-08-23 | ソースコード検証処理時間計算装置及び方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2009053756A JP2009053756A (ja) | 2009-03-12 |
JP4973997B2 true JP4973997B2 (ja) | 2012-07-11 |
Family
ID=40504821
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2007217334A Expired - Fee Related JP4973997B2 (ja) | 2007-08-23 | 2007-08-23 | ソースコード検証処理時間計算装置及び方法 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP4973997B2 (ja) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2012043010A (ja) * | 2010-08-12 | 2012-03-01 | Nec Corp | 負荷分散システム、及び負荷分散方法 |
WO2019031627A1 (ko) * | 2017-08-09 | 2019-02-14 | 주식회사 센스톤 | 가상코드제공시스템, 가상코드생성장치, 가상코드검증장치, 가상코드제공방법 및 가상코드제공프로그램 |
JP2019205897A (ja) * | 2019-08-09 | 2019-12-05 | ヘルスグリッド株式会社 | 生体情報の評価システム及び評価方法 |
Family Cites Families (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP3277817B2 (ja) * | 1996-08-09 | 2002-04-22 | 三菱電機株式会社 | データ処理装置 |
JPH1063550A (ja) * | 1996-08-23 | 1998-03-06 | Fujitsu Ltd | 実行性能解析表示方法およびその方法を実施するプログラムを記録した媒体 |
JP2002268879A (ja) * | 2001-03-07 | 2002-09-20 | Mitsubishi Electric Corp | プログラム設計支援装置、プログラム設計支援方法及びプログラム設計支援方法をコンピュータに実行させるためのプログラム。 |
-
2007
- 2007-08-23 JP JP2007217334A patent/JP4973997B2/ja not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
JP2009053756A (ja) | 2009-03-12 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Reiss | Testing the reliability of chatgpt for text annotation and classification: A cautionary remark | |
US9454466B2 (en) | Explaining partially illegal combinations in combinatorial models | |
JP4275659B2 (ja) | 遅延解析プログラム、遅延解析装置、および遅延解析方法 | |
JP2011222017A (ja) | 技術設計最適化における最も影響力のある設計変数の識別方法 | |
JP4973997B2 (ja) | ソースコード検証処理時間計算装置及び方法 | |
US7984403B2 (en) | Verification supporting system | |
WO2018109806A1 (ja) | モデル学習装置及びモデル学習方法 | |
JP2016149123A (ja) | 未知のバイナリモジュールのための有効な入力を決定する方法及び非一時的なコンピュータ可読媒体 | |
US8718998B2 (en) | Identifying initial don't care memory elements for simulation | |
JP5018781B2 (ja) | 信号選択装置、回路修正装置、回路シミュレータ、回路エミュレータ、信号選択方法およびプログラム | |
US20120291019A1 (en) | Program verification apparatus based on model verifying and storage medium | |
JP4391540B2 (ja) | 遅延解析プログラム、該プログラムを記録した記録媒体、遅延解析装置および遅延解析方法 | |
JP5444939B2 (ja) | ソフトウェアのテスト方法及びプログラム | |
JP6831307B2 (ja) | 解算出装置、解算出方法及び解算出プログラム | |
JP5032286B2 (ja) | フィルタリング処理方法、フィルタリング処理プログラムおよびフィルタリング装置 | |
JP5755861B2 (ja) | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム | |
CN114077884A (zh) | 深度学习模型的模型转换优化装置、方法及可读存储介质 | |
JP4835791B2 (ja) | Gui評価システム、gui評価方法およびgui評価用プログラム | |
JP7420148B2 (ja) | 学習装置、学習方法及びプログラム | |
Thule | Verifying the co-simulation orchestration engine for INTO-CPS | |
JP4564914B2 (ja) | アサーション自動生成装置および論理回路設計検証方法 | |
JP5918102B2 (ja) | 解析システム、解析装置、解析方法及び解析プログラム | |
JP6828812B2 (ja) | 情報処理装置、情報処理方法及びプログラム | |
JP5310397B2 (ja) | 動作合成検証補助装置、動作合成検証補助方法、プログラム、及び記録媒体 | |
JP7070328B2 (ja) | テストデータ生成装置、テストデータ生成方法及びプログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20110627 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20110630 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20110818 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20110908 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20111102 |
|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20111125 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20120224 |
|
A911 | Transfer to examiner for re-examination before appeal (zenchi) |
Free format text: JAPANESE INTERMEDIATE CODE: A911 Effective date: 20120301 |
|
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: 20120316 |
|
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: 20120329 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 4973997 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: 20150420 Year of fee payment: 3 |
|
LAPS | Cancellation because of no payment of annual fees |