覆蓋率專家winAMS源自日本gaio公司,,gaio公司創(chuàng)始于1980年,公司前期開發(fā)編譯器,,隨后開發(fā)了根據(jù)源代碼剖析和模仿技能的嵌入式軟件測(cè)試工具,。公司還有工程服務(wù)事務(wù),為首要轎車制造商,、大型轎車零部件供貨商供給根據(jù)模型的開發(fā)支撐,、測(cè)試流程構(gòu)建支撐、工具導(dǎo)入及運(yùn)用支撐等事務(wù),。 嵌入式軟件單元測(cè)試工具“覆蓋率專家winAMS”,、“CasePlayer2”具有全球很多客戶。工具針對(duì)實(shí)機(jī)代碼進(jìn)行測(cè)試,,無需對(duì)原代碼改動(dòng),,建立測(cè)試結(jié)構(gòu)。公司取得了轎車功用安全(ISO26262)的東西認(rèn)證,,根本服務(wù)于日本一切轎車制造商及轎車供貨商,。 軟件質(zhì)量是軟件的生命,它直接影響軟件的運(yùn)用與保護(hù)。跟著計(jì)算機(jī)軟件體系越來越廣泛地使用與航空,、航天,、工業(yè)操控、交通等關(guān)系著國計(jì)民生的重要范疇,人們對(duì)計(jì)算機(jī)軟件質(zhì)量的要求也就越來越高。計(jì)算機(jī)軟件質(zhì)量保證己成為現(xiàn)代軟件工程的一項(xiàng)首要任務(wù),。軟件測(cè)試是軟件生計(jì)期中一個(gè)重要階段,,是軟件質(zhì)量保證的關(guān)鍵步驟,。而軟件單元測(cè)試又是軟件測(cè)試過程中進(jìn)行的最早的也是最根底的測(cè)試活動(dòng),,它履行的好壞直接決議了軟件生命周期的長短。 單元測(cè)試軟件測(cè)試往往首要要對(duì)組成軟件的每個(gè)單元進(jìn)行測(cè)試,以承認(rèn)每個(gè)單元能否正常作業(yè),。單元測(cè)試除進(jìn)行功用測(cè)試外,首要測(cè)試單元的單元接口,、部分?jǐn)?shù)據(jù)結(jié)構(gòu)、重要的履行途徑,、毛病處理的途徑等四項(xiàng)特征以及各項(xiàng)特征的邊界條件,。單元測(cè)試一般選用白盒測(cè)試辦法,盡可能發(fā)現(xiàn)單元內(nèi)部的程序過錯(cuò),,其間包含:邏輯覆蓋,、句子覆蓋、斷定覆蓋,、條件覆蓋,、斷定-條件覆蓋、條件組合覆蓋,、途徑覆蓋等內(nèi)容,。 覆蓋率專家winAMS支撐商場主流的芯片,針對(duì)C/C++程序,,實(shí)施以模塊為單位的主動(dòng)化測(cè)試,。C程序以函數(shù)為單位,C++程序以類為單位,。主動(dòng)生成裝函數(shù),,不需要建立專用的測(cè)試環(huán)境,以實(shí)機(jī)代碼為基礎(chǔ),,無需硬件支撐,,憑借靜態(tài)解析工具CasePlayer2,主動(dòng)生成測(cè)試最少的用例表,,運(yùn)轉(zhuǎn)后生成測(cè)試成果,,生成測(cè)試陳述,生成C0,、C1,、MC/DC覆蓋率報(bào)告。 盡管,,從肯定的視點(diǎn)說,,單元測(cè)試很重要,可是,從相對(duì)的視點(diǎn)來講,,小的代碼量,,簡略固定的需求,個(gè)人開發(fā),,一錘子買賣等等都會(huì)讓單元測(cè)試顯得不那么重要,,而且你一向開發(fā)的很舒暢,這便是為什么有的人感觸不到單元測(cè)試的重要性(這種情況下確實(shí)或許不必寫單元測(cè)試),。記住,,單元測(cè)試的威力更多不是體現(xiàn)在新代碼的編寫上,而是對(duì)已有代碼的更改,。 |
|