BUAA_OO_2020_第三單元總結
BUAA_OO_2020_第三單元總結 JML理論基礎 簡介 JML(Java Modeling Language)是一種用於對JAVA程序進行規格化設計的語言，其通過定義接口所包含方法的行為，來約束實現接口的類的行為。本章作業就是實現課程組提供的用規格定義好的接口，來學習如何根據規格寫 ...
原文：2020 OO 第三單元總結 JML語言
title: OO 第三單元總結 date: : : tags: OO categories: 學習 第三單元終於結束了，這是我目前為止最慘的一單元，第十次作業強測 分，互測殺成狗 雖然都知道只關注分數沒有什么意義，我更應該去體會的是通過JML學習對於程序設計理念的認知，但是 心真的很痛。下面就進入單元總結： . JML語言理論基礎與工具鏈 . JML語言是什么 參考課程組下發的 JML Leve ...
2020-05-23 19:39 0 680 推薦指數：
相關推薦
2020 OO 第二單元總結
只要跑得夠快即使從頭關到尾你也喜歡嗎？ 一、設計策略 1.1 總體策略概述 在多線程的協同和同步控制方面，我三次作業都是采用生產者/消費者模式（還憨憨地在內部分了customer、pr ...
BUAA_OO_2020_第二單元總結
BUAA_OO_2020_第二單元總結 第一次 設計策略 本次作業采用生產者、消費者模式設計，大致框架如圖所示： 生產者：輸入線程 消費者：電梯線程 托盤：Dispatcher調度器 線程安全方面，調度器中的指令隊列為輸入、電梯線程共享對象 ...
BUAA_OO_2020_第一單元總結
BUAA_OO_2020_第一單元總結 OO第一單元作業主題為表達式求導，主要學習目標為熟悉面向對象思想，學會使用類來管理數據，感受分工協作的行為設計，建立程序魯棒性概念。如今，第一單元的學習已落下帷幕，再次對於本人的學習心得和成果進行總結。 第一次作業 基於度量的代碼結構分析 第一次 ...
BUAA_OO_2020_第四單元與課程總結
BUAA_OO_2020_第四單元與課程總結 第四單元架構 第一次 架構設計 第一次作業要求實現UML類圖解析器。 我才用自頂向下依次解析的方法，首先將類圖中涉及的所有元素分成三層： 第一層 第二層 第三層 Class ...
OO第一單元總結
OO第一單元總結 目錄 OO第一單元總結 第一次作業 思路 UML LineCount Metrics Bugs 第二次作業 思路 ...
【面向對象】三單元JML總結
前言 相比於前兩個單元，這個單元對於測試能力的需求有了進一步的提升。對於所給的規格，我首先需要看懂，並且要使用比較好的方法進行實現。這也帶來了一個問題，我必須能夠編寫測試集來測試自己寫的數據結構。還有一個問題，就是即使我每個方法可能符合規格，但是整個程序在總體上會有bug怎么辦 ...
OO第三單元博客作業
——“基於正確規格的程序就可以被認為是正確的程序 ” 本單元的三次作為均為根據jml規格完成代碼。三次作業依次為實現Path路徑類和PathContainer路徑容器類；將PathContainer類擴展成Graph類以實現圖相關問題的處理；將Graph類擴展成RailwaySystem類以支持 ...