軟件

標籤：錯是軟體的屬性，存在錯誤是必然的，然而我們可以通過一系列的測試來減少這些錯誤，以便使我們的程式變得更加完美。為把我軟體開發各個環節的正確性，需要進行各種確認和驗證工作，軟體確認的目的是保證軟體產品能夠符合其描述要求，他包括需求規格說明的確認和程式的確認。   軟體測試是指軟體產品生存周期內所有的檢查、評審和確認活動。軟體開發從擷取需求、分析設計到編碼實現，是一個自頂向下、逐步精華的過程，軟體測試文檔描述要執行的軟體測試及測試的結果。人是測試工作中最有簡直也是最

標籤：本章主要介紹了軟體測試的驗證（是為了證明軟體在生命各個時期的邏輯協調性、完整性、正確性）與確認（目的：保證軟體產品能符合其描述要求）（軟體的錯誤、驗證與確認、v&v活動）軟體測試（軟體測試是軟體品質保證的一項關鍵活動。通過對需求規格說明、軟體設計說明和程式碼等進行複審、以保證在軟體交付時、儘可能發現軟體中潛在的問題）基礎的什麼是軟體測試、軟體測試的基本原則、軟體測試去軟體開發各階段的關係、測試文檔、軟體測試資訊流軟體測試人員、軟體測試策略的單元測試、整合測試、確認測試軟體調試、軟體

標籤：VRAPS原則： V Vision 構想 R Rhythm 節奏 A Anticipation 預見 P Partnering 協作 S Simplifaction 簡化

標籤：商務軟體   軟體體驗與功能   商業模式   產品設計          2015年對於商業軟體的使用者和供應商來說，有很多要優先考慮的事情。在一個不斷被數字重塑的工作場所中，要讓員工和客戶滿意，需要付出極大的努力。軟體行業正在受到層出不窮的新型商業模式的挑戰，因此必須做出正確的技術決策。     

標籤：本章主要介紹了分析的概念包括分析活動（需求分析的重點在於理解系統本身。

標籤：本章主要介紹了物件導向設計的概念包括設計活動（目的：實作類別建模、協作建模、組件建模、部署建模、持久建模和使用者介面原型）、設計原則（模組化、耦合度和內聚性、複用性）軟體體繫結構的倉庫體繫結構，分層體繫結構MVC體繫結構、客戶軟體設計體繫結構（涉及權力系統的總體組織、全域控制、資料存取以及子系統之間的通訊協定。大體思路就是一個儲存結構和一個或一些處理資料的子系統），機、伺服器體繫結構、通道和過濾器體繫結構、Minirary系統體繫結構，系統設計的識別設計項目、資料存放區策略部署子系統、系統

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

標籤：第一章、        概述 

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

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

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

標籤：本章主要介紹了軟體工程的概念包括任務思維與過程思維(即將整個軟體開發工作單位看作是一個可控的、可度量的和可改進的過程。)、軟體過程的定義(軟體過程是軟體工程人員為了獲得軟體產品而在軟體工具的支援下實施的一系列軟體工程活動。)、軟體過程的基本活動（問題提出、軟體需求規格說明、軟體設計、軟體實現、軟體確認、軟體演化）、軟體過程的製品，軟體過程模型包括瀑布模型、快速原型模型、增量模型、螺旋模型、形式化方法模型、基於組件的開發模型，微軟的軟體開發過程包括微軟的開發管理原則、微軟的軟體過程模型、遞進

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

標籤：本章主要介紹了軟體的專案管理包括軟體項目的特徵軟體專案管理的“4P”(people、product、process（過程）、project。)、軟體專案管理活動（項目啟動、專案規劃、項目實施、項目收尾），人員組織與管理組件括軟體項目組織（民主式組織圖、主程式員式組織圖、技術管理式組織圖），微軟的軟體開發組織包括微軟Team

標籤：本章主要介紹了軟體需求的業務需求、使用者需求、功能需求和非功能需求(使用者解決問題或達到目的所需要的條件或能力。系統或系統組件要滿足合約標準、規範或其他正式規定文檔所需具有的條件或能力。一種反映上面兩句所描述的條件或能力的文檔說明。)，需求工程過程的需求萃取、需求分析、需求規格說明、需求驗證、需求管理，需求萃取技術的免談、需求專題討論會、觀察使用者工作流程、原型化方法、基於用例的方法，小型圖書資料管理系統的確定參與者、確定情境、確定用例、編寫用例描述。軟體工程概論第四章

標籤：軟體在更改過程的驗貨特性。具體如下：1.軟體維護是一個必然的過程。2.軟體的不斷修改會導致軟體的退化。3.軟體系統的驗貨特性實在早期的開發階段建立起來的。4.軟體開發的效率與投入的資源無關。5.在軟體系統中添加新的功能不可避免的會產城新的缺陷。  根據軟體維護的不同圓心，可以分為三種類型：改正性維護，適應性維護，完善性維護。  軟體維護的特點：1.軟體維護收開發過程影響大。2.軟體維護困難多。3.軟體維護成本高。  軟體維護工作包

標籤：本章的主要內容是軟體演化軟體演化的特性            1985 年，Lehman 和 Belady 總結了軟體在更改過程中演化的特性：1. 軟體維護是一個必然的過程；2. 軟體的不斷修改會導致軟體的退化；3. 軟體系統的演化特性是在早起的開發階段建立起來的。4. 軟體開發的效率與投入的資源無關；5.

標籤：本章主要介紹了程式設計語言（c++、Smalltalk、java、c#等物件導向語言使開發員可以自然的實現由物件導向分析和設計產生的模型，LISP和Prolog是人工智慧領域中知識表示和專家系統的語言：APL是為數組和向量運算設計的簡潔而且功能強大的語言；FORTH是專門為開發微處理器而設計的語言），軟體實現（將詳細設計的結果翻譯成用某種程式語言編寫的最終可以啟動並執行程式碼。包括：代碼設計、設計審查、代碼編寫、代碼走查、代碼編譯、單元測試），軟體編碼規範的檔案命名與組織（目的：增強代碼的

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

【ubuntu14.04】安裝oracle資料庫管理軟體sqldeveloper記錄，ubuntu14.04oracleRT.這是搭建oracle開發環境日誌的第二篇.第一篇是：【ubuntu14.04】搭建PHP5+Apache2+Oracle環境這一篇將在ubuntu14.04系統上安裝oracle資料庫管理軟體sqldeveloper。參考教程如下：http://www.linuxidc.com/Linux/2010-06/26782.htm整個過程思路如下：1.檢查本地的