最近Parasoft做過一個(gè)關(guān)于測(cè)試工具尤其是靜態(tài)分析技術(shù)的調(diào)查報(bào)告，收集大家對(duì)于測(cè)試工具的使用印象和技術(shù)總結(jié)。其中有一個(gè)經(jīng)驗(yàn)豐富的資深軟件工程師Brian，他在靜態(tài)分析工具上頗有經(jīng)驗(yàn)，但他反饋的結(jié)果是這些工具報(bào)告的很多問題總是類似“編譯器警告”，并非絕對(duì)的潛在漏洞(bug)或軟件缺陷。深入溝通交流后發(fā)現(xiàn)，他的這些印象最主要的原因是因?yàn)樗捎玫臏y(cè)試工具大部分是免費(fèi)軟件，而且所接受的相關(guān)培訓(xùn)很多時(shí)候僅限于網(wǎng)絡(luò)論壇，這樣帶來的結(jié)果必然是測(cè)試工具并不能實(shí)際解決問題，反而用于學(xué)習(xí)工具的時(shí)間超過了實(shí)際解決問題的時(shí)間，這有些本末倒置了。

所以，測(cè)試工具的要求（尤其是靜態(tài)分析技術(shù)）除了通常大家所知的自動(dòng)化屬性，其實(shí)還需要更多考量測(cè)試報(bào)告結(jié)果的度量性和有效性，以用戶角度去幫助客戶快速應(yīng)用先進(jìn)測(cè)試技術(shù)并解決代碼問題。眾所周知，嵌入式行業(yè)的軟件復(fù)雜性高，設(shè)計(jì)的平臺(tái)豐富，各種不同的芯片和架構(gòu)，紛繁的編譯器種類等等。這必然要求一個(gè)成熟的開發(fā)測(cè)試平臺(tái)體系，以及專業(yè)的技術(shù)支持服務(wù)，尤其是對(duì)于嵌入式行業(yè)。

靜態(tài)分析結(jié)果的有效性

各大嵌入式行業(yè)如醫(yī)療、汽車、鐵路、航空航天等的軟件開發(fā)者每天都可能會(huì)遇到校驗(yàn)軟件問題(bug)的有效性挑戰(zhàn)，接受從客戶、技術(shù)支持團(tuán)隊(duì)及質(zhì)量測(cè)試部門的反饋結(jié)果并及時(shí)調(diào)查給予響應(yīng)。對(duì)于開發(fā)人員來說，有時(shí)候昨天已經(jīng)做過的修復(fù)工作都有可能產(chǎn)生新的軟件問題從而加大工作任務(wù)。

所以軟件問題的結(jié)果驗(yàn)證是一個(gè)值得非常關(guān)注的問題，需要能夠有效并快速地區(qū)分各種性質(zhì)的問題，對(duì)不同的問題進(jìn)行自動(dòng)優(yōu)先級(jí)排序，將重心放在有價(jià)值的問題上，快速高效地推進(jìn)問題的解決。如果這只是一個(gè)低等級(jí)的警告問題,它不是一個(gè)錯(cuò)誤或潛在bug，并不值得浪費(fèi)太多時(shí)間或優(yōu)先處理。

目前的情況是,許多開發(fā)測(cè)試工具無法用一個(gè)簡(jiǎn)潔方便的方式幫助用戶定位真正有價(jià)值的問題。所以，這里對(duì)于一個(gè)成熟的靜態(tài)分析測(cè)試工具基本提出了以下關(guān)鍵技術(shù)屬性需求點(diǎn)：

• 完備的代碼規(guī)則標(biāo)準(zhǔn)支持；
• 自動(dòng)化代碼測(cè)試掃描技術(shù)；
• 分級(jí)區(qū)別明顯的問題報(bào)告；
• 問題-風(fēng)險(xiǎn)-嚴(yán)重性的關(guān)聯(lián)價(jià)值報(bào)表。

