JaSST15東海(3)「事例発表:安全系組込ソフトウェア開発におけるユニットテストの効率化」

11/6(金)に開催されたソフトウェアテストシンポジウム2015東海(JaSST'15 Tokai)に参加しました。私が聴講したセッションは下記です。 セッション1 基調講演:「テストから観た実体のモデリングと実装構造の評価 ~検証指向設計の実現に向けて~」 松尾谷 徹(デバッグ工学研究所) セッション 4-1 特別講演:「はじめてのコ…