JML規格編程系列——OO Unit3分析和總結

　　本文是BUAA OO課程Unit3在課程講授、三次作業完成、自測和互測時發現的問題，以及傾聽別人的思路分享所引起個人的一些思考的總結性博客。主要包含JML相關梳理、SMT Solver驗證、JML單元測試、設計策略、代碼度量、BUG測試和心得體會等內容。 目錄  一、JML簡單梳理 二、SMT Solver的部署和驗證 三、JML單元測試 四、架構設計梳理 五、測試與BUG分析 六、心得體會

>>阅读原文<<