軟體工程第四次作業

功能模組名稱

簡單的語法分析程式

審查人王澤鵬

審查日期

2017.4.4

**名稱

黑白棋遊戲

**作者

白璐檔案結構

重要性審查項

結論標頭檔案和定義檔案的名稱是否合理？

合理標頭檔案和定義檔案的目錄結構是否合理？

合理版權和版本宣告是否完整？

不完整重要

標頭檔案是否使用了 ifndef/define/endif 預處理塊?

沒有標頭檔案中是否只存放「宣告」而不存放「定義」

是程式的版式

空行是否得體？

是**行內的空格是否得體？

否長行拆分是否得體？

是「」是否各佔一行並且對齊於同一列？是重要

一行**是否只做一件事？如只定義乙個變數，只寫一條語句。否重要

if、for、while、do等語句自佔一行，不論執行語句多少都要加「{}」。否重要

在定義變數（或引數）時，是否將修飾符 * 和＆緊靠變數名？注釋是否清晰並且必要？否重要

注釋是否有錯誤或者可能導致誤解？否重要

類結構的public, protected, private順序是否在所有的程式中保持一致？

是命名規則

重要性審查項

結論重要

命名規則是否與所採用的作業系統或開發工具的風格保持一致？

否識別符號是否直觀且可以拼讀？

否識別符號的長度應當符合「min-length && max-information」原則？否重要

程式中是否出現相同的區域性變數和全部變數？

否類名、函式名、變數和引數、常量的書寫格式是否遵循一定的規則？

否靜態變數、全域性變數、類的成員變數是否加字首？

否表示式與基本語句

重要性審查項

結論重要

如果**行中的運算子比較多，是否已經用括號清楚地確定表示式的操作順序？

是是否編寫太複雜或者多用途的復合表示式？否重要

是否將復合表示式與「真正的數學表示式」混淆？否重要

是否用隱含錯誤的方式寫if語句? 例如

（1）將布林變數直接與true、false或者1、0進行比較。

否（2）將浮點變數用「==」或「！=」與任何數字比較。

否（3）將指標變數用「==」或「！=」與null比較。

否如果迴圈體內存在邏輯判斷，並且迴圈次數很大，是否已經將邏輯判斷移到迴圈體的外面？是重要

case語句的結尾是否忘了加break？否重要

是否忘記寫switch的default分支？否重要

使用goto 語句時是否留下隱患? 例如跳過了某些物件的構造、變數的初始化、重要的計算等。否常量

重要性審查項

結論是否使用含義直觀的常量來表示那些將在程式中多次出現的數字或字串？

否在c++ 程式中，是否用const常量取代巨集常量？否重要

如果某一常量與其它常量密切相關，是否在定義中包含了這種關係？

否是否誤解了類中的const資料成員？因為const資料成員只在某個物件

否生存期內是常量，而對於整個類而言卻是可變的。

是函式設計

重要性審查項

結論引數的書寫是否完整？不要貪圖省事只寫引數的型別而省略引數名字。

是引數命名、順序是否合理？

是引數的個數是否太多？

否是否使用型別和數目不確定的引數？

否是否省略了函式返回值的型別？

否函式名字與返回值型別在語義上是否衝突？否重要

是否將正常值和錯誤標誌混在一起返回？正常值應當用輸出引數獲得，而錯誤標誌用return語句返回。否重要

在函式體的「入口處」，是否用assert對引數的有效性進行檢查？否重要

是否濫用了assert？例如混淆非法情況與錯誤情況，後者是必然存在的並且是一定要作出處理的。否重要

return語句是否返回指向「棧記憶體」的「指標」或者「引用」？

否是否使用const提高函式的健壯性？const可以強制保護函式的引數、返回值，甚至函式的定義體。「use const whenever you need」

否記憶體管理

重要性審查項

結論重要

用malloc或new申請記憶體之後，是否立即檢查指標值是否為null？（防止使用指標值為null的記憶體）否重要

是否忘記為陣列和動態記憶體賦初值？（防止將未被初始化的記憶體作為右值使用）否重要

陣列或指標的下標是否越界？否重要

動態記憶體的申請與釋放是否配對？（防止記憶體洩漏）是重要

是否有效地處理了「記憶體耗盡」問題？是重要

是否修改「指向常量的指標」的內容？否重要

是否出現野指標？例如（1）指標變數沒有被初始化;（2）用free或delete釋放了記憶體之後，忘記將指標設定為null。否重要

是否將malloc/free 和 new/delete 混淆使用？否重要

malloc語句是否正確無誤？例如位元組數是否正確？型別轉換是否正確？是重要

在建立與釋放動態物件陣列時，new/delete的語句是否正確無誤？

是c++ 函式的高階特性

重要性審查項

結論過載函式是否有二義性？否重要

是否混淆了成員函式的過載、覆蓋與隱藏？

