2N-06
テストケース生成プロセスの自動アニメーション支援ツールの開発
○須貝健太,劉 少英(法大)
プログラムが仕様に対して正しいことやソフトウェアが信頼できるものであることを判断するための方法としてTesting-Based Formal Verification(以下TBFV)が提唱されている. TBFVは, 仕様からプログラムの正しさを反映する定理を導出し, その有効性をテストによって検証する手法である. しかし, TBFVはプログラムの形で実現されていない. そこで, TBFVによってプログラムを検証するためのツールを研究開発した. このツールでは, TBFVを実現するとともにその検証の様子をアニメーション化することで, 仕様の条件が満たされたかどうかを視覚的にわかるようにした. プログラミングの知識がないユーザーに対してテストの内容が伝わるようにツールを開発した.

footer 著作権について 倫理綱領 プライバシーポリシー セキュリティ 情報処理学会