軟件

標籤：本章主要介紹了物件導向方法概述（物件導向=對象+類+繼承+通訊）包括物件導向技術的發展曆史、物件導向的軟體工程的方法，物件導向基本概念的對象、類、封裝、繼承、訊息、關聯、彙總、多態性，軟體建模概念的系統，模型和視圖、軟體建模的重要性，整合模組化語言UML的發展史UML概念建模的圖（系統中每一個視圖的內容是用一些圖來表示的）、視圖（完整的描述系統需要一組視圖反映系統的各方面）、建模元素（由一些基本的構造元素以及他們之間的連結關係組成）、公用機制（說明、修飾、通用劃分、擴充機制）、擴充機制（約

標籤：第十一章、軟體演化      第十一章  

標籤：第十章、軟體測試      第十章  軟體測試是軟體品質保證的一項關鍵活動，它是通過對需求規格說明、軟體設計說明和程式碼等進行複審，以保證在軟體產品交付前，儘可能發現軟體中潛伏的問題。

標籤：第九章、軟體實現      第九章軟體實現的過程包括代碼設計、設計審查、代碼編寫、代碼編譯和單元測試等基本活動。主要講1、程式設計語言，語言的演化和演變；2、軟體編碼規範，講了編寫規範的重要性，採用規範編寫程式可以增強代碼的可讀性和可移植性3、軟體編碼案例分析，用一段具體的代碼，詳細介紹了程式注釋問題、變數名門問題、記憶體異常問題、異常處理問題和效能問題；4、軟體代碼審查，是為了獲得高品質的代碼，參照代碼檢查清單進行的代碼走查。 

標籤：第十章 軟體測試一.驗證與確認1.軟體的錯誤有錯是軟體的屬性，而且是無法改變的，因為軟體是由人來完成的，所以由人做的工作都不會是完美無缺的。2.驗證與確認為把握軟體開發各個環節的正確性，需要進行各種確認和驗證工作。驗證和確認是貫穿軟體生命週期的正常化評估方法。二.軟體測試基礎1.什麼是軟體測試廣義上講，測試是指軟體產品生存周期內所有的檢查、評審和確認活動，如設計評審、系統測試。狹義上講，測試是對軟體產品品質的檢驗和評價，它一方面檢查軟體產品品質中存在的品質問題，同時對產品進行客觀

標籤：第一章軟體軟體是電腦程式，規程及運行電腦系統可能需要的文檔和資料。軟體分為通用軟體和定製軟體。軟體的特性：1.複雜性2.不可見度3.不斷變化4.大多數軟體仍然是定製的，而不是通過已有的構件組裝而成。軟體於二十世紀50~60年代，70年代，80年代，90年代至今進行發展。在此過程中遇到一些危機：1.軟體的開發成本和進度難以估計，延遲交付甚至取消項目的現象屢見不鮮。2.軟體存在著錯誤多，效能低，不可靠，不安全等品質問題。3.軟體的成本在電腦系統的整個成本中所佔的比例越來越大。4.軟體的維護極其

標籤：軟體工程是為瞭解決開發成本效益和軟體品質的問題而產生的，通過對軟體的特性、發展、危機的介紹，使我對軟體有了更進一步的瞭解。軟體工程是工程概念在軟體領域裡的一個特定應用，並且軟體工程涉及軟體產品的所有環節。軟體工程以關注軟體品質為目標，由過程、方法和工具三個要素組成。軟體工程概論還包括了知識體系，SWEBOK項目的介紹還有組成，而且軟體工程還與其他學科有關係，它將電腦科學、數學、工程學和管理學等基本原理應用於軟體開發的工程實踐中，並借鑒傳統工程的原則和方法，以系統的、可控的、有效方式產生高品

