PR

 エスクモーションの藤倉俊幸氏(コンサルティング本部 シニアコンサルタント)は、ソフトウエアの変更要求仕様書を基にして仕様内の矛盾や不整合などをモデル検査によって検出するアプローチを、2011年6月17日に開催された「XDDP(eXtreme Derivative Development Process)」のイベント「派生開発カンファレンス2011」において提案した。変更要求仕様書に加えてユース・ケース記述を用意し、これらをLTSAやNuSMVなどのモデル検査器で形式検証するという流れである。車載分野のワイパー制御システムの仕様書に今回のアプローチを適用し、仕様上の未定義を発見することに成功した。

この記事は会員登録で続きをご覧いただけます

日経クロステック登録会員になると…

新着が分かるメールマガジンが届く
キーワード登録、連載フォローが便利

さらに、有料会員に申し込むとすべての記事が読み放題に!
有料会員と登録会員の違い


日経クロステックからのお薦め

さよならオフィス
開催中!「日経クロステック EXPO 2020」

開催中!「日経クロステック EXPO 2020」

社会、産業、生活の"ニューノーマル”に迫る

「日経クロステック EXPO 2020」はオンライン開催。ウィズコロナ時代のデジタル変革、働き方・組織のニューノーマルといった観点を中心に、様々な講演、ソリューション紹介を展開します。人工知能、5G/IoT、ブロックチェーンといった技術キーワード、テーマについても、例年以上にパワーアップしたコンテンツをお届けいたします。

事前登録はこちら

IoTの全てを網羅した決定版 IoTの教科書

IoTの全てを網羅した決定版 IoTの教科書

IoTを知らずにこれからのビジネスはできない「IoT」の全てを網羅した決定版!

本書は「IoT」とは何かについて、基礎から体系的に学べる唯一の書です。IoT分野で使われる用語を網羅し、定義はもちろん、図版や事例を多用しつつ分かりやすく解説しました。

詳細はこちら

ボッシュ自動車ハンドブック 日本語第4版

ボッシュ自動車ハンドブック 日本語第4版

自動車技術を学ぶための最良の一冊!

豊富な図表により、難しい内容も理解しやすく構成。約6,000項目の詳細なインデックスで、知りたいことを一発検索。自動車業界で使用される欧文略語を巻末に掲載。

詳細はこちら