軟體可靠性及其驗證

軟體可靠性及其驗證 國防科工委可靠性工程技術中心 何國偉 本期專題: 軟體的可靠性 目前,軟體在系統中所處的地位越來越重要。眾所周知,系統中的硬體有可靠性指標的要 求,並必須經過驗證。但如果系統中軟體沒有可靠性指標要求,或不要求驗證,那麼整個系統 的可靠性仍是沒有保證的。目前,由於軟體可靠性原因而造成的災難性事故時有發生。為此 ,本期專題將集中介紹軟體可靠性的有關問題,包括如下內容: 1.軟體可靠性及其驗證

軟體專案管理系統(RPMS)介面設計列表

1. 登入介面(RPMS-02-0001)2. Welcome介面(RPMS-02-00023. 項目資訊維護介面(RPMS-02-0003)4. 項目資訊建立介面(RPMS-02-0004)5. 項目資訊修改介面(RPMS-02-0005)6. 項目資訊查看介面(RPMS-02-0006)7. 職務維護介面(RPMS-02-0007)8. 職務建立介面(RPMS-02-0008)9. 職務修改介面(RPMS-02-0009)10. 項目狀態維護(RPMS-02-00010)11. 項目狀態修改

書評:我看《軟體開發沉思錄ThoughtWorks文集》

拿到這本書時,心情還是稍微有點激動!原因在於,這可是由在軟體開發行業特別是敏捷開發這一塊鼎鼎大名的ThoughtWork出的書籍。 另外,Martin Fowler大師也是在這家公司的。我對Martin的書可是崇拜得不得了啊。 不過,看完這本書,我稍稍有點失望。也許是大師們的思路太過超前,也許是我輩還沒達到那種層次,這本書中的13篇美文確實薈萃了軟體開發各方面的精華,但要說到“為你開啟敏捷開發之門”可能有點難。 這些文章中,對我來說最有價值的文章寥寥可數,但確實如醍醐灌頂,

我在用的mac軟體(1)–終端環境之iTerm2

 之前一直有朋友要我分享下在用的mac軟體,今天有空就來寫一下,可能不止於軟體,會有一些配置或者工具,或者叫環境更合適。有些可能一句話帶過,有些會詳細介紹。也不分類了,想到哪個就寫出來。如果已經寫的足夠長了,就會分幾篇來寫。iTerm2+zsh+tmux的終端環境iTerm2其實現在os

兩個免費轉換視頻的軟體,實現伺服器端Video2FLV

現在,許多播客網站都提供了線上上傳視頻的服務,而大多數都是將上傳的視頻轉換成FLV格式,然後利用Flash Player播放。大名鼎鼎的Google Video就是其中代表。可惜的是,Google Video並不支援RM和RMVB格式的上傳轉換。但是,配合是用我們今天介紹的兩個軟體,卻可以轉換幾乎所有流行的視頻格式。

soho做軟體外包開發-方向CRM,ERP,OA公司資訊系統-旗艦軟體工作室

【可以現場開發】我們是上海工作室Team Dev,致力於公司資訊系統的軟體定製開發。我們的技術人員均有多(5-10)年的從業經驗。我們是完美主義和技術狂熱愛好者,我們視軟體的品質為生命,客戶的需求滿意度為食糧。我們為您提供的不僅僅是軟體,而更注重於軟體後期的服務。我們使用國際知名軟體公司的商務的軟體架構,快速實現開發,周期短,品質一流。我們使用Microsoft .Net Framework

淺談新一代GIS軟體技術的開發與應用

 目前GIS軟體在技術上並不能適應飛速發展的應用要求,尤其不能適應"數字地球"和"數字城市"、"數字地區"建設中Data Integration和功能整合的需要。認真研究現有GIS理論與軟體實現技術的不足,尋求理論、方法、技術和工具四個層次的突破和創新,已經成為當務之急。一、 地理資訊系統軟體發展的曆史回顧 。     自從1960年加拿大測量學家Roger F

Linux下面軟體的安裝

  Linux下軟體安裝包有多種格式,如rpm、deb、tag.gz、tar.bz2、bin等。以Ubuntu系統為例,deb格式是最簡單的,建議下載的時候下載這種格式的,系統有內建的處理該類尾碼的檔案,直接點擊安裝即可,有點類似於Windows下面的.exe檔案;在Linux下面,tar.gz、tar.bz2這類檔案是最常見的,需要make之後然後再安裝,有些檔案中沒有configure這個檔案,但是應該會包含有install的安裝說明,按照上面的提示安裝問題應該不大;rpm解壓之後直接用指令

三五個人十來條槍 如何走出軟體作坊成為開發正規軍

自從發了上一篇博文,這幾天收到很多朋友的來信。大家從各個開發語言的優缺點和適用領域,一直討論到設計模式、架構、重構、單元測試,乃至敏捷編程,最後都討論到了軟體開發過程管理,甚至都談到了盈利模式和中國軟體的悲哀。最後不了了之,都覺得改善中國內地現在的軟體生產狀況不可能。為什麼呢?我重新把這幾天大家的討論留言翻了一遍,發現大家的軟體團隊都存在著這樣一種普遍現象:1大部分人所在的公司,開發人員僅3-5人,多的在10人。別看就這幾條槍,還從售前支援,軟體開發,測試、打包發布、文檔編寫、實施安裝、培訓、支

專案經理的工具箱—走出軟體作坊:三五個人十來條槍 如何成為開發正規軍(三)

自從寫了關於《三五個人十來條槍 如何走出軟體作坊成為開發正規軍》走出軟體作坊:三五個人十來條槍

實施費用也能DIY–走出軟體作坊:三五個人十來條槍 如何成為開發正規軍(九)

上次咱們講完了開發費用的計算,很多人在後面跟帖在那裡算費用。有人說:你把程式員都不當人,94天,一天都不休息啊。我想答曰:94天,是工作時間。不算雙休日在裡面。也就是說,實際的開發週期長度是94+3個月之中的所有雙休日。我只所以按照94天算,是算94天工作日,並沒有把雙休日都算進去。你試著想想,你都休息了,你怎麼跟客戶算費用的時候把雙休日也好意思算進去。所以說,算費用,按94天算合理。另外有人說了:根本不是全體人都幹94個工作日。你按全體人幹94個工作日算,這也太駭客戶了吧。我想答曰:這個詳細開

《我也能做CTO之程式員職業規劃》和《.NET軟體設計新思維——像搭積木一樣搭建軟體》新書發布會 回顧

電子工業出版社主管電腦圖書模組的楊總致歡迎辭——在年輕人的場子裡心情也愉悅開心很多:楊總和微軟中國進階市場經理胡德民老師為《我也能做CTO之程式員職業規劃》和《.NET軟體設計新思維——像搭積木一樣搭建軟體》揭開神秘紅紗:微軟中國進階市場經理胡德民老師為大家激情開場,給大家帶來一個重重的思索——技術、管理、市場,究竟誰說了算?微軟.NET(北京)俱樂部主席葛涵濤先生為大家講述俱樂部在大家的職業規劃當中會起到什麼樣的神奇功效?接下來,高陽老師,為大家解析《我也能做CTO之程式員職業規劃》會給大家的

VPNC–Ubuntu手記之軟體

    今天對ubuntu打了個補丁,結果cisco vpn client不能用了,這才想起來這次補丁是核心升了級,可能因此Cisco VPN Client失效了。重新安裝也不行。無奈之下想到了vpnc,非常順利的安上了:Code highlighting produced by Actipro CodeHighlighter

軟體測試的兩張藏寶圖和三個層次

軟體測試藏寶圖和我的軟體測試全景(如:基於過程的軟體測試全景)差異挺大,內容要豐富得多,覆蓋了所有的知識點。而我的全景,忽略細節和一般知識的具體內容,強調內涵和測試各環節的內在關係,邏輯清晰、實踐性強,各有千秋。  結合效能測試來描述軟體測試工程師的三個層次,這種描述更形象生動、具體,容易讓團隊接受和理解。  軟體測試藏寶圖是由韓國STA Consulting Inc. CEO Wonil

從玩撲克到軟體開發

我以前不是做軟體開發的。在加入ThoughtWorks兩年之前,我主要靠玩撲克為生。當然,如果你曾跟我打聽過我前臂上的紋身,那你肯定已然聽過我的故事了。要是還沒有,等下次我們一起喝一杯時,我可以講給你聽。我從未因為花這麼長時間玩牌而感到過遺憾,從中我學到了一些放之四海而皆準的知識。開發軟體的時間愈久,我就愈加確信這二者之間具有令人難以置信的相似性。學習我學習打撲克和學習軟體開發的方式是一樣的:儘可能多讀書。我用兩年的時間,讀完了所能找到的每一本有關撲克的書。最後竟至39本之多。編程亦如是。此刻,

軟體測試管理常見問題及其回答

1、測試負責人要進行嚴格的測試進度跟蹤嗎?  很多時候,由於人力資源的不足,測試專案負責人都是在執行測試,這樣就使整個項目缺乏控制,一些問題(例如:有些成員的缺陷品質不夠合格;開發人員修改不及時,系統某些功能發生嚴重問題導致部分功能無法測試。)得不到解決,耽誤了進度。所以測試負責任必須全程監控項目,儘可能多的掌握資訊。通常,測試負責人需要完成下面這些內容的管理工作:    測試案例執行情況;    每個測試員提交的缺陷情況;    測試中是否發生突發問題。    2、

從一個笑話看軟體開發管理)

