HOMELv030 「モデルベースドテスティング」のモデルとして「状態遷移図」を採用するのに適したシステムは。 2026年1月25日 「状態」を持つシステムの挙動を網羅的に表現するのに、状態遷移図は最適である。 「保守性」の副特性である「解析性（Analyzability）」が高いソフトウェアの特徴は。 テストプロジェクトの「脱出基準（Exit Criteria）」を緩和（妥協）してリリースする場合の条件は。