否運算子的過載是否符合制定的程式設計規範？

是是否濫用內聯函式？例如函式體內的**比較長，函式體內出現迴圈。否重要

是否用內聯函式取代了巨集**？

否類的建構函式、析構函式和賦值函式

重要性審查項

結論重要

是否違背程式設計規範而讓c++ 編譯器自動為類產生四個預設的函式：

否（1）預設的無引數建構函式；

否（2）預設的拷貝建構函式；

否（3）預設的析構函式；

否（4）預設的賦值函式。否重要

建構函式中是否遺漏了某些初始化工作？否重要

是否正確地使用建構函式的初始化表？是重要

析構函式中是否遺漏了某些清除工作？

否是否錯寫、錯用了拷貝建構函式和賦值函式？否重要

賦值函式一般分四個步驟：

（1）檢查自賦值；

否（2）釋放原有記憶體資源；

否（3）分配新的記憶體資源，並複製內容；

是（4）返回 *this。是否遺漏了重要步驟？否重要

是否正確地編寫了派生類的建構函式、析構函式、賦值函式？

是注意事項：

（1）派生類不可能繼承基類的建構函式、析構函式、賦值函式。

是（2）派生類的建構函式應在其初始化表裡呼叫基類的建構函式。

是（3）基類與派生類的析構函式應該為虛（即加virtual關鍵字）。

是（4）在編寫派生類的賦值函式時，注意不要忘記對基類的資料成員重新賦值

是類的高階特性

重要性審查項

結論重要

是否違背了繼承和組合的規則？

（1）若在邏輯上b是a的「一種」，並且a的所有功能和屬性對b而言都有意義，則允許b繼承a的功能和屬性。

是（2）若在邏輯上a是b的「一部分」（a part of），則不允許b從a派生，而是要用a和其它東西組合出b。

是其它常見問題

重要性審查項

結論重要

資料型別問題：

（１）變數的資料型別有錯誤嗎？

否（２）存在不同資料型別的賦值嗎？

否（３）存在不同資料型別的比較嗎？否重要

變數值問題：

（１）變數的初始化或預設值有錯誤嗎？

否（２）變數發生上溢或下溢嗎？

否（３）變數的精度夠嗎？是重要

邏輯判斷問題：

（１）由於精度原因導致比較無效嗎？

否（２）表示式中的優先順序有誤嗎？

否（３）邏輯判斷結果顛倒嗎？否重要

迴圈問題：

（１）迴圈終止條件不正確嗎？

否（２）無法正常終止（死迴圈）嗎？

否（３）錯誤地修改迴圈變數嗎？

否（４）存在誤差累積嗎？否重要

錯誤處理問題：

（１）忘記進行錯誤處理嗎？

否（２）錯誤處理程式塊一直沒有機會被執行？

否（３）錯誤處理程式塊本身就有毛病嗎？如報告的錯誤與實際錯誤不一致，處理方式不正確等等。

否（４）錯誤處理程式塊是「馬後炮」嗎？如在被它被呼叫之前軟體已經出錯。否重要

檔案i/o問題：

（１）對不存在的或者錯誤的檔案進行操作嗎？

否（２）檔案以不正確的方式開啟嗎？

否（３）檔案結束判斷不正確嗎？

否（４）沒有正確地關閉檔案嗎?

否1.對程式整體進行分析：

此程式設計為人與電腦對弈，己方執黑棋，電腦執白棋，輪流走。

棋盤為8×8=64格，初始狀態在棋盤**交叉排放黑白棋子各兩枚，為統計棋子個數，走乙個棋子計一分，己方先走。棋手下棋時，擺子的位置必須是以自己的棋子能包圍住對方乙個或多個棋子，被包圍的對方棋子將變成自己的棋子。包圍的方向可以是上下左右以及左右斜線共8個方向，只要能連成一條線即可。當輪到乙個棋手擺子，而他沒有可以包圍對方棋子的位置時，他必須停步，讓對方走棋，直到他可以走為止。棋子少者輸。

2.程式區域性之函式作用分析：

1. output函式：顯示棋盤的狀態以及棋盤上棋子的狀態；

check函式：檢查棋手下子時，當前位置是否可以落子並返回可下子位置的數量；

playstep函式：執行棋盤上的落子並且檢查周圍我方夾著的對手棋子，並將其轉換為我方棋子；

getmaxscore函式：獲取當前的比分；

bestplay函式：電腦執行的最優下法兵器獲得最優下法的最高分；

autoplaystep函式：電腦按照所得最高分的最優下法下子。

3.流程圖分析：

4.總結：

總體來說**實現了白璐同學想要的功能，但是也會發現**還並不是很完美，希望可以多加思考一下使用者體驗，可以做成個小遊戲供大家娛樂！

軟體工程第四次作業

軟體工程第四次作業

軟體工程第四次作業

軟體工程第四次作業

相關推薦