資料介紹
在過去的幾十年里, 由軟件問題導致系統失效的災難時有發生,給人類的生命、財產和環境造成了重大損失。例如,上世紀 60 年代中期, 美國的首次金星探測計劃就因為在用 FORTRAN 語言編寫的 DO 語句中漏掉了一個逗號釀成發射失敗, 損失達上千萬美元。軟件中潛藏的缺陷不僅造成巨大的經濟損失,由于缺陷的存在還給人身造成巨大傷害。如加拿大原子能有限公司生產的 Therac-25 放射治療儀曾以其安全性著稱于世, 但在 1986 年 3 月至 1987 年 1 月間, 由于軟件出錯導致控制系統失靈,造成 2 人死亡,多人受傷。上述這些鮮活的事例說明在安全關鍵系統中,由于軟件缺陷導致的系統失效所釀成的損失巨大, 軟件的質量問題必須引起足夠的重視。
在早期的軟件開發活動中,軟件測試的概念非常狹窄,幾乎等同于程序的“調試”,上世紀 50 年代中期,出現程序測試的概念,英國著名計算機科學家圖靈給出了程序測試的原始定義,測試是正確性確認實驗方法的一種極端形式。進入 20 世紀 70 年代后, 軟件測試作為軟件生存周期的一個階段被提了出來。20 世紀 70 年代中期,軟件測試的意義逐步被人們所認識,對軟件測試的研究工作開始受到重視。1975 年,Goodenough 和 Gerhart 首次提出軟件測試理論。到了 20 世紀 80 年代,對軟件測試技術的研究越來越受到重視。1982 年 6 月, 在測試學科先驅 Bill Hetzel 博士的召集下, 美國北卡羅來納大學召開了首屆軟件測試正式技術會議,成為軟件測試技術發展中的一個重要里程碑。會后一批關于軟件測試的理論專著相繼出版, 這些專著構成了軟件測試學科的最初理論框架,標志著軟件測試學科的誕生。目前,國際上每隔兩年召開一次軟件測試與分析的學術會議,涌現了大量的有關軟件測試的研究成果。我國也定期召開全國軟件工程會議和容錯計算會議, 軟件測試已成為這兩個會議的熱門專題。
- 先進激光雷達探測技術研究進展
- 超結IGBT的結構特點及研究進展 4次下載
- 農業機械自動導航技術研究進展 35次下載
- 眾包軟件測試技術研究進展 0次下載
- 共振式無線電能傳輸技術的研究進展與應用綜述 6次下載
- 電動汽車無線充電技術的研究進展_高大威 18次下載
- 量子點敏化太陽能電池研究進展-劉銘 6次下載
- 物聯網隱私保護研究進展 0次下載
- 腦電信號偽跡去除的研究進展_杜曉燕 0次下載
- 移動互聯網QoS機制的研究進展述評 12次下載
- CMOS_Gilbert混頻器的設計及研究進展 14次下載
- 性能驅動總體布線的關鍵技術及研究進展 0次下載
- 中藥提取技術的研究進展
- 聲頻定向揚聲器的研究進展
- 電壓源換流器高壓直流輸電技術最新研究進展
- 中紅外帶間級聯激光器的研究進展 635次閱讀
- 基于二維材料的氣體傳感器研究進展 711次閱讀
- 偏振三維成像技術的原理和研究進展 1429次閱讀
- 先進封裝中硅通孔(TSV)銅互連電鍍研究進展 1084次閱讀
- 量子計算關鍵技術研究進展 1714次閱讀
- 先進封裝中凸點技術的研究進展 2963次閱讀
- 先進封裝中銅-銅低溫鍵合技術研究進展 2804次閱讀
- GaN HEMT外延材料表征技術研究進展 1748次閱讀
- 高導熱聚酰亞胺電介質薄膜研究進展 2261次閱讀
- 鋰離子電池預鋰化技術的研究進展 1.3w次閱讀
- 射頻技術的研究進展分析和射頻核心技術的原理及研究與工程實踐 8602次閱讀
- 反映當今電子學深度和廣度的8項突破性研究 3538次閱讀
- 3D打印技術概況與3D打印外科植入物的現狀與進展 6604次閱讀
- 測試軟件及測試終端差異性研究分析 7240次閱讀
- 基于MEMS技術的微波濾波器研究進展 8729次閱讀
下載排行
本周
- 1GD100PIX120C6SNA規格書
- 0.98 MB | 3次下載 | 免費
- 2一款入耳式耳機的仿真與分析
- 0.44 MB | 2次下載 | 免費
- 3Eurotherm TKS Temperature 用戶手冊
- 1.46 MB | 2次下載 | 免費
- 4人形機器人電機驅動和傳感報告
- 4.27 MB | 2次下載 | 免費
- 5無線系統中天線和RF元件電磁建模
- 7.48 MB | 1次下載 | 4 積分
- 6Multisim模擬電路仿真教程
- 1.93 MB | 1次下載 | 3 積分
- 7DMP300C1型微機變壓器保護測控裝置技術說明書
- 4.11 MB | 次下載 | 10 積分
- 8用MT3540芯片設計BOOST電路 1(可下載)
- 445.66 KB | 次下載 | 免費
本月
- 1晶體三極管的電流放大作用詳細說明
- 0.77 MB | 32次下載 | 2 積分
- 2Python從入門到精通背記手冊
- 18.77 MB | 27次下載 | 1 積分
- 3雙極型三極管放大電路的三種基本組態的學習課件免費下載
- 4.03 MB | 25次下載 | 1 積分
- 4AIWA HS-J303 MKⅡ維修手冊
- 22.47 MB | 23次下載 | 10 積分
- 5多級放大電路的學習課件免費下載
- 1.81 MB | 21次下載 | 2 積分
- 6九陽豆漿機高清原理圖
- 2.47 MB | 20次下載 | 1 積分
- 7AIWA HS-J202/HS-J202M/HS-J800維修手冊
- 13.60 MB | 15次下載 | 10 積分
- 81875功放原理圖
- 0.04 MB | 11次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935127次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420063次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191382次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183337次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81585次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73814次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
評論