良本日記『組み込みソフトウェアの設計＆検証』
こんな良本を今まで読んでなかったことが悔やまれます(>_<;)
何が良いかと言うと組み込み特有の『振る舞い】に焦点をあてて深く書かれていることです。
話がそれますが、振る舞いに関するソフトウェアテスト手法というのはこれといった決め手になる手法がありません。
ですので今だ闇雲なテストになりがちです。
と暗い話もありますが、実は設計にスポットを当てることで品質及び効率を引き出せます。
具体的には
・振る舞いを如何にモデリングするか
・モデリングしたものの妥当性を如何に検証するか
となります。
また、作ったモデルをシンプル化することでテストも省力化することも可能です。
話を戻してこの本の後半は振る舞いのモデリングと検証について丁寧に解説されてます。
ツールの紹介などもあり助かりました。
前半は振る舞いの設計に役立つテクニックが満載です。組み込みシステムの開発を１０年以上やってますが、恥ずかしながら知らないこともありました(^^;
RTOS有り無しのそれぞれの解説がありとても良くまとまってます。
ということでこの本、オススメです(^^)