標籤：本章主要介紹了軟體的概念(軟體是電腦程式、規程以及運行電腦系統可能需要的相關文檔和資料。程式是電腦裝置可以接受的一切指令和說明，為電腦提供所需的功能和效能。

標籤：第11章 軟體演化一、軟體演化的特性  軟體更改過程中的演化特性：(1)、軟體維護是一個必然的過程；(2)、軟體的不斷修改會導致軟體的退化；(3)、軟體系統的演化特性是在早期的開發階段建立起來的；(4)、軟體開發的效率與投入的資源無關；(5)、在軟體系統中添加新的功能不可避免地會產生新的缺陷。二、軟體維護  軟體維護可以分成三種類型：改正性維護、適應性維護、完善性維護。  軟體維護的特點：軟體維護受開發過程影響大，軟體維

標籤：軟體專案管理特徵：不可見度，不確定性，多變化性，高流動性。降低複雜性和控制變化成為軟體專案管理面臨的關鍵問題。有效軟體專案管理集中在人員，產品，過程，項目。軟專案管理活動：項目啟動、規劃、實施、收尾。項目組織：民主式組織圖，主程式員式住址結構，技術管理式組織圖。成員數量應該在3-7人。溝通方式：直接交談，電話交談，電子郵件，會議，等。溝通活動：規劃項目溝通，建立基礎設施，實施階段性評審，每周組織小組會議。專案規劃：確定目的和範圍，分解和定義整個項目，估算需要的資源，制定計劃。成本估算：專家

標籤：        我認為這一章介紹的需求工程是比較貼近我們生活的。使用者因為有了需求，才會想去設計一個軟體來滿足需求。一個軟體成品設計的好壞，工程師說了不算，使用者的反映才是最重要的。        使用者們從不同的角度和不同的程度反映著各自的要求，形成了不同層次的需求。確定了使用者的需求後，就要在軟體中按照使用者需求設計軟體了。首先要做的就是需求分析，

標籤：        軟體實現跟我們現在學習的東西，我覺得還是比較近的，就是一直在學習的編程，雖然我們現在學的編程是比較基礎簡單的，還做不出來一個完整的系統，但是經過繼續深入的學習，我相信以後肯定能設計出一個完整的東西出來。       

標籤：軟體演化的特性具體如下：軟體維護是一個必然的過程，軟體的不斷修改會導致軟體的退化，軟體系統的演化特性是在早期的開發階段段建立起來的，軟體開發的效率與投入的資源無關，對於軟體變更引起的各種問題，人民通常採用不同的策略進行處理，1）軟體維護2）軟體再工程，是為避免軟體的退化而對軟體的一部分重新進行設計編碼和測試以提高軟體的維護性和可靠性，為以後進一步改進軟體打下良好基礎。根據軟體維護的不同原因，軟體維護可分以下三類：1）改正性維護2）適應性維護3）完善性維護。然而軟體維護受開發過程影響較大，由

標籤：第十章、軟體測試        

標籤：軟體測試是在軟體投入生產性運行之前，對軟體需求分析、設計規格說明和編碼的最終複審，是軟體品質控制的關鍵步驟。  軟體測試的對象：需求分析、概要設計、詳細設計及程式編碼等階段所得的文檔資料，包括需求規格說明、概要設計規格說明、詳細設計規格說明以及來源程式。  確認是一系列的活動和過程，目的在於證實在一個恰當的外部環境中軟體的邏輯正確性，分為靜態確認和動態確認。  驗證是試圖證明在軟體生存期各個階段以及階段間的邏輯協調性、完備性和正確性。確認與測試都屬於軟體測試。

標籤：       《軟體工程——理論、方法與實踐》這本書，主要是對軟體工程這一專業的一些具體描述。        第一章，主要介紹了軟體工程中的一些基本概念，如軟體工程的概念，軟體工程知識體系，軟體工程職業道德規範等比較基礎的東西。這些都是我們需要瞭解的，只有瞭解這些才能更好的，更深入的學習軟體工程這個專業，對這個專業有更具體更精準的認識。&

標籤：       這一章運用的離散數學的知識很多。從廣義上講，形式化方法是指將離散數學的方法用於解決軟體工程領域的問題，主要包括建立精確的數學模型以及對模  型的分析活動。狹義的講，形式化方法是運用形式化語言，進行形式化的規格描述、模型推理和驗證的方法。運用形式化方法，主要是為了保證軟體的正確性。      

標籤：      

標籤：        軟體演化主要講的就是軟體已交由使用者方使用後，在日常使用中的問題。軟體測試雖然非常嚴密，但畢竟還會有很多問題發現不了，而這些問題就會在日常使用中暴露出來。軟體在使用上發生了問題，就需要軟體開發人員去修複修改，這個應該就是後期的軟體維護了。隨著軟體規模的日益擴大，軟體維護在軟體總成本中所佔的比例也越來越高，軟體維護過程變得日益重要。      

標籤：本章主要介紹了形式化方法的基本概念包括形式規約（即軟體規格說明，是軟體系對象作用的方法，自己對象行為的描述）形式證明與驗證（技術包括：檢測，定理定理證明），程式求精，邏輯時態的一階線性時態邏輯、計算樹邏輯。模型檢測臨就是在Kripk模型下，對以CTL*公式給出的軟體性質得正確性驗證、計算樹邏輯。模型檢測Z語言的概述Z語言的表示（集合關係以及函數、隊列和包、自由類型和模式）、Z語言執行個體（停車場管理系統、圖書管理系統的執行個體），petri網的基本定義petri規格執行個體～號誌軟體工程概