上世紀80年代初期，軟體和it行業進入了大發展，軟體趨向大型化、高複雜度，軟體的質量越來越重要。這個時候，一些軟體測試的基礎理論和實用技術開始形成，並且人們開始為軟體開發設計了各種流程和管理方法，軟體開發的方式也逐漸由混亂無序的開發過程過渡到結構化的開發過程，以結構化分析與設計、結構化評審、結構化程式設計以及結構化測試為特徵。人們還將「質量」的概念融入其中，軟體測試定義發生了改變，測試不單純是乙個發現錯誤的過程，而且將測試作為軟體質量保證(sqa)的主要職能，包含軟體質量評價的內容，bill hetzel指出：「測試是以評價乙個程式或者系統屬性為目標的任何一種活動。測試是對軟體質量的度量。」這個定義至今仍被引用。軟體開發人員和測試人員開始坐在一起**軟體工程和測試問題。
程式正確性理論是程式設計理論的乙個重要組成部分.研究如何使用程式語言編制程式，以正確實現預定的目標.程式正確性理論提出編制正確程式的兩種途徑一種稱為程式驗證，研究如何使用數學推理來嚴格論證程式是否符合其目標.另一種稱為程式綜合，研究如何由給定目標出發，逐步構造乙個在計算機系統上可執行的程式，而且要求構造過程的每一步都是嚴格保持正確無誤的.在保證正確性的前提下，為提高程式運算效率而實現的程式之間的轉換，稱為程式變形，也是程式正確性理論的乙個重要內容.程式綜合和程式變形是自動程式設計的理論基礎。
測試更加偏向實踐，在實踐中體驗軟體的效果，來發現軟體的問題，一般情況下測試很難覆蓋所有情況，只能保證軟體大致正確；正確性論證更偏向理論，通過數學方法證明程式的正確性，可以覆蓋，但是較為繁瑣。
物件約束語言是一種形式化語言，它主要用於表示uml模型中施加於模型上的約束。ocl具有如下特點：
1、ocl是一種精確的，無二義性的語言。
2、ocl是一種規範說明性語言，所有有關實現的問題都不能用ocl來表達。
3、ocl是一種純表示式語言，它是具有沒有任何***的申明性語言。
4、ocl是一種型別化語言，即ocl中的每乙個表示式都是具有類的。
5、ocl不是一種程式語言，不能用ocl編寫程式邏輯和控制流程。
比較：ocl語言是精確的，沒有二義性，而一般情況我們很難用布林表示式描述程式，所以jsf不是精確的，即不同的人可能寫出不同的jsf。
1、四個單元模組之間的關係
第一單元主要學習基礎知識，為之後的學習打下基礎，第二單元開始接觸多執行緒，開始了解執行緒安全和互動問題， 第三個單元則要求我們在更高的層次上看待問題，從整體來設計，來規劃，做到先規劃再實現，第四個單元是實現之後的工作，主要為測試、論證等等。
2、在程式上的進步
學會了多執行緒的互動和執行緒安全的保證。
3、工程化開發
工程化開發注重設計，保證耦合度第才能分配任務，像上學期的計租一樣，我們可以對每個單元做單獨測試，保證每個單元的正確性即可保證整體的正確性。
物件導向第四次作業
一 填空題 1 如類果類a繼承了b，那麼類a被稱為基 類，而類b被稱為派生 類。2 c 的兩種繼承為 單繼承 和多繼承 3 在預設情況下的繼承方式為私有繼承方式 4 從基類中公有派生乙個類時，基類的公有成員就成為派生類的公有 成員，而這個基類的保護成員就成為派生類的保護成員。5 c 提供了多繼承 機...
第四次部落格作業
1 某公司 的後台管理有乙個使用者註冊的功能需要測試，該測試為黑盒測試，請用 的方式給出該功能的測試用例 參考課本 p107 頁 使用者註冊功能描述如下 1 管理員必須先登入，方可進入 後台管理，進入後台管理介面後可以進行使用者註冊 假設使用者註冊的 url位址為 使用者註冊要求輸入使用者名稱 密碼...
物件導向程式設計第四次作業
include include include include include include calculator.h using namespace std int calculation priority char x 比較優先順序 else if x x else if x x else r...