第3章　基于形式化方法的嵌入式軟件系統測試技術

基于形式化方法的嵌入式軟件自動化系統測試理論是本書最重要的內容之一，這源于形式化方法的諸多優點，本章將從形式化測試方法入手，提出實時擴展有限狀態機模型，并基于該模型探討嵌入式軟件系統測試自動化技術。