軟件

標籤：物件導向=對象+類+繼承+通訊。要在軟體開發的實驗中進行體驗物件導向的概念。對象，類，封裝，繼承，訊息，關聯，彙總，多態性是物件導向程式設計的各種屬性。統一建模是一種直觀，明確，構建和文檔化軟體系統產物的通用可視化建模語言，常用的幾種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分鐘。 

標籤：                                         &

標籤：                                         &

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

標籤：第九章—軟體實現    這一章重點講述了軟體代碼編寫過程中的規範和一些經常遇到的問題。    軟體的實現過程包括代碼設計、設計審查、代碼編寫、代碼走查、代碼編譯和單元測試等基本活動。在規範代碼的編寫過程中，要注意以下幾點：1.檔案命名與組織：一般說來一個java源檔案的長度最好不要超過2000行。2.代碼的版式：要有適當的空行，要注意程式碼及行內空格，分行、對齊與縮排，還有命名規則與聲明、注釋。從案例中分析了程式注釋、

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

標籤：原文連結：A Vision of the Future of the Software Developer’s Platform，摘譯：唐尤華案頭版Eclipse仍然會佔據主流。類似Che和Orion的雲開發平台會給軟體開發帶來變革。開發人員會有更多機會挑選合適的工具和開發環境。項目可以在案頭與雲端互相切換。案頭版Eclipse勢頭正盛。開發社區會持續投入基於Eclipse的IDE開發。將會支援Java™

標籤：軟體開發   工程師   能力   很多人都希望成為一個優秀的軟體開發工程師，那麼，成為一個優秀的軟體開發工程師應該具備哪些能力呢？下面是我個人的見解，有不同想法的歡迎提出討論。在學習之初，我們往往強調的是開發技術，對於軟體開發人員而言，這是最初級也是最簡單的要求。我們想要把我們學到的知識運用到工作生活中，就需要瞭解行業知識了。遇到問題如何解決就需要我們的思維能力了。只有把這三者有效結合起來，我們才可

標籤：第十一章—軟體演化軟體系統在交付之後仍然在不斷的演化，即進入軟體的運行維護階段，以保證軟體長期處於可用狀態，並能夠適應實際業務的不斷變化。軟體在更改過程中的演化特性具體如下：1.軟體維護是一個必然的過程2.軟體的不斷修改會導致軟體的退化3.軟體系統的演化特性是在早期的開發階段建立起來的4.軟體開發的效率與投入的資源無關5.在軟體系統中添加新的功能不可避免地會產生新的缺陷。軟體維護可以分為三種類型：改正性維護、適應性維護、完善性維護。軟體維護的特點：1.軟體維護受開發過程影響大2

標籤：我曾經說過，程式員不是一般的人，是具有某種超能裡的人。但問題是，程式員往往意識不到自己的這種特異功能，在他們的眼裡，會認為自己很普通，跟常人一樣，所以，程式員能做到的事情，其他人——比如他們的客戶/軟體使用者——也應該很容易做到。但事實上，由於大部分人——絕大部分人(包括軟體開發公司的客戶/購買軟體的使用者)——都是電腦小白(對電腦知識/電腦知識/軟體知識知之甚少的人)。一個對於程式員來說很顯而

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

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