oo第三單元總結

一、 梳理JML語言的理論基礎，應用工具鏈情況 （1） 理論基礎：JML是一種形式化的、面向java的行爲接口規格語言，遵循契約式設計規則，通過前置、後置、不變式等的約束嚴格描述某個模塊的行爲，以防止出現設計錯誤。JML允許在規格中混合使用java語法成分和JML引入的語法成分。同時JML可以使用openJML進行檢查，以保證程序動態和靜態的正確性。 （2） 工具鏈：lowa State JML工

>>阅读原文<<