本文關(guān)鍵詞：自動(dòng)化軟件測試技術(shù)研究，由筆耕文化傳播整理發(fā)布。

首頁 > 專家 > 內(nèi)容

文獻(xiàn)名稱：自動(dòng)化軟件測試技術(shù)研究

    前言：從計(jì)算機(jī)的誕生開始，人們對程序正確性的追求就一直沒有停止過。軟件測試正好可以幫助人們確定和保證軟件產(chǎn)品的質(zhì)量，提高使用者對軟件產(chǎn)品的信心。但是，軟件測試同時(shí)也是一項(xiàng)非常困難和復(fù)雜的工作。無論從測試時(shí)間的花銷和測試資源的耗費(fèi)上都達(dá)到了整個(gè)軟件項(xiàng)目的50％以上。因此，軟件測試一直都是軟件工程中相當(dāng)活躍的研究領(lǐng)域，提高軟件測試的性能和效率，對于軟件工程具有非常重要的價(jià)值。 從上世紀(jì)70年代以來，伴隨著軟件工程的發(fā)展，對系統(tǒng)化的軟件測試技術(shù)和方法的研究也隨之不斷地發(fā)展。軟件測試從最初的靜態(tài)分析，動(dòng)態(tài)調(diào)試等簡單的個(gè)體查錯(cuò)行為逐漸發(fā)展成為形式化、系統(tǒng)化的工程行為。各種形式化的證明與驗(yàn)證技術(shù)用于確保程序的正確性，大量的統(tǒng)計(jì)方法也被應(yīng)用于軟件測試，以評測軟件產(chǎn)品的質(zhì)量和軟件系統(tǒng)的可靠性。隨著軟件系統(tǒng)規(guī)模的日益擴(kuò)大，以及應(yīng)用領(lǐng)域的不斷拓展，對軟件系統(tǒng)的測試也變得更加困難和復(fù)雜，傳統(tǒng)的人工測試的局限性也越來越明顯。軟件測試技術(shù)的研究需要有革新性的發(fā)展。自動(dòng)化軟件測試技術(shù)正是在這樣的背景下受到了密切的關(guān)注，成為近年來軟件測試的重要研究方向。 自動(dòng)化軟件測試技術(shù)可以克服傳統(tǒng)測試技術(shù)的許多問題。自動(dòng)化測試所依...
    We never stop to pursue the accuracy of the software after the first computer present itself. Software testing can help us to make certain and assure the quality of the software product, and enhance the confidence of the customer to use the software. At the same time, testing is a hard and complex work. Both the time and the resource of the testing is 50% of the whole project consuming. Thus, testing research is one of the most active areas in software engineering. To improve the capability and effici...

文獻(xiàn)名稱 自動(dòng)化軟件測試技術(shù)研究

Article Name
英文(英語)翻譯 Study on Automatic Software Testing Techniques and Methods;

作者 金虎; 導(dǎo)師:李志蜀;

Author

作者單位
Author Agencies 四川大學(xué);

文獻(xiàn)出處
Article From 中國科學(xué)院上海冶金研究所; 材料物理與化學(xué)(專業(yè)) 博士論文 2000年度

關(guān)鍵詞 自動(dòng)化軟件測試; 測試用例自動(dòng)生成; 遺傳算法; 啟發(fā)式學(xué)習(xí); 有限狀態(tài)機(jī);

Keywords Automatic Software Testing;Automatic Test Cases Generation;Genetic Algorithm;Heuristic Study;Finite State Machine;

逆轉(zhuǎn)錄病毒介導(dǎo)的RNA干擾技術(shù)的建立及其在抑制乙型肝炎病毒（HBV）基因表達(dá)中的應(yīng)用
連栽桉樹人工林植物多樣性與生態(tài)系統(tǒng)功能關(guān)系的長期實(shí)驗(yàn)研究
脫毛蛋白酶產(chǎn)生菌的選育及其堿性蛋白酶基因的克隆與表達(dá)
結(jié)核分枝桿菌耐藥分子機(jī)制及其快速檢測方法的建立
離子液中銅鹽納米粒子以及鈣鎂離子催化類紫羅蘭酮的烯丙位氧化反應(yīng)研究
選擇性修飾環(huán)糊精及環(huán)糊精衍生物在過氧化草酸酯化學(xué)發(fā)光中的應(yīng)用
黃孢原毛平革菌木質(zhì)素過氧化物酶基因（lipC）轉(zhuǎn)錄調(diào)控因子的研究
聚酰亞胺/二氧化硅雜化材料微相結(jié)構(gòu)的形成、演化及結(jié)構(gòu)與性能關(guān)系的研究
基于知識的計(jì)算機(jī)輔助機(jī)構(gòu)設(shè)計(jì)支持技術(shù)研究
機(jī)器視覺球面孔位快速精密測量系統(tǒng)的研究

  本文關(guān)鍵詞：自動(dòng)化軟件測試技術(shù)研究，由筆耕文化傳播整理發(fā)布。