CoSTest,試験を用いた概念スキーマの検証を支援するツールを提案した。ツールはモデル駆動アーキテクチャを支援することにより要求モデルからのインスタンス化形質転換テストケース実装への技術を実装した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】