軟件

標籤： update-alternatives是ubuntu系統中專門維護系統命令連結符的工具，通過它可以很方便的設定系統預設使用哪個命令、哪個軟體版本，比如，我們在系統中同時安裝了open jdk和sun jdk兩個版本，而我們又希望系統預設使用的是sun jdk，那怎麼辦呢？通過update-alternatives就可以很方便的實現了。   sudo update-alternatives --install /usr/bin/java java

標籤：1.下載egit外掛程式開啟Eclipse，git需要eclipse授權，通過網頁是無法下載egit的安裝包的。在功能表列依次開啟eclipse→help→install new software→add，Name欄中輸入egit，location欄中輸入 http://download.eclipse.org/egit/updates/

標籤：lrzsz   xshell用戶端軟體匯入匯出檔案   Linux伺服器可以直接安裝lrzsz軟體，安裝了該軟體之後可以替代ftp等工具直接通過Xshell用戶端軟體直接往伺服器丟檔案或者通過伺服器往外轉出檔案等操作匯出：sz youfile 匯入：rz 瀏覽找到你本機要上傳的檔案#需要注意的事這個命令無法在putty介面中使用yum -y install lrzsz&n

標籤：1，#cd /usr/share/fonts/default2，mkdir -p ./truetype/simsun3，取得simsun.ttc檔案；如果網上下載不到則在windows （c:/windows/fonts/simsun.ttc）作業系統取得該檔案4，上傳simsun.ttc檔案到/usr/share/fonts/default/truetype/simsun目錄中，cd

標籤：jira linux安裝jira jira詳細安裝步驟環境：Linux Centos,atlassian-jira-6.3.13-x64.binapache-tomcat-7.0.40.tar.gzjdk-7u21-linux-x64.tar.gzmysql-5.5.25a.tar.gzmysql-connector-java-5.1.25-bin.jar2. 下載Jira最新版# wget

標籤：style   ar   color   os   sp   on   檔案   資料   log    Linux 內建了一個 watchdog 的實現，用於監視系統的運行，包括一個核心 watchdog module

標籤：在當今最受關注的APT攻擊和零時差漏洞利用中經常使用某些方法來逃避檢測，而駭客用來在隱秘通道內隱藏資料的一切可能方法，就是我們所認為的“隱寫術”ZeusVM：在 JPG圖片裡隱藏惡意軟體的設定檔有一類Zeus病毒變種用一種特殊的方法隱藏它的設定檔，利用圖片在其影像檔的末尾包含了一些資料，經過解密之後，會組建組態檔案，而安全網關等裝置不會警示，使用者也不會發現。（ZeusVM

標籤：VectorCAST™ 是主要用於對C/C++/Ada程式進行軟體自動化測試，並能夠在Windows和Linux等多種開發環境下運行。其主要功能包含自動化的單元測試、集 成測試、覆蓋率分析、迴歸測試、代碼靜態分析和測試需求跟蹤，它最大特點或相比於其它相關同類工具最大的優勢，就在於能夠實現最大程度的自動化而且更適用 於嵌入式環境。以下分別予以闡述：單元測試VectorCAST 會根據被測代碼和開發環境自動構建測試套件（Test

標籤：轉載url:http://blog.sina.com.cn/s/blog_553fab3b0100y1sa.html■看圖理解：硬體中斷與軟體中斷（內部中斷與外部中斷）1、8086/8088CPU可以處理256種不同類型的中斷，每一種中斷都給定一個編號(0~255)，稱為中斷類型號，CPU根據中斷類型號來識別不同的中斷源；2、中斷類型號0~4已有固定對應對象（例如0=除法錯誤等），中斷類型號5~31保留給BIOS；3、可屏蔽插斷要求訊號從INTR引腳送往CPU，高電平有效，受IF標誌位屏蔽

標籤：    去除設定的更新+1小紅點提示主要分為越獄和非越獄裝置兩種方法。 　　越獄狀態下方法：　　首先將你的裝置進行越獄；　　越獄後安裝ifile（這個自行搜尋安裝）；　　用ifile開啟/System/Library/CoreServices這個目錄，找到“SystemVersion.plist”這個檔案用屬性工作表編輯器開啟點擊第一行，把裡邊的11D257（系統當前的版本號碼）改成12A365後重啟一下裝置；　　重啟後‘1

