モジュール(モジュール)
模块
Module
日本語
モジュール
別称: module
特定機能を担う、独立して開発・保守・再利用が可能なプログラム単位。
中文
模块
別称: 模組、module
完成特定功能、可独立开发维护并复用的程序单元。
English
Module
A self-contained program unit providing a specific function and intended for reuse.
使用例
- モジュール強度
- モジュール結合度
関連用語
出題された真題(173)
- FE令和6年科目A問11
階層構造のモジュール群から成るソフトウェアの結合テストを,上位のモジュール から行う。この場合に使用する,下位のモジュールの代替となるテスト用のモジュー ルはどれか。
- AP令和元年秋期科目A問53
プロジェクトのスケジュールを短縮するために,アクティビティに割り当てる資源を増やして,アクティビティの所要期間を短縮する技法はどれか。
- AP令和元年秋期科目A問59
システム監査基準(平成30年)における監査手続の実施に際して利用する技法に関する記述のうち,適切なものはどれか。
- AP令和2年秋期科目A問21
FPGAなどに実装するデジタル回路を記述して,直接論理合成するために使用されるものはどれか。
- AP令和3年秋期科目A問59
データの生成から入力,処理,出力,活用までのプロセス,及び組み込まれているコントロールを,システム監査人が書面上で又は実際に追跡する技法はどれか。
- AP令和3年春期科目A問18
プログラム実行時の主記憶管理に関する記述として,適切なものはどれか。
- AP令和3年春期科目A問22
SoCの説明として,適切なものはどれか。
- AP令和4年秋期科目A問46
仕様書やソースコードといった成果物について,作成者を含めた複数人で,記述されたシステムやソフトウェアの振る舞いを机上でシミュレートして,問題点を発見する手法はどれか。
- AP令和4年秋期科目A問48
流れ図で示したモジュールを表の二つのテストケースを用いてテストしたとき,テストカバレージ指標であるC0(命令網羅)とC1(分岐網羅)とによる網羅率の適切な組みはどれか。ここで,変数V~変数Zの値は,途
- AP令和4年春期科目A問20
FPGAの説明として,適切なものはどれか。
- AP令和4年春期科目A問21
次の方式で画素にメモリを割り当てる640×480のグラフィックLCDモジュールがある。始点(5,4)から終点(9,8)まで直線を描画するとき,直線上のx=7の画素に割り当てられたメモリのアドレスの先頭
- AP令和4年春期科目A問46
モジュールの独立性の尺度であるモジュール結合度は,低いほど独立性が高くなる。次のうち,モジュールの独立性が最も高い結合はどれか。
- AP令和4年春期科目A問52
プロジェクトのスケジュールを短縮するために,アクティビティに割り当てる資源を増やして,アクティビティの所要期間を短縮する技法はどれか。
- AP令和5年秋期科目A問20
FPGAの説明として,適切なものはどれか。
- AP令和5年春期科目A問46
モジュールの独立性を高めるには,モジュール結合度を低くする必要がある。モジュール間の情報の受渡し方法のうち,モジュール結合度が最も低いものはどれか。
- AP令和5年春期科目A問59
システム監査基準(平成30年)における監査手続の実施に際して利用する技法に関する記述のうち,適切なものはどれか。
- AP令和5年春期科目A問64
システム要件定義プロセスにおいて,トレーサビリティが確保されていることを説明した記述として,適切なものはどれか。
- AP令和6年秋期科目A問8
RISCプロセッサの5段パイプラインの命令実行制御の順序はどれか。ここで,このパイプラインのステージは次の五つとする。書込み実行とアドレス生成命令デコードとレジスタファイル読出し命令フェッチメモリアク
- AP令和6年秋期科目A問22
SoCの説明として,適切なものはどれか。
- AP令和6年秋期科目A問54
プロジェクトマネジメントにおけるファストトラッキングの例として,適切なものはどれか。
- AP令和6年春期科目A問19
プログラムを構成するモジュールや関数の実行回数,実行時間など,性能改善のための分析に役立つ情報を収集するツールはどれか。
- AP令和6年春期科目A問22
次の方式で画素にメモリを割り当てる640×480のグラフィックLCDモジュールがある。始点(5,4)から終点(9,8)まで直線を描画するとき,直線上のx=7の画素に割り当てられたメモリのアドレスの先頭
- AP令和6年春期科目A問46
モジュール結合度に関する記述のうち,適切なものはどれか。
- AP令和7年春期科目A問20
FPGAなどに実装するデジタル回路を記述し,論理合成するために使用される言語はどれか。
- AP令和7年春期科目A問47
ソフトウェアの保守性を定量評価する指標として,適切なものはどれか。
- AP令和7年春期科目A問58
システム監査におけるウォークスルー法の説明として,適切なものはどれか。
- AP平成15年春期科目A問29
プログラム実行時の主記憶管理に関する記述として適切なものはどれか。
- AP平成15年春期科目A問51
ブラックボックステストに関する記述として,適切なものはどれか。
- AP平成16年春期科目A問55
システム分析・設計に用いられる状態遷移図の特徴として適切なものはどれか。
- AP平成17年秋期科目A問36
あるプログラムモジュールが,複数のタスクの要求に応じて同時・並行的に実行可能である場合,この性質を何というか。
- AP平成17年秋期科目A問44
あるプログラム言語の解説書の中に次の記述がある。この記述中の"良いプログラム"がもっている特徴として,適切なものはどれか。 このプログラム言語では,関数を呼び出すときに引数を保持するためにスタックが
- AP平成17年秋期科目A問45
トップダウン方式で結合テストを行うとき,特に必要となるものはどれか。
- AP平成17年春期科目A問40
構造化チャートに関する記述として,最も適切なものはどれか。
- AP平成17年春期科目A問42
モジュールの独立性を高めるには,モジュール結合度を弱くする必要がある。モジュール間の情報の受渡し方法のうち,モジュール結合度が最も弱いものはどれか。
- AP平成18年秋期科目A問41
モジュール結合度が最も弱いモジュールはどれか。
- AP平成18年春期科目A問27
メモリリークに関する記述として,適切なものはどれか。
- AP平成18年春期科目A問43
モジュール設計に関する記述のうち,モジュール強度が最も高いものはどれか。
- AP平成18年春期科目A問50
ツールレス保守に該当するものはどれか。
- AP平成19年秋期科目A問41
モジュール設計に関する記述のうち,モジュール強度(結束性)が最も高いものはどれか。
- AP平成19年秋期科目A問43
ボトムアップテストの特徴として,適切なものはどれか。
- AP平成19年秋期科目A問50
ツールレス保守に該当するものはどれか。
- AP平成19年春期科目A問42
図は,デマルコが提唱している構造化技法を基本としたシステム開発プロジェクトのライフサイクルを表現したものである。図中のaに入れる適切なものはどれか。
- AP平成19年春期科目A問44
テストで使用されるドライバ又はスタブの機能のうち,適切なものはどれか。
- AP平成20年秋期科目A問28
マイクロカーネルアーキテクチャを採用したOSの特徴として,適切なものはどれか。
- AP平成20年秋期科目A問39
目的プログラムの実行時間を短くするためにコンパイラが行う最適化方法として,適切なものはどれか。
- AP平成20年秋期科目A問45
モジュール結合度に関する記述のうち,適切なものはどれか。
- AP平成20年秋期科目A問48
ホワイトボックステストで使用されるテストケースの作成方法の組として,適切なものはどれか。
- AP平成20年春期科目A問42
ソフトウェアの分析・設計技法のうち,データ中心分析・設計技法の特徴はどれか。
- AP平成20年春期科目A問43
モジュールの独立性を高めるためには,モジュールの結合度を弱くする必要がある。モジュール間の情報の受渡し方法のうち,モジュール結合度が最も弱いものはどれか。
- AP平成20年春期科目A問46
プログラムのテストに関する記述のうち,適切なものはどれか。
- AP平成21年秋期科目A問45
モジュール結合度が最も弱いモジュールはどれか。
- AP平成21年秋期科目A問52
ファンクションポイント法の説明として,適切なものはどれか。
- AP平成21年春期科目A問22
SoC(System on a Chip)の説明はどれか。
- AP平成21年春期科目A問47
結合テストで用いられるスタブの役割はどれか。
- AP平成22年秋期科目A問45
テスト工程におけるスタブの利用方法に関する記述として,適切なものはどれか。
- AP平成22年春期科目A問45
モジュールの結束性(強度)が最も高いものはどれか。
- AP平成22年春期科目A問73
モジュラ型アーキテクチャと比較したインテグラル型アーキテクチャの特徴として,適切なものはどれか。
- AP平成23年特別科目A問20
仮想記憶方式のコンピュータシステムにおいて処理の多重度を増やしたところ,ページイン,ページアウトが多発して,システムの応答速度が急激に遅くなった。このような現象を何というか。
- AP平成23年特別科目A問46
ソフトウェアの分析・設計技法の特徴のうち,データ中心分析・設計技法の特徴はどれか。
- AP平成23年特別科目A問47
モジュール設計に関する記述のうち,モジュール強度(結束性)が最も高いものはどれか。
- AP平成23年特別科目A問48
テストで使用されるドライバ又はスタブの機能のうち,適切なものはどれか。
- AP平成24年秋期科目A問17
プログラム実行時の主記憶管理に関する記述として,適切なものはどれか。
- AP平成25年秋期科目A問46
設計上の誤りを早期に発見することを目的として,作成者と複数の関係者が設計書をレビューする方法はどれか。
- AP平成25年春期科目A問51
ファストトラッキングの説明はどれか。
- AP平成26年秋期科目A問48
回帰テスト(リグレッションテスト)の説明として,適切なものはどれか。
- AP平成26年秋期科目A問54
工期を短縮させるために,クリティカルパス上の作業に"ファストトラッキング"技法を適用した対策はどれか。
- AP平成26年春期科目A問42
ペネトレーションテストの目的はどれか。
- AP平成26年春期科目A問46
モジュール分割の良否を,モジュール結合度の視点から評価する場合,最も適切な記述はどれか。
- AP平成26年春期科目A問48
プログラムのテストに関する記述のうち,適切なものはどれか。
- AP平成27年秋期科目A問19
目的プログラムの実行時間を短くするためにコンパイラが行う最適化方法として,適切なものはどれか。
- AP平成27年秋期科目A問45
ペネトレーションテストの目的はどれか。
- AP平成27年春期科目A問18
500kバイトの連続した空き領域に,複数のプログラムモジュールをオーバーレイ方式で読み込んで実行する。読込み順序Aと読込み順序Bにおいて,最後の120kバイトのモジュールを読み込む際,読込み可否の組合
- AP平成27年春期科目A問20
SoCの説明として,適切なものはどれか。
- AP平成27年春期科目A問43
サーバにバックドアを作り,サーバ内で侵入の痕跡を隠蔽するなどの機能がパッケージ化された不正なプログラムやツールはどれか。
- AP平成28年秋期科目A問16
プログラム実行時の主記憶管理に関する記述として,適切なものはどれか。
- AP平成28年春期科目A問47
モジュールの結合度が最も低い,データの受渡し方法はどれか。
- AP平成29年秋期科目A問46
モジュール設計に関する記述のうち,モジュール強度(結束性)が最も高いものはどれか。
- AP平成29年秋期科目A問47
テストで使用されるドライバ又はスタブの説明のうち,適切なものはどれか。
- AP平成29年春期科目A問18
ホワイトボックステストにおいて,プログラムの実行された部分の割合を測定するのに使うものはどれか。
- AP平成30年秋期科目A問19
プログラムの性能を改善するに当たって,関数,文などの実行回数や実行時間を計測して統計を取るために用いるツールはどれか。
- AP平成30年秋期科目A問20
次の方式で画素にメモリを割り当てる640×480のグラフィックLCDモジュールがある。座標(x,y)で始点(5,4)から終点(9,8)まで直線を描画するとき,直線上のx=7の画素に割り当てられたメモリ
- AP平成30年秋期科目A問21
SoCの説明として,適切なものはどれか。
- AP平成31年春期科目A問46
ソフトウェアの分析・設計技法の特徴のうち,データ中心分析・設計技法の特徴として,最も適切なものはどれか。
- FE令和元年秋期科目A問46
モジュール結合度が最も弱くなるものはどれか。
- FE令和元年秋期科目A問48
テストで使用されるドライバ又はスタブの説明のうち,適切なものはどれか。
- FE令和5年科目A問15
ホワイトボックステストにおいて,コード中のどれだけの割合の部分を実行できたかを評価するのに使うものはどれか。
- FE令和6年科目A問7
あるプログラムモジュールが,複数のタスクの要求に応じて同時・並行的に実行可能である場合,この性質を何というか。
- FE令和6年科目A問38
階層構造のモジュール群から成るソフトウェアの結合テストを,上位のモジュールから行う。この場合に使用する,下位のモジュールの代替となるテスト用のモジュールはどれか。
- FE平成13年秋期科目A問36
密結合マルチプロセッサシステムに関する記述として,適切なものはどれか。
- FE平成13年秋期科目A問48
ソフトウェアの分析・設計技法のうち,データ中心分析・設計技法に関する特徴を記述したものはどれか。
- FE平成13年秋期科目A問49
トップダウンアプローチによって,プログラムが階層構造になるように構造化設計を行いN個のモジュールに分割した。このプログラムのモジュール間インタフェースの個数を表す式はどれか。ここで,下位のモジュールは
- FE平成13年秋期科目A問52
プログラムの作成において,モジュール論理設計の要点である構造化プログラミングの説明として,適切なものはどれか。
- FE平成13年春期科目A問30
仮想記憶におけるセグメンテーション方式とぺージング方式に関する記述のうち,ぺージング方式の特徴はどれか。
- FE平成13年春期科目A問40
リンカの説明として,適切なものはどれか。
- FE平成13年春期科目A問45
プログラム図式の一つである構造化チャートを説明する記述として,最も適切なものはどれか。
- FE平成13年春期科目A問49
ソフトウェアのテスト方法のうち,ソフトウェア保守のために変更した箇所が,ほかの部分に影響していないかどうかを確認する目的で行うものはどれか。
- FE平成13年春期科目A問50
設計上の誤りを早期に発見することを目的として,各設計の終了時点で作成者と複数の関係者が設計書をレビューする方法はどれか。
- FE平成14年秋期科目A問29
スワッピングに関する記述として,適切なものはどれか。
- FE平成14年秋期科目A問33
メモリリークに関する記述として,適切なものはどれか。
- FE平成14年秋期科目A問47
モジュール分割を行うときの方法として,モジュール結合度を最も弱くできるものはどれか。
- FE平成14年秋期科目A問49
ホワイトボックステストのテストデータの作成方法に関する記述として,適切なものはどれか。
- FE平成14年春期科目A問51
トップダウン方式で結合テストを行うとき,必要となるものはどれか。
- FE平成14年春期科目A問53
ソフトウェア開発における仕様のレビューに関する記述として,適切なものはどれか。
- FE平成15年秋期科目A問48
ソフトウェアのモジュール設計において,信頼性,保守性を向上させるためのアプローチとして,望ましいものはどれか。
- FE平成15年秋期科目A問52
テスト工程におけるスタブの利用方法に関する記述として,適切なものはどれか。
- FE平成15年春期科目A問41
あるプログラムモジュールが,複数のタスクの要求に応じて同時・並行的に実行可能である場合,この性質を何というか。
- FE平成15年春期科目A問43
動的リンキングの機能はどれか。
- FE平成15年春期科目A問50
あるプログラム言語の解説書の中に次の記述がある。この記述中の"良いプログラム"がもっている特徴として,適切なものはどれか。 このプログラム言語では,関数を呼び出すときに引数を保持するためにスタックが
- FE平成15年春期科目A問54
システムテスト工程で実施するテストはどれか。
- FE平成16年秋期科目A問51
モジュール結合度が最も弱いモジュールはどれか。
- FE平成16年秋期科目A問52
モジュールテストで使用されるドライバ又はスタブの機能に関する記述のうち,適切なものはどれか。
- FE平成16年秋期科目A問53
モジュール単体テストに関する記述として,最も適切なものはどれか。
- FE平成16年春期科目A問33
パソコンのOSが提供する機能を利用するためのAPIに関する記述のうち,適切なものはどれか。
- FE平成16年春期科目A問41
モジュールA~E,共通ルーチンF,Gで構成されるプログラムを図の様なオーバーレイ構造にしたとき,参照が許されるのはどれか。図は,例えばモジュールDの実行時には,主記憶にA,B,Dがロードされることを表
- FE平成16年春期科目A問45
プログラムを構成するモジュールの結合を,プログラムの実行時に行う方式はどれか。
- FE平成16年春期科目A問52
テスト手法の一つであるホワイトボックステストの説明として,適切なものはどれか。
- FE平成17年秋期科目A問41
ソフトウェアのモジュール設計において,信頼性,保守性を向上させるためのアプローチとして,望ましいものはどれか。
- FE平成17年秋期科目A問42
ブラックボックステストに関する記述として,適切なものはどれか。
- FE平成17年秋期科目A問43
新システムの構築において,システムテスト工程で実施するテストはどれか。
- FE平成17年春期科目A問44
ソフトウェアのテスト方法のうち,ソフトウェア保守のために変更した箇所が,ほかの部分に影響していないかどうかを確認する目的で行うものはどれか。
- FE平成18年秋期科目A問42
モジュール間やサブシステム間のインタフェースを検証するために行うテストはどれか。
- FE平成18年春期科目A問41
モジュールの変更による影響を少なくするためには,モジュール間の関連性をできるだけ少なくして独立性を高くすることが重要である。モジュールの独立性が最も高いものはどれか。
- FE平成18年春期科目A問43
設計上の誤りを早期に発見することを目的として,各設計の終了時点で作成者と複数の関係者が設計書をレビューする方法はどれか。
- FE平成19年秋期科目A問46
ボトムアップテストの特徴として,適切なものはどれか。
- FE平成19年秋期科目A問53
システムの一部に修正を加えたときに,修正部分がほかに悪影響を及ぼさずに正しい結果が得られることを検証するテストはどれか。
- FE平成19年春期科目A問30
プログラムのモジュール単位に主記憶を割り当てる可変区画方式のコンピュータにおいて,五つのモジュールA~Eを次の順序でロードしたり解放したりする。最後のモジュールEをロードした時点で,主記憶の空き領域は
- FE平成19年春期科目A問43
モジュール強度が最も高いものはどれか。
- FE平成19年春期科目A問44
階層構造のモジュール群からなるソフトウェアの結合テストを,上位のモジュールから行う。この場合に使用する,下位モジュールの代替となるテスト用のモジュールはどれか。
- FE平成20年秋期科目A問38
動的リンクライブラリ(DLL)の特徴として,適切なものはどれか。
- FE平成20年春期科目A問44
モジュールの独立性を高めるには,モジュール結合度を弱くする必要がある。モジュール間の情報の受渡し方法のうち,モジュール結合度が最も弱いものはどれか。
- FE平成20年春期科目A問45
ホワイトボックステストのテストデータを作成するときの注目点として,適切なものはどれか。
- FE平成21年春期科目A問22
図はプログラムを翻訳して実行するまでの流れを示したものである。コンパイラ,リンカ,ローダの入出力の組合せとして,適切なものはどれか。
- FE平成22年秋期科目A問23
プログラムの静的解析ツールで検出できるものはどれか。
- FE平成22年春期科目A問20
仮想記憶を用いたコンピュータでのアプリケーション利用に関する記述のうち,適切なものはどれか。
- FE平成23年秋期科目A問23
静的テストツールの機能に分類されるものはどれか。
- FE平成23年秋期科目A問45
モジュール設計書を基にモジュール強度を評価した。適切な評価はどれか。 〔モジュール設計書(抜粋)〕 上位モジュールから渡される処理コードに対応した処理をする。処理コードが"I"のときは挿入処理,処理
- FE平成23年秋期科目A問47
モジュールの内部構造を考慮することなく,仕様書どおりに機能するかどうかをテストする手法はどれか。
- FE平成23年秋期科目A問48
ソフトウェアのテストの種類のうち,ソフトウェア保守のために行った変更によって,影響を受けないはずの箇所に影響を及ぼしていないかどうかを確認する目的で行うものはどれか。
- FE平成23年秋期科目A問53
テストの進捗管理に使用する指標として,最も適切なものはどれか。
- FE平成23年特別科目A問47
設計上の誤りを早期に発見することを目的として,作成者と複数の関係者が設計書をレビューする方法はどれか。
- FE平成23年特別科目A問49
ホワイトボックステストの説明として,適切なものはどれか。
- FE平成24年秋期科目A問20
プログラムを構成するモジュールの結合を,プログラムの実行時に行う方式はどれか。
- FE平成24年秋期科目A問48
ブラックボックステストに関する記述として,適切なものはどれか。
- FE平成24年春期科目A問47
階層構造のモジュール群から成るソフトウェアの結合テストを,上位のモジュールから行う。この場合に使用する,下位モジュールの代替となるテスト用のモジュールはどれか。
- FE平成25年秋期科目A問17
メモリリークの説明として,適切なものはどれか。
- FE平成25年秋期科目A問47
ソフトウェアの分析・設計技法の特徴のうち,データ中心分析・設計技法の特徴として、最も適切なものどれか。
- FE平成25年秋期科目A問50
トップダウン方式で結合テストを行うとき,特に必要となるものはどれか。
- FE平成25年春期科目A問22
ホワイトボックステストにおいて,コード中のどれだけの割合の部分を実行できたかを評価するのに使うものはどれか。
- FE平成25年春期科目A問47
スタブを使用したテストの説明として,適切なものはどれか。
- FE平成26年秋期科目A問48
ブラックボックステストに関する記述として,適切なものはどれか。
- FE平成26年秋期科目A問49
ソフトウェアのテストの種類のうち,ソフトウェア保守のために行った変更によって,影響を受けないはずの箇所に影響を及ぼしていないかどうかを確認する目的で行うものはどれか。
- FE平成26年春期科目A問11
メモリモジュールのパリティチェックの目的として,適切なものはどれか。
- FE平成26年春期科目A問19
静的テストツールの機能に分類されるものはどれか。
- FE平成26年春期科目A問47
オブジェクト指向に基づく開発では,オブジェクトの内部構造が変更されても利用者がその影響を受けないようにすることができ,それによってオブジェクトの利用者がオブジェクトの内部構造を知らなくてもよいようにす
- FE平成27年秋期科目A問40
ISMS適合性評価制度の説明はどれか。
- FE平成27年秋期科目A問48
ボトムアップテストの特徴として,適切なものはどれか。
- FE平成27年春期科目A問18
仮想記憶方式のコンピュータシステムにおいて処理の多重度を増やしたところ,ページイン,ページアウトが多発して,システムの応答速度が急激に遅くなった。このような現象を何というか。
- FE平成28年秋期科目A問41
サーバにバックドアを作り,サーバ内で侵入の痕跡を隠蔽するなどの機能がパッケージ化された不正なプログラムやツールはどれか。
- FE平成28年秋期科目A問48
整数1~1,000を有効とする入力値が,1~100の場合は処理Aを,101~1,000の場合は処理Bを実行する入力処理モジュールを,同値分割法と境界値分析によってテストする。次の条件でテストするとき,
- FE平成28年秋期科目A問49
階層構造のモジュール群から成るソフトウェアの結合テストを,上位のモジュールから行う。この場合に使用する,下位モジュールの代替となるテスト用のモジュールはどれか。
- FE平成28年秋期科目A問52
プロジェクトのスケジュールを短縮するために,アクティビティに割り当てる資源を増やして,アクティビティの所要期間を短縮する技法はどれか。
- FE平成28年春期科目A問10
RISCプロセッサの5段パイプラインの命令実行制御の順序はどれか。ここで,このパイプラインのステージは次の五つとする。書込み実行とアドレス生成命令デコードとレジスタファイル読出し命令フェッチメモリアク
- FE平成28年春期科目A問20
リンカの機能として,適切なものはどれか。
- FE平成28年春期科目A問21
静的テストツールの機能に分類されるものはどれか。
- FE平成28年春期科目A問47
モジュールの独立性を高めるには,モジュール結合度を低くする必要がある。モジュール間の情報の受渡し方法のうち,モジュール結合度が最も低いものはどれか。
- FE平成29年秋期科目A問16
メモリリークの説明として,適切なものはどれか。
- FE平成29年秋期科目A問48
モジュール結合度が最も弱くなるものはどれか。
- FE平成29年秋期科目A問49
ブラックボックステストに関する記述として,適切なものはどれか。
- FE平成30年秋期科目A問20
リンカの機能として,適切なものはどれか。
- FE平成30年秋期科目A問48
モジュール間の情報の受渡しがパラメータだけで行われる,結合度が最も弱いモジュール結合はどれか。
- FE平成31年春期科目A問17
デバイスドライバの説明として,適切なものはどれか。
- FE平成31年春期科目A問47
ブラックボックステストに関する記述として,最も適切なものはどれか。
- FE平成31年春期科目A問48
ソフトウェアのテストツールの説明のうち,静的テストを支援する静的解析ツールのものはどれか。