ソフトウェア検査装置、ソフトウェア検査方法、ソフトウェア検査プログラム

摘要

ソフトウェア検査装置は、検査対象となるソースコードＤ０１の中から、コンピュータシステムが起動する時に実行される処理が記述されたＳＵ区間、ＳＬ区間、及びＷＵ区間の各々に属するステートメントを特定し（Ｓ０３）、特定されたステートメントにおいて書込が行われるレジスタを区間毎に特定する（Ｓ０４）。ＳＵ区間、ＳＬ区間、及びＷＵ区間から選ばれる２つの区間のうち一方で書込が有り、他方で書込が無いレジスタに関して、想定される間違いを検出して出力する（Ｓ０５、Ｓ０６）。