標籤：測試的目標程式 程式碼 劃分出的等價類別劃分方法編號有效等價類別編號無效等價類別長度1長度1-65長度06長度>=7字元2含有字元a-z7含有中文字元3含有字元A-Z8含有特殊字元4含有字元0-9   測試案例編號輸入覆蓋的等價類別期望輸出實際輸出 1aA01,2,3,4success 2 5不可為空 3aA012346請輸入1-6個英文字母或數字

標籤：等價類別所謂等價類別是指輸入欄位的某個互不相交的子集合，所有等價類別的並集便是整個輸入欄位。目的在於測試案例的無冗餘性。等價類別劃分的方法常用的等價類別劃分原則（1）按區間劃分（2）按數值劃分（3）按數值集合劃分（4）按限制條件或規則劃分（5）細分等價類別 測試案例的設計方法 （1）在確立了等價類別之後，可列出所有劃分出的等價類別表。（2）為每一個等價類別規定一個唯一的編號。（3）設計一個新的測試案例，使其儘可能多地覆蓋尚未覆蓋的有效等價類別。重複這一步，直到測試案例覆

標籤：一、 軟體版本階段說明Alpha版: 此版本表示該軟體在此階段主要是以實現軟體功能為主，通常只在軟體開發人員內部交流，一般而言，該版本軟體的Bug較多，需要繼續修改。Beta版: 該版本相對於α版已有了很大的改進，消除了嚴重的錯誤，但還是存在著一些缺陷，需要經過多次測試來進一步消除，此版本主要的修改對像是軟體的UI。RC版: 該版本已經相當成熟了，基本上不存在導致錯誤的BUG，與即將發行的正式版相差無幾。Release版:

標籤：以下為收集的一些軟體專案管理中的常用單詞簡寫：PI:Project Initiation(項目啟動)PPL:Project Plan(制定專案計劃，Establish PPL)SRS: Software R一些equirements Specification, 也有可能是System Requirements SpecificationSTP:System Testing Plan(系統測試計劃)HLD: High Level design,也叫General design （概要設計）

標籤：1、視頻廣告過濾大師官方地址：http://www.admon.cn/一般在網上看視頻，比如優酷，56，馬鈴薯這些網站，播放視頻前總是先插播一段廣告。不想播廣告，就得花錢買會員。其實裝個這樣的軟體，主流的視頻網站全都可以屏蔽廣告。實測可用！ 2、同時給大家推薦一個電腦上看視頻的軟體：迅雷影音官方地址：http://video.xunlei.com/pc.html好用不解釋!給大家推薦一個軟體：視頻廣告過濾大師

標籤：為把握軟體開發環節的正確性，需要進行各種確認和驗證工作，確認和驗證正是貫穿軟體生命週期的正常化評估方法。驗證和確認的目的即在於是否在保持產品的正確性。軟體測試從廣義上來講是指軟體產品生存周期內所有的檢查，評審和確認活動，狹義上講測試是對軟體產品品質的檢查和評價，他一方面檢查軟體產品品質中存在的品質問題同時對產品品質進行可觀的評價。一個好的測試案例很可能是發現至今尚未察覺的錯誤，一個成功的測試案例是發現至今尚未察覺的錯誤的測試。軟體測試的基本原則就是應當把今早的和不斷的進行軟體測試作為軟體開

標籤：第5章 軟體工程中的形式化方法   從廣義上講，形式化方法（Formal Method）是指將離散數學的方法用於解決軟體工程領域的問題，主要包括建立精確的數學模型以及對模型的分析活動。狹義的講，形式化方法是運用形式化語言，進行形式化的規格描述、模型推理和驗證的方法。將形式化方法運用於軟體工程實踐當中的只要目的是保證軟體的正確性。  軟體生命週期中的形式化轉化策略：常用轉化策略、直接轉化策略和運用半形式化表示的中間轉化策略

標籤：Eobd2.fr has launched the new 2015 V145 Renault CAN Clip diagnostic tool (SP19-A and SP19-B). Here is the new V145 Renault CAN Clip OBD diagnostic software step-by-step installation instruction.Operating system: Windows XP SP2/SP3 System default

標籤：[1] IEEE Transactions on Software Engineering (IEEE T SOFTWARE ENG, 簡稱TSE) 中文名：IEEE軟體工程彙刊出版社：IEEE，1975年創刊期刊網址：http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32                   http:

標籤：des   io   ar   os   sp   for   strong   on   div   微軟近期Open的職位:Are you looking for a big challenge? Do you