資料介紹
在過去的幾十年里, 由軟件問題導致系統失效的災難時有發生,給人類的生命、財產和環境造成了重大損失。例如,上世紀 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的結構特點及研究進展 0次下載
- 農業機械自動導航技術研究進展 35次下載
- 眾包軟件測試技術研究進展 0次下載
- 共振式無線電能傳輸技術的研究進展與應用綜述 6次下載
- 電動汽車無線充電技術的研究進展_高大威 18次下載
- 量子點敏化太陽能電池研究進展-劉銘 6次下載
- 物聯網隱私保護研究進展 0次下載
- 腦電信號偽跡去除的研究進展_杜曉燕 0次下載
- 移動互聯網QoS機制的研究進展述評 12次下載
- CMOS_Gilbert混頻器的設計及研究進展 14次下載
- 性能驅動總體布線的關鍵技術及研究進展 0次下載
- 中藥提取技術的研究進展
- 聲頻定向揚聲器的研究進展
- 電壓源換流器高壓直流輸電技術最新研究進展
- 中紅外帶間級聯激光器的研究進展 439次閱讀
- 基于二維材料的氣體傳感器研究進展 513次閱讀
- 偏振三維成像技術的原理和研究進展 936次閱讀
- 先進封裝中硅通孔(TSV)銅互連電鍍研究進展 819次閱讀
- 量子計算關鍵技術研究進展 1347次閱讀
- 先進封裝中凸點技術的研究進展 2265次閱讀
- 先進封裝中銅-銅低溫鍵合技術研究進展 2307次閱讀
- GaN HEMT外延材料表征技術研究進展 1328次閱讀
- 高導熱聚酰亞胺電介質薄膜研究進展 1907次閱讀
- 鋰離子電池預鋰化技術的研究進展 1.2w次閱讀
- 射頻技術的研究進展分析和射頻核心技術的原理及研究與工程實踐 8323次閱讀
- 反映當今電子學深度和廣度的8項突破性研究 3438次閱讀
- 3D打印技術概況與3D打印外科植入物的現狀與進展 6499次閱讀
- 測試軟件及測試終端差異性研究分析 7044次閱讀
- 基于MEMS技術的微波濾波器研究進展 8252次閱讀
下載排行
本周
- 1TC358743XBG評估板參考手冊
- 1.36 MB | 330次下載 | 免費
- 2開關電源基礎知識
- 5.73 MB | 11次下載 | 免費
- 3嵌入式linux-聊天程序設計
- 0.60 MB | 3次下載 | 免費
- 4DIY動手組裝LED電子顯示屏
- 0.98 MB | 3次下載 | 免費
- 5基于FPGA的C8051F單片機開發板設計
- 0.70 MB | 2次下載 | 免費
- 651單片機窗簾控制器仿真程序
- 1.93 MB | 2次下載 | 免費
- 751單片機大棚環境控制器仿真程序
- 1.10 MB | 2次下載 | 免費
- 8基于51單片機的RGB調色燈程序仿真
- 0.86 MB | 2次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 2555集成電路應用800例(新編版)
- 0.00 MB | 33566次下載 | 免費
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費
- 4開關電源設計實例指南
- 未知 | 21549次下載 | 免費
- 5電氣工程師手冊免費下載(新編第二版pdf電子書)
- 0.00 MB | 15349次下載 | 免費
- 6數字電路基礎pdf(下載)
- 未知 | 13750次下載 | 免費
- 7電子制作實例集錦 下載
- 未知 | 8113次下載 | 免費
- 8《LED驅動電路設計》 溫德爾著
- 0.00 MB | 6656次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537798次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420027次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191186次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183279次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138040次下載 | 免費
評論
查看更多