從一個笑話看軟體開發管理(轉)http://www.itpub.net/697306.html1. 程式員寫出自認為沒有Bug的代碼。2. 軟體測試,發現了20個Bug。3. 程式員修改了10個Bug,並告訴測試組另外10個不是Bug。4. 測試組發現其中5個改動根本無法工作,同時又發現了15個新Bug。5. 重複3次步驟3和步驟4。6. 鑒於市場方面的壓力,為了配合當初制定的過分樂觀的發布時間表,產品終於上市了。7. 使用者發現了137個新Bug。8.

Centos 軟體的安裝與卸載

在Windows下安裝軟體時,只需運行軟體的安裝程式(setup、install等)或者用zip等解壓縮軟體解開即可安裝,運行反安裝程式(uninstall、unware、“卸載”等)就能將軟體清除乾淨,完全圖形化的操作界面,簡單到只要用滑鼠一直點擊“下一步”就可以了。而Linux好象就不一樣了,很多的初學者都抱怨在Linux下安裝和卸載軟體非常地困難,沒有像使用Windows時那麼直觀。其實在Linux下安裝和卸載軟體也非常簡單,同樣也有安裝嚮導或解壓安裝的方式,不相同的只不過是除了二進位形式

重新認識Intel軟體產品-從編譯器到FFT、LAPACK、SCALAPACK、ITC、ITA應有盡有

