HOME > 活動内容 > 第2回『AISTコア技術セミナー』を開催しました。

第2回『AISTコア技術セミナー』を開催しました。

講義風景

第2回『AISTコア技術セミナー』(全6回シリーズ)を5月11日(金)に開催しました。

第1部では、株式会社デンソーの東道様にJASPAR における取り組みを中心に、車載電子システム開発における課題と対応について講演いただきました。
プラットフォームベース開発おける標準化の動向とそれへの取組み、形式手法の応用事例の調査等についてお話いただきました。

第2部では、産業技術総合研究所の北村様から、ソフトウェアテスト技法「FOT(Feature OrientedTesting)」について講演いただきました。ソフトウェアの高信頼性向上を目的に、独自拡張したAnd-Or木を用いて、ソフトウェア要求仕様を表現しテストすべきパターンを洗い出す方法と、テストパターンを自動生成するツールの紹介を頂きました。

会員以外からも多くの方に参加いただき、交流会では活発な意見交換が行われました。

↑ページトップへ