JPH1031584A - ソフトウエアの検証自動化装置 - Google Patents
ソフトウエアの検証自動化装置Info
- Publication number
- JPH1031584A JPH1031584A JP8185954A JP18595496A JPH1031584A JP H1031584 A JPH1031584 A JP H1031584A JP 8185954 A JP8185954 A JP 8185954A JP 18595496 A JP18595496 A JP 18595496A JP H1031584 A JPH1031584 A JP H1031584A
- Authority
- JP
- Japan
- Prior art keywords
- design
- task
- design specification
- execution code
- software
- 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.)
- Pending
Links
Landscapes
- Stored Programmes (AREA)
- Debugging And Monitoring (AREA)
Abstract
(57)【要約】
【課題】ソフトウエアの検証自動化を可能にし、検証作
業の省力化及び時間短縮化を図ること。 【解決手段】設計仕様に基づいて構築されているソフト
ウエアの機能要素群を下流の設計情報へ変換する過程
で、上流から下流に掛けて変換されていく設計情報に上
流の設計仕様を保持させておき、ソフトウエア開発の下
流にて当該設計情報に保持させている設計仕様を使用し
て検証作業を実行するソフトウエアの検証自動化装置で
ある。
業の省力化及び時間短縮化を図ること。 【解決手段】設計仕様に基づいて構築されているソフト
ウエアの機能要素群を下流の設計情報へ変換する過程
で、上流から下流に掛けて変換されていく設計情報に上
流の設計仕様を保持させておき、ソフトウエア開発の下
流にて当該設計情報に保持させている設計仕様を使用し
て検証作業を実行するソフトウエアの検証自動化装置で
ある。
Description
【０００１】
【発明の属する技術分野】本発明は、ソフトウエア開発
における検証作業を自動化するためのソフトウエアの検
証自動化装置に関する。
における検証作業を自動化するためのソフトウエアの検
証自動化装置に関する。
【０００２】
【従来の技術】従来、ソフトウエア開発では、論理設計
で決めた設計仕様からソースコードへ詳細化を繰り返し
ながら変換する過程で発生する人為的ミス、またはソー
スコードのコーディング作業段階で発生する設計内容の
追加・変更などにより、開発途上で当初の設計意図から
ずれてくる場合がある。そのため、開発ソフトウエアと
設計書内容とを照らし合わせる検証や実際に動作させる
タスクの組み合わせ試験等の検証を行っている。特に、
組み合わせ試験でのタスク起動の検証は、実際の動作内
容を確認しながら設計図上にマーキングするという方法
により人手によって行われていた。
で決めた設計仕様からソースコードへ詳細化を繰り返し
ながら変換する過程で発生する人為的ミス、またはソー
スコードのコーディング作業段階で発生する設計内容の
追加・変更などにより、開発途上で当初の設計意図から
ずれてくる場合がある。そのため、開発ソフトウエアと
設計書内容とを照らし合わせる検証や実際に動作させる
タスクの組み合わせ試験等の検証を行っている。特に、
組み合わせ試験でのタスク起動の検証は、実際の動作内
容を確認しながら設計図上にマーキングするという方法
により人手によって行われていた。
【０００３】
【発明が解決しようとする課題】しかしながら、システ
ムの規模が大きくなるにつれて詳細化のレベルも増えて
人為的なミスが発生する確率が高くなると共に、検証作
業も複雑化を増すことから検証作業が著しく繁雑なもの
となっていた。
ムの規模が大きくなるにつれて詳細化のレベルも増えて
人為的なミスが発生する確率が高くなると共に、検証作
業も複雑化を増すことから検証作業が著しく繁雑なもの
となっていた。
【０００４】本発明は、以上のような実情に鑑みてなさ
れたもので、ソフトウエア開発の上流段階で意図した設
計情報を下流段階まで保持することにより、種々の検証
の自動化を可能にすると共に、検証作業の省力化及び時
間短縮化を図ることのできるソフトウエアの検証自動化
装置を提供することを目的とする。
れたもので、ソフトウエア開発の上流段階で意図した設
計情報を下流段階まで保持することにより、種々の検証
の自動化を可能にすると共に、検証作業の省力化及び時
間短縮化を図ることのできるソフトウエアの検証自動化
装置を提供することを目的とする。
【０００５】
【課題を解決するための手段】本発明は、上記目的を達
成するために以下のような手段を講じた。本発明は、設
計仕様に基づいて構築したソフトウエアの機能要素群を
下流の設計情報へ変換する過程で、上流から下流に掛け
て変換されていく設計情報に上流の設計仕様を保持させ
ておき、ソフトウエア開発の下流にて当該設計情報に保
持させている設計仕様を使用して検証作業を実行するよ
うにした。
成するために以下のような手段を講じた。本発明は、設
計仕様に基づいて構築したソフトウエアの機能要素群を
下流の設計情報へ変換する過程で、上流から下流に掛け
て変換されていく設計情報に上流の設計仕様を保持させ
ておき、ソフトウエア開発の下流にて当該設計情報に保
持させている設計仕様を使用して検証作業を実行するよ
うにした。
【０００６】本発明によれば、ソフトウエア開発の下流
にて設計情報に保持させている設計仕様を使用すること
により、設計仕様の静的解析と設計情報の動的解析とが
可能になる。
にて設計情報に保持させている設計仕様を使用すること
により、設計仕様の静的解析と設計情報の動的解析とが
可能になる。
【０００７】下流の設計情報を実行コードに変換し、当
該実行コードを実行して実行コードの動的解析を行うこ
とができる。また、下流の設計情報に保持させている設
計仕様を上流の設計仕様に変換して設計仕様の静的解析
を行うことができる。
該実行コードを実行して実行コードの動的解析を行うこ
とができる。また、下流の設計情報に保持させている設
計仕様を上流の設計仕様に変換して設計仕様の静的解析
を行うことができる。
【０００８】本発明は、下流の設計情報を実行コードに
変換する手段と、実行コードを実行して実行コードの動
的解析を行う動的解析手段と、下流の設計情報に保持さ
せている設計仕様を上流の設計仕様に変換して設計仕様
の静的解析を行う静的解析手段と、前記動的解析手段と
前記静的解析手段の解析結果を比較して異常箇所を検出
する比較手段とを備える。
変換する手段と、実行コードを実行して実行コードの動
的解析を行う動的解析手段と、下流の設計情報に保持さ
せている設計仕様を上流の設計仕様に変換して設計仕様
の静的解析を行う静的解析手段と、前記動的解析手段と
前記静的解析手段の解析結果を比較して異常箇所を検出
する比較手段とを備える。
【０００９】また本発明は、ソフトウエアを構成してい
る複数タスクの起動関係が記述された設計仕様を作成す
る設計手段と、この設計手段で作成した設計仕様をソー
スコードへ変換すると共に当該ソースコードにタスク起
動関係の設計仕様を付加するソースコード作成手段と、
このソースコード作成手段でソースコードに付加したタ
スク起動関係の設計仕様を上流の設計仕様の形に変換す
ることによりタスク起動関係をチェックする静的解析手
段と、前記ソースコードを実行コードに変換する実行コ
ード作成手段と、この実行コード作成手段で変換した実
行コードを実行することによりタスク起動関係をチェッ
クする動的解析手段と、前記静的解析手段による解析結
果と前記動的解析手段による解析結果との差分を検出す
る解析結果比較手段と、この解析結果比較手段により差
分検出された箇所を異常起動箇所としてタスク起動関係
のモデル図上で強調表示する表示制御手段とを備える。
る複数タスクの起動関係が記述された設計仕様を作成す
る設計手段と、この設計手段で作成した設計仕様をソー
スコードへ変換すると共に当該ソースコードにタスク起
動関係の設計仕様を付加するソースコード作成手段と、
このソースコード作成手段でソースコードに付加したタ
スク起動関係の設計仕様を上流の設計仕様の形に変換す
ることによりタスク起動関係をチェックする静的解析手
段と、前記ソースコードを実行コードに変換する実行コ
ード作成手段と、この実行コード作成手段で変換した実
行コードを実行することによりタスク起動関係をチェッ
クする動的解析手段と、前記静的解析手段による解析結
果と前記動的解析手段による解析結果との差分を検出す
る解析結果比較手段と、この解析結果比較手段により差
分検出された箇所を異常起動箇所としてタスク起動関係
のモデル図上で強調表示する表示制御手段とを備える。
【００１０】
【発明の実施の形態】以下、本発明の実施の形態につい
て説明する。 （第１の実施の形態）図１は第１の実施の形態に係るソ
フトウエアの検証自動化装置の機能構成を示している。
検証自動化装置は、開発ソフトウエアの設計仕様を設計
手段１−１で作成して設計情報保持手段１−２へ渡す。
設計情報保持手段１−２が設計手段１−１からの情報を
解析し、静的解析に使用する上流の設計仕様を抽出して
下流の設計情報に保持させる。
て説明する。 （第１の実施の形態）図１は第１の実施の形態に係るソ
フトウエアの検証自動化装置の機能構成を示している。
検証自動化装置は、開発ソフトウエアの設計仕様を設計
手段１−１で作成して設計情報保持手段１−２へ渡す。
設計情報保持手段１−２が設計手段１−１からの情報を
解析し、静的解析に使用する上流の設計仕様を抽出して
下流の設計情報に保持させる。
【００１１】設計情報保持手段１−２によって下流の設
計情報に保持させた設計仕様を取り出して静的解析を実
行する。静的解析は、下流の設計情報から抽出した設計
仕様を設計手段１−１で作成した状態に戻すことにより
行うことができる。
計情報に保持させた設計仕様を取り出して静的解析を実
行する。静的解析は、下流の設計情報から抽出した設計
仕様を設計手段１−１で作成した状態に戻すことにより
行うことができる。
【００１２】また、実行コード作成手段１−４が下流の
設計情報を実行コードに変換し、動的解析手段１−５が
実行コードを実行することにより動的解析を行う。動的
解析は、実行コードを実行することにより実行結果を収
集することにより行われる。
設計情報を実行コードに変換し、動的解析手段１−５が
実行コードを実行することにより動的解析を行う。動的
解析は、実行コードを実行することにより実行結果を収
集することにより行われる。
【００１３】解析結果比較手段１−６において静的解析
手段１−３による静的解析結果と動的解析手段１−５に
よる動的解析結果とを比較し、その比較結果を解析結果
表示手段１−７に表示させる。下流の設計情報が設計内
容通りに作成されていれば、両者の比較結果が等しくな
る。
手段１−３による静的解析結果と動的解析手段１−５に
よる動的解析結果とを比較し、その比較結果を解析結果
表示手段１−７に表示させる。下流の設計情報が設計内
容通りに作成されていれば、両者の比較結果が等しくな
る。
【００１４】（第２の実施の形態）図２は第２の実施の
形態に係るソフトウエアの検証自動化装置の機能構成を
示しており、図３は図２の検証自動化装置の処理工程を
抜き出したものである。システム開発の論理設計段階で
は、目標システム仕様に基づいてソフトウエア仕様を決
定している。ソフトウエア部分は複数のタスクの組み合
わせで構成されることが多く、個々のタスク仕様書にお
いて他タスクとの起動関係及びデータアクセス関係が決
められる。例えば、イベント０１が発生した場合、タス
クＢは他タスクＡから起動を掛けられ、タスクＢからさ
らに他タスクＣへ起動を掛けるといった内容（タスク起
動関係）を定める。また、他タスクＡから起動を掛けら
れた場合は、データ０１を受けとり、他タスクＣへ起動
を掛ける場合は、データ０２を渡すといった内容（デー
タアクセス関係）を定める。
形態に係るソフトウエアの検証自動化装置の機能構成を
示しており、図３は図２の検証自動化装置の処理工程を
抜き出したものである。システム開発の論理設計段階で
は、目標システム仕様に基づいてソフトウエア仕様を決
定している。ソフトウエア部分は複数のタスクの組み合
わせで構成されることが多く、個々のタスク仕様書にお
いて他タスクとの起動関係及びデータアクセス関係が決
められる。例えば、イベント０１が発生した場合、タス
クＢは他タスクＡから起動を掛けられ、タスクＢからさ
らに他タスクＣへ起動を掛けるといった内容（タスク起
動関係）を定める。また、他タスクＡから起動を掛けら
れた場合は、データ０１を受けとり、他タスクＣへ起動
を掛ける場合は、データ０２を渡すといった内容（デー
タアクセス関係）を定める。
【００１５】図１２はソフトウエアのタスク起動関係の
一例を示している。イベント０１が発生すると、タスク
０１からタスク０２が起動され、さらにタスク０２から
タスク０４が起動される。イベント０２が発生するとタ
スク０３が起動される。イベント０１とイベント０２が
同時に発生すると、タスク０１からタスク０３が起動さ
れ、続いてタスク０３からタスク０２が起動され、さら
にタスク０２からタスク０４が起動される。
一例を示している。イベント０１が発生すると、タスク
０１からタスク０２が起動され、さらにタスク０２から
タスク０４が起動される。イベント０２が発生するとタ
スク０３が起動される。イベント０１とイベント０２が
同時に発生すると、タスク０１からタスク０３が起動さ
れ、続いてタスク０３からタスク０２が起動され、さら
にタスク０２からタスク０４が起動される。
【００１６】設計仕様作成手段２−１は、ＣＡＳＥツー
ルの一部に組み込まれており、タスク仕様書にタスク起
動関係及びデータアクセス関係の設計仕様を記述するも
のである。図４（ａ）は設計仕様作成手段２−１がタス
ク０２について作成したタスク仕様書３−１の具体例を
示している。設計仕様作成手段２−１は、次のような記
述形式でタスク仕様書を記述している。 ＡＣＴＩＶＡＴＥ ＴＡＳＫ：＜起動タスク名＞ＴＩＭＩＮＧ：＜信号論理式＞ ＩＮＦ：＜受渡データ記述＞ ＡＣＣＥＰＴ ＴＡＳＫ：＜被起動タスク名＞ＴＩＭＩＮＧ：＜信号論理式＞ ＩＮＦ：＜受渡データ記述＞ （ＡＣＴＩＶＡＴＥ：起動、ＡＣＣＥＰＴ：被起動） タスク仕様書には、タスク起動関係及びデータアクセス
関係の設計仕様の他に当該タスクを構成するモジュール
の情報が記述されることになる。個々のモジュールにつ
いてもモジュール仕様書が作成される。
ルの一部に組み込まれており、タスク仕様書にタスク起
動関係及びデータアクセス関係の設計仕様を記述するも
のである。図４（ａ）は設計仕様作成手段２−１がタス
ク０２について作成したタスク仕様書３−１の具体例を
示している。設計仕様作成手段２−１は、次のような記
述形式でタスク仕様書を記述している。 ＡＣＴＩＶＡＴＥ ＴＡＳＫ：＜起動タスク名＞ＴＩＭＩＮＧ：＜信号論理式＞ ＩＮＦ：＜受渡データ記述＞ ＡＣＣＥＰＴ ＴＡＳＫ：＜被起動タスク名＞ＴＩＭＩＮＧ：＜信号論理式＞ ＩＮＦ：＜受渡データ記述＞ （ＡＣＴＩＶＡＴＥ：起動、ＡＣＣＥＰＴ：被起動） タスク仕様書には、タスク起動関係及びデータアクセス
関係の設計仕様の他に当該タスクを構成するモジュール
の情報が記述されることになる。個々のモジュールにつ
いてもモジュール仕様書が作成される。
【００１７】設計仕様作成手段２−１により作成された
上流のソフトウエア設計仕様（タスク仕様書を含む）を
ソースコード作成手段２−２がソースコードへ変換する
ことにより下流の設計情報を作成する。図４（ｂ）はソ
ースコード作成手段２−２が作成したソースコードファ
イル２−３の具体例を示している。
上流のソフトウエア設計仕様（タスク仕様書を含む）を
ソースコード作成手段２−２がソースコードへ変換する
ことにより下流の設計情報を作成する。図４（ｂ）はソ
ースコード作成手段２−２が作成したソースコードファ
イル２−３の具体例を示している。
【００１８】ソースコード作成手段２−２は、ソースコ
ードファイル２−３上に静的解析に使用するための設計
情報をコメント３−３の形で出力し、かつ動的解析を実
行するためのソースコード３−４を出力する。静的解析
に使用する設計情報は、タスク仕様書に記述されたタス
ク起動関係及びデータアクセス関係であり、ソースコー
ドと区別するため「コメント」と称することとする。
ードファイル２−３上に静的解析に使用するための設計
情報をコメント３−３の形で出力し、かつ動的解析を実
行するためのソースコード３−４を出力する。静的解析
に使用する設計情報は、タスク仕様書に記述されたタス
ク起動関係及びデータアクセス関係であり、ソースコー
ドと区別するため「コメント」と称することとする。
【００１９】ソースコード３−４は、実行コードを作成
するときにテスト実行用の部分と実際の実行用の部分と
に切り替えられるようになっている。すなわち、実際の
実行用の部分に相当する「実際のタスク起動文」３−４
−２に、テスト実行用の部分である「動的解析手段の関
数」３−４−１を被せることによりソースコード３−４
を構成している。これにより、動的解析手段の関数３−
４−１で内部に実際のタスク起動文３−４−２を抱き込
む形で関数内部でタスク起動を行い、タスク起動の有無
等のチェックを行うことができる。
するときにテスト実行用の部分と実際の実行用の部分と
に切り替えられるようになっている。すなわち、実際の
実行用の部分に相当する「実際のタスク起動文」３−４
−２に、テスト実行用の部分である「動的解析手段の関
数」３−４−１を被せることによりソースコード３−４
を構成している。これにより、動的解析手段の関数３−
４−１で内部に実際のタスク起動文３−４−２を抱き込
む形で関数内部でタスク起動を行い、タスク起動の有無
等のチェックを行うことができる。
【００２０】ソースコードファイル２−３に落とされた
設計仕様を使用した静的解析は静的解析手段２−４によ
り実行される。静的解析手段２−４は、ソースコードフ
ァイル２−３中の設計仕様のコメント３−３を当該ソー
スコードファイル２−３へ落とす前の設計仕様の形に戻
し（この処理を逆生成と呼ぶ）、この逆生成した設計仕
様を解析情報ファイル４−１に格納する。図５に解析情
報ファイル４−１の詳細を示している。かかる逆生成作
業をタスク毎に実施し、解析結果を各タスクの解析情報
ファイル４−１へ出力する。
設計仕様を使用した静的解析は静的解析手段２−４によ
り実行される。静的解析手段２−４は、ソースコードフ
ァイル２−３中の設計仕様のコメント３−３を当該ソー
スコードファイル２−３へ落とす前の設計仕様の形に戻
し（この処理を逆生成と呼ぶ）、この逆生成した設計仕
様を解析情報ファイル４−１に格納する。図５に解析情
報ファイル４−１の詳細を示している。かかる逆生成作
業をタスク毎に実施し、解析結果を各タスクの解析情報
ファイル４−１へ出力する。
【００２１】静的解析手段２−４は、外部から任意のイ
ベントが指定され、その指定されたイベントが起動条件
または被起動条件として設定されているタスク起動関係
の情報を、全タスクの解析情報ファイル４−２から抽出
して静的解析結果保持ファイル２−５に保存する。図５
に静的解析結果保持ファイル２−５への出力結果を示し
ている。
ベントが指定され、その指定されたイベントが起動条件
または被起動条件として設定されているタスク起動関係
の情報を、全タスクの解析情報ファイル４−２から抽出
して静的解析結果保持ファイル２−５に保存する。図５
に静的解析結果保持ファイル２−５への出力結果を示し
ている。
【００２２】一方、ソースコードファイル２−３に保存
されている情報の中から動的解析に使用するソースコー
ド３−４を取り出し、コンパイラでコンパイルして実行
コードに変換する。ここで、動的解析ではソースコード
３−４のうち実際のタスク起動文３−４−２は実行させ
ないので試験時のオプション指令等の手段によって動的
解析手段の関数３−４−１だけを実行コードに変換す
る。他のソースコードファイル２−３に保存されている
ソースコード３−４も同様にして実行コードに変換す
る。これらの実行コードは実行コードファイル２−７に
保存する。
されている情報の中から動的解析に使用するソースコー
ド３−４を取り出し、コンパイラでコンパイルして実行
コードに変換する。ここで、動的解析ではソースコード
３−４のうち実際のタスク起動文３−４−２は実行させ
ないので試験時のオプション指令等の手段によって動的
解析手段の関数３−４−１だけを実行コードに変換す
る。他のソースコードファイル２−３に保存されている
ソースコード３−４も同様にして実行コードに変換す
る。これらの実行コードは実行コードファイル２−７に
保存する。
【００２３】実行コードファイル２−７に保存された実
行コードを動的解析手段２−９が実行する。動的解析手
段２−９では、実行中にタスクの起動がある度に、起動
タスクの動的解析手段の関数plan info check が呼ば
れ、タスク起動関係の情報を動的解析結果保持ファイル
２−１０へ書き込む。動的解析結果保持ファイル２−１
０への出力形式は、図７に示すようにタスク名、被起動
タスク名、起動タスク名、起動状態（ＹＥＳ／ＮＯ）、
イベント、受渡データである。
行コードを動的解析手段２−９が実行する。動的解析手
段２−９では、実行中にタスクの起動がある度に、起動
タスクの動的解析手段の関数plan info check が呼ば
れ、タスク起動関係の情報を動的解析結果保持ファイル
２−１０へ書き込む。動的解析結果保持ファイル２−１
０への出力形式は、図７に示すようにタスク名、被起動
タスク名、起動タスク名、起動状態（ＹＥＳ／ＮＯ）、
イベント、受渡データである。
【００２４】関数plan info check への入力は、当該関
数の引数とイベント定義ファイル２−８の情報である。
イベント定義ファイル２−８は、図８に示すように実際
に実行コードを動作させるときに入力されるイベント値
と設計仕様上でのそのイベントの名称が定義されてい
る。
数の引数とイベント定義ファイル２−８の情報である。
イベント定義ファイル２−８は、図８に示すように実際
に実行コードを動作させるときに入力されるイベント値
と設計仕様上でのそのイベントの名称が定義されてい
る。
【００２５】図１２に示すような設計仕様である場合、
動的解析でタスク全体のタスク起動関係をチェックする
のであれば、タスク０１が処理開始タスクであるのでタ
スク０１の実行コードから実行する。
動的解析でタスク全体のタスク起動関係をチェックする
のであれば、タスク０１が処理開始タスクであるのでタ
スク０１の実行コードから実行する。
【００２６】図６は動的解析手段２−９の具体的な動作
内容を示している。今、処理開始タスクであるタスク０
１からタスク０２が起動されたものとして説明する。タ
スク０２の関数plan info check の内部処理が実行され
ると、最初に動的解析手段の関数の引数をテーブル６−
１３へ格納し（ステップ６−１）、イベント定義ファイ
ル２−８のデータを読み込んでイベントテーブル６−１
４へ格納する（ステップ６−２）。そして、本関数を実
行したタスクのタスク名とそのタスクを起動した被起動
タスクの名称を上記テーブル６−１３へ格納する（ステ
ップ６−３）。
内容を示している。今、処理開始タスクであるタスク０
１からタスク０２が起動されたものとして説明する。タ
スク０２の関数plan info check の内部処理が実行され
ると、最初に動的解析手段の関数の引数をテーブル６−
１３へ格納し（ステップ６−１）、イベント定義ファイ
ル２−８のデータを読み込んでイベントテーブル６−１
４へ格納する（ステップ６−２）。そして、本関数を実
行したタスクのタスク名とそのタスクを起動した被起動
タスクの名称を上記テーブル６−１３へ格納する（ステ
ップ６−３）。
【００２７】上記したように、動的解析手段の関数３−
４−１は、内部に実際のタスク起動文３−４−２を抱き
込む形で関数内部でタスク起動を行うので、上流の設計
仕様通りミスがなければ、他タスクが起動タスクとして
起動されることになる（ステップ６−４）。起動タスク
の起動状態を判断し（ステップ６−５）、設計仕様通り
に起動に成功していれば上記テーブル６−１３のタスク
起動状態をＹＥＳにし（ステップ６−６）、起動タスク
が正しく起動されていなければ上記テーブル６−１３の
タスク起動状態をＮＯにする（ステップ６−７）。
４−１は、内部に実際のタスク起動文３−４−２を抱き
込む形で関数内部でタスク起動を行うので、上流の設計
仕様通りミスがなければ、他タスクが起動タスクとして
起動されることになる（ステップ６−４）。起動タスク
の起動状態を判断し（ステップ６−５）、設計仕様通り
に起動に成功していれば上記テーブル６−１３のタスク
起動状態をＹＥＳにし（ステップ６−６）、起動タスク
が正しく起動されていなければ上記テーブル６−１３の
タスク起動状態をＮＯにする（ステップ６−７）。
【００２８】次に、上記テーブル６−１３に実行コード
を実際に動作させるときのイベント値として登録したイ
ベント値についてイベントテーブル６−１４を検索し
（ステップ６−８）、そのイベント値がイベントテーブ
ル６−１４に存在していれば当該イベント値と対で格納
されているイベント名を取り出して上記テーブル６−１
３のイベント値の格納位置にオーバーライトする（ステ
ップ６−１０）。また、そのイベント値がイベントテー
ブル６−１４に存在してなければ上記テーブル６−１３
のイベント値の格納位置をブランクとする（ステップ６
−１１）。
を実際に動作させるときのイベント値として登録したイ
ベント値についてイベントテーブル６−１４を検索し
（ステップ６−８）、そのイベント値がイベントテーブ
ル６−１４に存在していれば当該イベント値と対で格納
されているイベント名を取り出して上記テーブル６−１
３のイベント値の格納位置にオーバーライトする（ステ
ップ６−１０）。また、そのイベント値がイベントテー
ブル６−１４に存在してなければ上記テーブル６−１３
のイベント値の格納位置をブランクとする（ステップ６
−１１）。
【００２９】最後に、上記テーブル６−１３に最終的に
格納されている内容を動的解析結果保持ファイル２−１
０へ書き込む（ステップ６−１２）。上記ステップ６−
４で起動した他タスクについては、同様にしてステップ
６−１から処理が開始され、当該他タスクについて解析
を行って取得したテーブル６−１３の内容を動的解析結
果保持ファイル２−１０へ書き込むことになる（ステッ
プ６−１２）。図７は一連のタスク起動関係を有するタ
スクについて動的解析を実行した結果取得した情報を格
納した動的解析結果保持ファイル２−１０の具体例を示
している。
格納されている内容を動的解析結果保持ファイル２−１
０へ書き込む（ステップ６−１２）。上記ステップ６−
４で起動した他タスクについては、同様にしてステップ
６−１から処理が開始され、当該他タスクについて解析
を行って取得したテーブル６−１３の内容を動的解析結
果保持ファイル２−１０へ書き込むことになる（ステッ
プ６−１２）。図７は一連のタスク起動関係を有するタ
スクについて動的解析を実行した結果取得した情報を格
納した動的解析結果保持ファイル２−１０の具体例を示
している。
【００３０】図９に示すように、上記した静的解析及び
動的解析により作成した静的解析結果保持ファイル２−
５，動的解析結果保持ファイル２−１０の内容を解析結
果比較手段２−１１に読み込んで２つのファイルの差分
を検出する。解析結果比較手段２−１１は、読み込んだ
静的解析結果保持ファイル２−５，動的解析結果保持フ
ァイル２−１０について文字列のソートを行い、ソート
後の両者の内容を比較して相違する文字列の一方（図示
する例では静的解析結果）を差分として解析結果表示手
段２−１３へ出力する。
動的解析により作成した静的解析結果保持ファイル２−
５，動的解析結果保持ファイル２−１０の内容を解析結
果比較手段２−１１に読み込んで２つのファイルの差分
を検出する。解析結果比較手段２−１１は、読み込んだ
静的解析結果保持ファイル２−５，動的解析結果保持フ
ァイル２−１０について文字列のソートを行い、ソート
後の両者の内容を比較して相違する文字列の一方（図示
する例では静的解析結果）を差分として解析結果表示手
段２−１３へ出力する。
【００３１】解析結果表示手段２−１３は、解析結果比
較手段２−１１から与えられた比較結果情報（差分）と
静的解析結果保持ファイル２−５の内容とから、図１０
に示すような設計言語ファイルを作成する。設計言語フ
ァイルは、管理情報、構成要素、タスクの関係記述、図
面情報から構成されており、エラー箇所に「ＮＯ」を挿
入する。
較手段２−１１から与えられた比較結果情報（差分）と
静的解析結果保持ファイル２−５の内容とから、図１０
に示すような設計言語ファイルを作成する。設計言語フ
ァイルは、管理情報、構成要素、タスクの関係記述、図
面情報から構成されており、エラー箇所に「ＮＯ」を挿
入する。
【００３２】図１１に示すように、解析結果表示手段２
−１３により作成された設計言語ファイルを表示装置に
入力し、同図に示すようなタスク起動関係の解析結果を
表示する。具体的には、設計言語ファイルのタスクの関
係記述を使用してタスクの起動関係をモデル図化し、エ
ラー箇所を含むタスク以降の起動タスクを反転表示させ
る。例えば、図１２に示す設計仕様に対して動的解析に
おいては図１３に示すような動作であったとすれば、タ
スク０３によって起動されたタスク０２で後続のタスク
０４の起動に失敗しているので、タスク０２及びタスク
０４が反転表示されることになる。
−１３により作成された設計言語ファイルを表示装置に
入力し、同図に示すようなタスク起動関係の解析結果を
表示する。具体的には、設計言語ファイルのタスクの関
係記述を使用してタスクの起動関係をモデル図化し、エ
ラー箇所を含むタスク以降の起動タスクを反転表示させ
る。例えば、図１２に示す設計仕様に対して動的解析に
おいては図１３に示すような動作であったとすれば、タ
スク０３によって起動されたタスク０２で後続のタスク
０４の起動に失敗しているので、タスク０２及びタスク
０４が反転表示されることになる。
【００３３】以上のように上流のソフトウエア設計仕様
を下流の設計情報まで保持することにより、静的解析と
動的解析とによる検証が可能となり、これらの解析結果
の比較作業を自動化することによりソフトウエア開発に
おける検証作業の省力化及び短縮化が可能になる。本発
明は上記実施の形態に限定されるものではなく、本発明
の要旨を逸脱しない範囲内で種々変形実施可能である。
を下流の設計情報まで保持することにより、静的解析と
動的解析とによる検証が可能となり、これらの解析結果
の比較作業を自動化することによりソフトウエア開発に
おける検証作業の省力化及び短縮化が可能になる。本発
明は上記実施の形態に限定されるものではなく、本発明
の要旨を逸脱しない範囲内で種々変形実施可能である。
【００３４】
【発明の効果】以上詳記したように本発明によれば、ソ
フトウエア開発の上流段階で意図した設計情報を下流段
階まで保持することにより、種々の検証の自動化を可能
にすると共に、検証作業の省力化及び時間短縮化を図る
ことのできるソフトウエアの検証自動化装置を提供でき
る。
フトウエア開発の上流段階で意図した設計情報を下流段
階まで保持することにより、種々の検証の自動化を可能
にすると共に、検証作業の省力化及び時間短縮化を図る
ことのできるソフトウエアの検証自動化装置を提供でき
る。
【図１】第１の実施の形態に係るソフトウエアの検証自
動化装置の機能構成図である。
動化装置の機能構成図である。
【図２】第２の実施の形態に係るソフトウエアの検証自
動化装置の機能構成図である。
動化装置の機能構成図である。
【図３】第２の実施の形態に係る検証自動化装置の処理
の流れを示す図である。
の流れを示す図である。
【図４】タスク仕様書の記述内容及びソースコードファ
イルを示す図である。
イルを示す図である。
【図５】ソースコードから静的解析結果保持ファイルを
作成する過程を示す図である。
作成する過程を示す図である。
【図６】第２の実施の形態における動的解析のフローチ
ャートである。
ャートである。
【図７】動的解析結果保持ファイルを示す図である。
【図８】イベント定義ファイルを示す図である。
【図９】静的解析と動的解析の結果を比較する処理を示
す図である。
す図である。
【図１０】解析結果を反映させた設計言語ファイルを示
す図である。
す図である。
【図１１】解析結果の表示例を示す図である。
【図１２】タスク起動関係の設計仕様を示す図である。
【図１３】動的解析での実際の動作状況を示す図であ
る。
る。
１−１…設計手段 １−２…設計情報保持手段 １−３，２−４…静的解析手段 １−４，２−６…実行コード作成手段 １−５，２−９…動的解析手段 １−６，２−１１…解析結果比較手段 １−７，２−１３…解析結果表示手段 ２−１…設計仕様作成手段 ２−１…ソースコード作成手段 ２−３…ソースコードファイル
Claims (5)
- 【請求項１】 設計仕様に基づいて構築されているソフ
トウエアの機能要素群を下流の設計情報へ変換する過程
で、上流から下流に掛けて変換されていく設計情報に上
流の設計仕様を保持させておき、ソフトウエア開発の下
流にて当該設計情報に保持させている設計仕様を使用し
て検証作業を実行することを特徴とするソフトウエアの
検証自動化装置。 - 【請求項２】 請求項１記載のソフトウエアの検証自動
化装置において、 下流の設計情報を実行コードに変換し、当該実行コード
を実行して実行コードの動的解析を行うことを特徴とす
るソフトウエアの検証自動化装置。 - 【請求項３】 請求項１記載のソフトウエアの検証自動
化装置において、 下流の設計情報に保持させている設計仕様を上流の設計
仕様に変換して設計仕様の静的解析を行うことを特徴と
するソフトウエアの検証自動化装置。 - 【請求項４】 請求項１記載のソフトウエアの検証自動
化装置において、 下流の設計情報を実行コードに変換する手段と、実行コ
ードを実行して実行コードの動的解析を行う動的解析手
段と、下流の設計情報に保持させている設計仕様を上流
の設計仕様に変換して設計仕様の静的解析を行う静的解
析手段と、前記動的解析手段と前記静的解析手段の解析
結果を比較して異常箇所を検出する比較手段とを具備し
たことを特徴とするソフトウエアの検証自動化装置。 - 【請求項５】 ソフトウエアを構成している複数タスク
の起動関係が記述された設計仕様を作成する設計手段
と、この設計手段で作成した設計仕様をソースコードへ
変換すると共に当該ソースコードにタスク起動関係の設
計仕様を付加するソースコード作成手段と、このソース
コード作成手段でソースコードに付加したタスク起動関
係の設計仕様を上流の設計仕様の形に変換することによ
りタスク起動関係をチェックする静的解析手段と、前記
ソースコードを実行コードに変換する実行コード作成手
段と、この実行コード作成手段で変換した実行コードを
実行することによりタスク起動関係をチェックする動的
解析手段と、前記静的解析手段による解析結果と前記動
的解析手段による解析結果との差分を検出する解析結果
比較手段と、この解析結果比較手段により差分検出され
た箇所を異常起動箇所としてタスク起動関係のモデル図
上で強調表示する表示制御手段とを具備したことを特徴
とするソフトウエアの検証自動化装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP8185954A JPH1031584A (ja) | 1996-07-16 | 1996-07-16 | ソフトウエアの検証自動化装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP8185954A JPH1031584A (ja) | 1996-07-16 | 1996-07-16 | ソフトウエアの検証自動化装置 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH1031584A true JPH1031584A (ja) | 1998-02-03 |
Family
ID=16179790
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP8185954A Pending JPH1031584A (ja) | 1996-07-16 | 1996-07-16 | ソフトウエアの検証自動化装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH1031584A (ja) |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2007265089A (ja) * | 2006-03-29 | 2007-10-11 | Fujitsu Ltd | ソフトウェア保守支援プログラム，処理方法および装置 |
| JP2007304980A (ja) * | 2006-05-12 | 2007-11-22 | Sharp Corp | 設計検証装置、設計検証プログラム、および設計検証プログラムを記録する記録媒体 |
| KR20190020363A (ko) * | 2017-08-21 | 2019-03-04 | 주식회사 스패로우 | 동적 분석과 정적 분석을 연계한 프로그램을 분석하기 위한 방법 및 장치 |
-
1996
- 1996-07-16 JP JP8185954A patent/JPH1031584A/ja active Pending
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2007265089A (ja) * | 2006-03-29 | 2007-10-11 | Fujitsu Ltd | ソフトウェア保守支援プログラム，処理方法および装置 |
| JP2007304980A (ja) * | 2006-05-12 | 2007-11-22 | Sharp Corp | 設計検証装置、設計検証プログラム、および設計検証プログラムを記録する記録媒体 |
| KR20190020363A (ko) * | 2017-08-21 | 2019-03-04 | 주식회사 스패로우 | 동적 분석과 정적 분석을 연계한 프로그램을 분석하기 위한 방법 및 장치 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5926638A (en) | Program debugging system for debugging a program having graphical user interface | |
| US6002869A (en) | System and method for automatically testing software programs | |
| US6978440B1 (en) | System and method for developing test cases using a test object library | |
| EP3285171B1 (en) | System and method for cause point analysis for effective handling of static analysis alarms | |
| US20020091968A1 (en) | Object-oriented data driven software GUI automated test harness | |
| US7721250B2 (en) | System and method for interactive and integrated software development process and phases | |
| Bochmann et al. | Automating the process of test derivation from SDL specifications | |
| JPH1031584A (ja) | ソフトウエアの検証自動化装置 | |
| EP2535813B1 (en) | Method and device for generating an alert during an analysis of performance of a computer application | |
| US6704912B2 (en) | Method and apparatus for characterizing information about design attributes | |
| JPH0766342B2 (ja) | プログラムテスト装置 | |
| US7318221B2 (en) | Windows™ F-language interpreter | |
| CN112559359A (zh) | 一种基于s2ml的安全攸关系统分析与验证方法 | |
| US6367064B1 (en) | Verification of sensitivity list integrity in a hardware description language file | |
| JP2002157144A (ja) | ソフトウェア自動試験方式 | |
| JPH10293683A (ja) | プログラムの比較解析装置、プログラムの比較解析方法、及びプログラムの比較解析プログラムを記録した機械読み取り可能な記録媒体 | |
| JPH1115695A (ja) | プログラムテストパターン自動生成システム | |
| JPH08272623A (ja) | プログラム解析装置及びプログラム解析方法 | |
| JPH01261737A (ja) | 言語プロセッサの検査自動管理方式 | |
| JP2500385B2 (ja) | 入力デ―タ管理方式 | |
| Van Wagenen et al. | Achieving reliability in simulation software | |
| JP2728504B2 (ja) | 入力命令文検査装置 | |
| JPH0619731B2 (ja) | プログラムの単体テスト方式 | |
| JPH08249193A (ja) | プログラムの言語仕様範囲の検査方式 | |
| JPH027121A (ja) | プログラムのコマンド入力制御方式 |