首先是編譯器,這個不多說了,誰都知道。 更重要的是Intel的數學庫,稱為Math Kernel Library-MKL 還有,Intel有一套Cluster Tools,裡麵包含了Cluster MKL、ITC、ITA、Intel MPI等。

SqlPrompt及red-gate系列軟體的試用期破解

SqlPrompt 是 Red-Gate 旗下的一款 SQL SERVER 輔助軟體,為 SQL SERVER 的查詢分析器 提供智能提示的功能,使得查詢分析器像VS的IDE一樣方便;同時提供SQL語句的格式化和美化工作,是款非常不錯的軟體,對於SQL SERVER 2000的使用者是非常值得推薦的;SQL 2005 和 2008 本身的查詢分析器內建了智能提示功能(雖然沒有SqlPrompt強大,但總歸原生的好些)。與SqlPrompt類似的,還有 SqlAssistant,

總頁數: 852 1 .... 376 377 378 379 380 .... 852 Go to: 前往

聯繫我們

該頁面正文內容均來源於網絡整理,並不代表阿里雲官方的觀點,該頁面所提到的產品和服務也與阿里云無關,如果該頁面內容對您造成了困擾,歡迎寫郵件給我們,收到郵件我們將在5個工作日內處理。

如果您發現本社區中有涉嫌抄襲的內容,歡迎發送郵件至: info-contact@alibabacloud.com 進行舉報並提供相關證據,工作人員會在 5 個工作天內聯絡您,一經查實,本站將立刻刪除涉嫌侵權內容。

A Free Trial That Lets You Build Big!

Start building with 50+ products and up to 12 months usage for Elastic Compute Service

  • Sales Support

    1 on 1 presale consultation

  • After-Sales Support

    24/7 Technical Support 6 Free Tickets per Quarter Faster Response

  • Alibaba Cloud offers highly flexible support services tailored to meet your exact needs.