状態遷移設計基礎講座

さまざまな設計技法がある中、この講座では状態遷移図(ステートマシン図)を活用する振る舞いの分析・設計にフォーカスし、多くの演習題材を交えながらソフトウェア・システムの動的側面のモデル化や網羅的なテスト設計などに関する実践的な知見を得ていきます。直接目で見ることができないソフトウエアの振る舞いを状態と遷移という観点で捉えてモデル化(見える化)することで、より理解しやすく拡張・変更もしやすいスジの良い構造を検討できるようになる事を狙います。

この講座では、状態遷移設計に関してさまざまなトピック(状態遷移の捉え方、モデルとしての表現方法、実装とのマッピングやリバース・エンジニアリング、複数のステートマシンの連携、派生開発時の留意点、網羅的なテストケースの作成など)に触れ、小さな演習を交えながら手を動かすことで理解を深めていきます。状態遷移設計に関してここまで体系的/多角的にまとめられている資料や書籍はほとんど見当たらないので、非常に貴重・稀有な講座になっていると言えます。特に組込みソフトウェア・システム開発において状態遷移設計は非常に重要かつ有効な設計手法なので、状態遷移設計に関して2日間で体系的/実践的に学べる本講座は、より良い振る舞い設計を目指したいソフトウェア設計者に強くお勧めできるものになっています。