Cプログラム評価に向けたカバレッジを用いた検査項目の記述手法の提案

プログラムナンバー	情-2-1
報告年度	2021年度
部会	情報工学部会
題目	Cプログラム評価に向けたカバレッジを用いた検査項目の記述手法の提案
著者名	網野颯人、関澤俊弦
キーワード	あみのはやと、せきざわとしふさ、カバレッジ、モデル検査、Cプログラム
講演要旨	PDF