軟件

標籤：第9章 軟體實現  軟體實現是軟體產品由概念到實體的一個關鍵過程，它將詳細設計的結果翻譯成某種程式設計語言編寫的並且最終可以啟動並執行程式碼。一、程式設計語言  程式設計語言一直在不斷地演化和演變，其發展經曆了從機器語言到進階語言的過程。二、軟體編碼規範  一般來說，一個Java源檔案有若干節（section）組成，每一節都用空行和相關的注釋隔開，檔案的長度最好不要超過2000行。  Java來源程式

標籤：本文作者 James Whittaker, 前微軟架構師，是“How to Break

標籤：需求工程本章以物件導向技術為核心，全面、深入、系統地介紹軟體開發各個階段的任務、過程、方法和工具。軟體需求可以劃分為業務需求、使用者需求、系統需求、功能需求和非功能需求等類型。需求工程是應用已證實有效原理和方法，並通過合適的工具和符號，系統的描述出待開發系統及其行為特徵和相關約束。需求工程的所有過程：需求萃取、需求分析、需求規格說明、需求驗證和需求管理等，並說明了這些過程之間的關係和需要產生的文檔。需求萃取的關鍵在於通過與使用者的溝通和交流，收集和理解使用者的各項要求。常見的需求萃取技術包

標籤：概述本章概括介紹軟體工程的曆史發展和基本原理，討論IEEE和ACM最新提出的軟體工程知識體系和軟體工程職業道德規範。書中講了軟體工程是為瞭解決開發成本效益和軟體品質的問題而產生的，而軟體是電腦程式、規程以及運行電腦系統可能需要的相關文檔和資料。軟體分為通用軟體和定製軟體。軟體的特性有四點：複雜的、不可見的、不斷變化的、是定製的而不是通過已有構件組裝而成的。軟體的發展有四個階段：20世紀50-60年代、20世紀70年代、20世紀80年代、20世紀90年代至今。軟體的發展面臨著軟體危機。軟體工

標籤：微軟近期Open的職位:Job Title:   Principal Software Eng Mgr Work Location: Shanghai, ChinaJob Description:Are you a Linux, UNIX or FreeBSD ninja?   Think that those skills have no value at a company like Microsoft?   Think again!  

標籤：主要介紹的是驗證與確認，軟體測試基礎，軟體測試策略，軟體測試方法，物件導向軟體測試和軟體測試載入器。有錯是軟體的屬性,無法改變。測試是對軟體產品品質的檢驗和評價。軟體測試的基本原則:①儘早地和不斷地進行軟體測試;②避免檢查自己的程式;③測試案例包括合理輸入條件和不合理的輸入條件;④測試案例應包括測試輸入資料和與之對應的預期輸出結果;⑤注意測試中的群集現象;⑥嚴格執行測試計劃,排除測試的隨意性;⑦對每一個測試結果做全面檢查;⑧儲存測試過程文檔,為維護提供方便。測試文檔包括:測試計劃、測試規範

標籤：第九章、軟體實現        

標籤：物件導向=對象+類+繼承+通訊。要在軟體開發的實驗中進行體驗物件導向的概念。對象，類，封裝，繼承，訊息，關聯，彙總，多態性是物件導向程式設計的各種屬性。統一建模是一種直觀，明確，構建和文檔化軟體系統產物的通用可視化建模語言，常用的幾種UML圖有使用案例圖，類圖，順序圖，狀態圖等幾種圖種。建模如今已經成為一項經過驗證且被廣為接受的工程技術，比如電影業中的劇本就是一種建模，鑒於軟體開發的複雜性，軟體工程也需要一種建模語言來進行問題的描述。使用案例圖是以使用者角度為出發點的功能圖，類圖描述系統靜

標籤：# 2.1x <- c(1,2,3);y <- c(4,5,6)e <- c(1,1,1)#1)z <- 2*x+y+e;z#2)crossprod(x,y)#3)outer(x,y)#2.2#按列輸入（預設）A <- matrix(1:20,c(4,5))#按行輸入B <- matrix(1:20,c(4,5),byrow = TRUE)#1)C <- A+B;C#2)D <- A*B;D#3)#4)A[1:3,1:3]#5)G <-