Parasoft靜態(tài)分析技術(shù)方案

針對(duì)Java、C/C++、.Net等主流語言的軟件產(chǎn)品開發(fā)， Parasoft公司提供了一個(gè)企業(yè)級(jí)的開發(fā)測(cè)試解決方案。除了全方位的靜態(tài)代碼分析能力如模式匹配分析、數(shù)據(jù)流分析和度量分析等，該開發(fā)測(cè)試平臺(tái)還具備良好的擴(kuò)展性，包括了單元測(cè)試，集成測(cè)試，運(yùn)行時(shí)錯(cuò)誤檢測(cè)，代碼審查，覆蓋率分析等功能，可以自動(dòng)化生成測(cè)試用例，執(zhí)行單元測(cè)試的同時(shí)提供多種視角的覆蓋率分析，提供圖形化報(bào)表系統(tǒng)，是一個(gè)完善的方案級(jí)平臺(tái)，全方位落實(shí)自動(dòng)化缺陷預(yù)防政策，保障客戶產(chǎn)品質(zhì)量的同時(shí)提高軟件產(chǎn)品交付速度。

相關(guān)Parasoft客戶案例場(chǎng)景

很多免費(fèi)測(cè)試工具或不成熟的測(cè)試產(chǎn)品有時(shí)會(huì)報(bào)告超過20000個(gè)任務(wù)給到具體的一個(gè)開發(fā)人員，這其實(shí)是缺乏一定的測(cè)試規(guī)控，沒有人能夠一天處理這么多的事情。一個(gè)成熟的開發(fā)測(cè)試策略將根據(jù)任務(wù)的嚴(yán)重性和風(fēng)險(xiǎn)劃分優(yōu)先等級(jí)。此外,它將根據(jù)整個(gè)團(tuán)隊(duì)的工作負(fù)載進(jìn)行工作分配并利用個(gè)人優(yōu)勢(shì)區(qū)別劃分測(cè)試任務(wù)。

Parasoft某醫(yī)療行業(yè)軟件客戶：“當(dāng)我和我的新朋友確定,他認(rèn)為每天修復(fù)5個(gè)靜態(tài)分析的違反規(guī)則是沒有問題的。如果他有一個(gè)十人的團(tuán)隊(duì),每個(gè)人每天修復(fù)5個(gè)靜態(tài)分析違反規(guī)則,然后他需要大約400天才能看到優(yōu)美的代碼。”

讓我們?cè)龠M(jìn)一步。不是所有的靜態(tài)分析行為都是平等的。如果我們將最高等級(jí)的風(fēng)險(xiǎn)、最嚴(yán)峻的問題提前嘗試解決，那么軟件的質(zhì)量、安全性、可靠性將被在1-2個(gè)月內(nèi)梳理的非常合理。而每個(gè)問題都僅需要分配幾乎忽略不計(jì)的5分鐘，這將比之前很多所經(jīng)歷的發(fā)布周期耗時(shí)更短更高效。

更棒的是,一個(gè)成熟的開發(fā)測(cè)試平臺(tái)將自動(dòng)管理靜態(tài)分析任務(wù)的優(yōu)先級(jí)和分配給不同的負(fù)責(zé)人。作為管理者,在一開始就設(shè)置一些團(tuán)隊(duì)測(cè)試政策,這些政策將確保團(tuán)隊(duì)里的每一個(gè)成員每天都得到適量的最高優(yōu)先級(jí)的任務(wù)，從而實(shí)現(xiàn)快速高效的團(tuán)隊(duì)工作流程。

本文來自（）

Parasoft聯(lián)名十大商家共啟正版行動(dòng)，超低折扣等你來拿！

【年終促銷第二波火熱進(jìn)行中，豪禮升級(jí)，折扣更低，更有秒殺、抽獎(jiǎng)活動(dòng)等你來戰(zhàn)！】

活動(dòng)時(shí)間：11月1日-11月30日