@techreport{oai:ipsj.ixsq.nii.ac.jp:00206291, author = {中村, 健太 and 細川, 利典 and 石山, 悠太 and 藤原, 秀雄 and Kenta, Nakamura and Toshinori, Hosokawa and Yuta, Ishiyama and Hideo, Fujiwara}, issue = {19}, month = {Jul}, note = {データパスを対象とする効率的なテスト生成手法として,テスト容易化機能的時間展開モデルを用いたテスト生成法が提案されている.テスト容易化機能的時間展開モデルは一つのハードウェア要素に対し,複数生成できる.複数ある時間展開モデルからテスト生成に使用するモデルの選択は,時間展開数,再収斂数,定数制御演算器が影響を与えるハードウェア数を基に考えることができるが,実際にテスト対象のハードウェア要素の入出力に設定・観測可能なテストパターン・期待値のデータ量が定量化できない.本論文では,テスト容易化機能的時間展開モデルの生成アルゴリズムと記号シミュレーション結果に基づくデータ量に基づくテスト容易化機能的時間展開モデルの可検査性尺度を提案する., A test generation method using easily testable functional time expansion models has been proposed as efficient test generation methods for data paths. Several easily testable functional time expansion models can be generated for one hardware element in data paths. The models used for test generation are selected from the candidates based on the number of time expansions, the number of re-convergences, and the number of hardware elements affected by operational units with constants. It is not possible to quantify the amount of data that can be set and observed at the input and output of hardware elements by test sequences. In this paper, we propose a generation method of easily testable functional time expansion models, and also propose a testability measure for easily testable functional time expansion models based on data amount using symbolic simulation.}, title = {データ量に基づく可検査性尺度を用いたテスト容易化機能的時間展開モデル生成法}, year = {2020} }