C程序分析與測試輔助技術研究.pdf

1、軟件測試是為了發(fā)現(xiàn)錯誤而執(zhí)行程序的過程,是保證軟件質(zhì)量的重要手段,是軟件生命周期的重要階段.軟件測試已經(jīng)越來越引起軟件用戶及開發(fā)人員的關注.據(jù)統(tǒng)計,目前在軟件開發(fā)總成本中,用在測試上的開銷要占30％~50％.測試本身是一項十分繁重的工作,純粹手工測試已無法滿足大規(guī)模軟件的需求,越來越多的測試工作需要測試工具的支持.在已有的測試工具中,源代碼測試工具有著重要的應用.而C語言作為一種表達能力強、目標代碼效率高、可移植性好的語言,在軟件開發(fā)中

2、得到普遍使用.該文提出了一整套源代碼自動分析測試的解決方案,討論了一種基于程序插裝的動態(tài)測試框架,分析了C程序流圖的構造方法,并在此基礎上給出了程序插裝分析算法,最后描述了嵌入式軟件測試支撐系統(tǒng)ETS其中單元測試子系統(tǒng)的ESUT KIT的具體實現(xiàn).ESUT KIT主要由測試覆蓋率分析、時間性能瓶頸分析和內(nèi)存使用分析三個工具組成.測試覆蓋率分析是一種結構測試技術,對評估測試的充分性、確定何時停止測試具有很大幫助.時間性能是一項常用的重要性

3、能指標,它可以用來跟蹤特定程序段的實際運行情況,是實時檢測的有效手段.為提高軟件的時間性能,往往需要找出軟件中運行時間較長的程序段,即軟件的時間性能瓶頸.在C語言中,引入了使用極為靈活的指針機制,它給程序帶來了很大便利,但同時也制造了許多的麻煩.由于指針使用不當而引起的錯誤通常很難發(fā)現(xiàn),定位錯誤也很困難,這時需要專門的工具來檢測內(nèi)存使用錯誤并給予準確定位.利用ESUT KIT子系統(tǒng),軟件開發(fā)人員和測試人員可以了解在源代碼級別上的軟件的質(zhì)