標籤：                                          

標籤：軟體測試在軟體開發中起到相當重要的作用，本章主要講了驗證與確認、軟體測試基礎、軟體測試策略、軟體測試方法、物件導向軟體測試及軟體測試載入器。驗證與確認講了軟體的錯誤、驗證與確認、V＆V的活動，軟體的錯誤講到有錯是軟體的屬性，並用了幾個執行個體開講軟體錯誤的危害。驗證與確認是為了軟體開發各環節的正確性。V＆V活動即是驗證與確認在各階段制定和管理特定的任務。軟體測試基礎講了什麼是軟體測試即對軟體產品生存周期內的檢查、評審和確認，軟體測試的基本原則講了軟體測試中的幾個原則，測試文檔主要包括測試計

標籤：本章主要講述軟體工程中將離散數學的方法用於解決軟體工程領域的問題。形式化方法的開發可以追溯到20世紀50年代後期對編譯技術的研究。也可以理解為，軟體開發實際上就是把現實世界的需求映射成軟體的模型化過程。形式規約：軟體規格說明是對軟體系統對象，隊象的操作方法，以及對象行為的描述。非形式的規格說明可用自然語言，圖，表等形式描述。形式證明與驗證：主要包括模型檢測和定理證明。程式求精：將自動推理和形式化方法相結合，從抽象的形式規約推演出具體的面向電腦的程式碼的全過程。Z語言為以集合論和一階謂詞演算

標籤：效能測試   loadrunner   http   發帖紀念下本人最近開設的一門軟體效能測試方面的課程全部錄製完畢，        課程URL是：http://edu.51cto.com/course/course_id-2218.html。    課程注重實戰和對重要概念的剖析，整個課程時間超過2000分鐘。 

標籤：        本章承接上一章，上一章重點講解在開發人員與客戶之間的溝通，本章主要的就是開發人員如何設計軟體。        

標籤：     軟體實現過程就是開發人員如何編碼，同時介紹了相關的語言。       下面是我對本章的一個小總結。開篇先對軟體實現過程做了一個整體的介紹過程，包括代碼設計、設計審查、代碼編寫、代碼走查、代碼編譯和單元測試等基本活動。     

標籤：第十章—軟體測試有錯是軟體的屬性，而且是無法改變的，我們要做的是如何避免錯誤的產生和消除已經存在的錯誤。為保證軟體開發各個環節的正確性，需要進行各種確認和驗證工作，驗證和確認（簡稱V&V）是貫穿軟體周期的正常化評價方法。 軟體測試有一些基本原則（8個），廣為人知的V模型闡述了軟體測試階段和開發過程各階段的對應關係。主要的測試文檔包括測試計劃、測試規範、測試案例、缺陷報告。軟體測試時需要以下3類資訊：軟體配置、測試組態和測試載入器。一個優秀的軟體測試人員要具備以

標籤：第五章主要講1.形式化方法基本概念分為形式規約、形式證明與驗證、程式求精，形式證明與驗證技術主要包括模型檢測和定理證明。2.時態邏輯介紹了Kripke結構；一階線性時態邏輯以隊列及其操作與漢諾塔操作規劃問題為例進行講解。計算樹邏輯一般是CTL與CTL*的統稱。3.模型檢測就是在軟體系統的Kripke結構模型下，對以CTL*公式給出的軟體性質的正確性驗證。4.Z語言是由牛津大學程式設計研究小組開發的一種形式語言，對Z語言的表示進行詳細的概述與講解，並以停車場管理系統與圖書管理系統為例詳細講解

標籤：第四章 

標籤：     軟體過程就是軟體工程人員為了獲得軟體產品在軟體工具的支援下實施一系列的軟體工程活動。軟體過程的基本活動步驟有1 問題的提出，2軟體需求規格說明 3 軟體設計 4 軟體實現 5軟體確認 6軟體演化。    

標籤：     軟體是電腦程式，規程以及運行電腦系統可能需要的相關文檔和資料。它主要分為兩種 一種為通用軟體，另一種為定製軟體，軟體聚有複雜，不可見，不斷變化的特性，目前的軟體大多數軟體都是定製的而不是通過己有的構件組裝而成。由於軟體的發展出現了軟體危機。