原創|行業資訊|編輯:龔雪|2016-02-29 11:47:02.000|閱讀 513 次
概述:Parasoft是一家致力于提供軟件測試解決方案的公司,幫助企業打造無缺陷的軟件。解決方案幾乎涵蓋了軟件開發周期從開始到結束的所有階段,包括:持續測試解決方案、開發測試解決方案、應用安全解決方案和嵌入式開發測試解決方案。Parasoft針對C/C++、Java、.NET和嵌入式的開發測試有著十幾年的深入研究,許多全國500強企業使用Parasoft的產品實現了軟件快速、高質量的交付。
# 界面/圖表報表/文檔/IDE等千款熱門軟控件火熱銷售中 >>
相關鏈接:
如您需要制定測試解決方案或有相關需求,歡迎與!
軟件代碼安全性(software coding safety)是指軟件在系統中運行而不會在系統工作中造成不可接受的風險的能力,如人身傷亡、設備損壞、財產重大損失、嚴重污染環境、重要信息泄露等。
軟件本身不會造成危險,但當軟件用于過程監控、實時控制、武器、航天、醫療、核反映等方面時,軟件的錯誤能夠通過硬、軟件接口使硬件發生故障,從而造成嚴重事故。這類軟件稱為“安全性關鍵軟件”。為解決這類問題而采用的一系列方法技術稱為軟件安全性技術。
軟件沒有硬件所具有的物理和化學屬性,因此它對人類和社會沒有直接威脅,不會造成直接的損害。但是當軟件用于過程監測和實時控制時,如果軟件中存在錯誤,則這些錯誤有可能通過硬、軟件的接口使硬件發生誤動或失效,造成嚴重的安全事故。
由于許多隱蔽性強的或非多發性的錯誤很難被設計人員和測試人員察覺,僅僅依靠設計技術的改進仍然不足以解決安全性問題,這就需要一套嚴格的安全性分析程序和安全性分析方法,以預防安全事故發生或在發生事故時減少危害程度。
從技術角度分析,在軟件研發過程中,各個階段都會有各個階段所獨有的安全隱患存在。在互聯網高度發達的今天,我們會遇到的軟件威脅層出不窮,并不僅僅是一種問題可能導致你的安全性降低甚至對你帶來威脅。Parasoft 經過數年在安全防御上的經驗累計,總共概括了以下這些軟件安全威脅:
針對于這些威脅,傳統的預防手段已經出現了明顯的弊端,導致大量的不可預見性災難發生。其中包括:美國水手號火箭因軟件程序中的航道定位算法出現錯誤,導致火箭爆炸,使得整個金星計劃擱淺至今;美國哈特福德體育場因承重軟件出現問題,導致大雪壓塌,致使傷亡人數達到700人之多;豐田召回1100萬輛汽車,原因為嵌入式軟件出現了明顯問題,等等。針對于這樣嚴峻的現狀,Parasoft 根據多年在軟件行業的經驗,結合各行業實際需求,推出了一系列強有力的安全手段,其中包括:
|
|
簡易、快速、高效的 Parasoft代碼評審流程
Parasoft 自動化代碼審查流程幫助您將復雜費時的團隊代碼審查,切分為小塊時間,讓您在喝水時就能完成代碼審查工作。
開發人員編寫代碼 —> 實時一鍵提交審核 —> 審查者快速獲得修改差分 —> 審查者給出審查意見 —> 審查意見被送還到開發人員IDE —> 開發人員按審查意見進行修改或提交
精準、全面、無漏洞的 Parasoft 靜態代碼分析
便捷、高效、智能化的 Parasoft 單元測試異常處理
Parasoft 通過獨有的技術,實現單元測試自動化。它幫助你快速的生成包括:測試套件、測試驅動、測試用例、測試樁、符號表等等一系列資源。大大的節約人工和時間成本。從技術角度,Parasoft 測試用例自動生成技術,可以幫助你生成大約30%-50%的測試用例代碼,并且全部以 XUnit 格式開發給使用者。
除了大量的人工和時間成本你的節約,自動生成技術更大的意義在于,幫助經驗不足的開發人員在單元測試上開拓出一條能夠快速執行并最終順利完成單元測試的道路,這樣的研發方向感,對于一名研發人員是需要大量的經驗和實踐進行累計的,而Parasoft 能夠快速幫助研發人員達成。
高效、真實、無遺漏的 Parasoft 運行時風險監測
運用 Parasoft 獨到的插樁技術,幫助客戶在系統或軟件在真實環境中運行時進行實時監控,快速分析軟件運行時出現的資源問題。
結合傳統的黑盒測試同時進行,使用者能夠快速定位并修改在黑盒測試階段發現的問題,省去了大量對于問題追溯的時間和精力,同時對于修改代碼造成的影響也能夠快速應答,避免出現牽一發而動全身的尷尬狀態。
低噪聲,無腳本,上手快速的Parasoft 程序業務堅固性測試
針對業務系統層面的協議、接口、功能、性能等多項指標的驗證,Parasoft SOAtest 提供前所未有的強大解決方案,無需任何復雜的腳本,通過簡易的系統場景搭建,業務流程測試就能夠順利開展。
同時,對于功能和性能場景之間的場景復用做到了無縫對接,不需要額外進行復雜的配置,解放測試人員對腳本的依賴。這些場景可以在團隊內任意的復用與配置。
Parasoft 給與客戶提供無限量的虛擬用戶數量來完成大規模的壓力測試。當硬件環境資源不足時,肉雞奴役機制也可以順利解決計算資源問題。
客觀清晰、有目的性、種類全面的Parasoft 測試覆蓋分析
對于測試結果的分析常規的人工手段是肯定無法滿足的,Parasoft 自動化測試工具所提供的覆蓋率能夠非??捎^的反應測試成果和狀態。
在Parasoft 方案中,為項目決策人員提供了數值型百分比的覆蓋率,表明整個項目或某個模塊功能點的測試覆蓋情況。為項目執行人員提供了圖形化顯示的覆蓋率,詳細到每行代碼的測試覆蓋狀態都能夠清晰可見。
針對不同語言,Parasoft 提供各種不同的覆蓋率,包括行覆蓋、語句覆蓋、塊覆蓋、條件覆蓋、判定覆蓋、分支覆蓋、MC/DC覆蓋等不同覆蓋率數值統計方式。
多樣化、高集成、時效性強的Parasoft 安全漏洞攻擊
Parasoft 滲透測試方案提供了多樣化高集成性的黑客攻擊手段模擬,通過模擬攻擊程序的方式檢測應用在承受黑客攻擊常規手段時的反應。保障在真實運行環境中不會出現明顯的黑客攻擊漏洞。
使用者可以通過簡單的內建腳本調取,完成黑客攻擊手段的模擬,同時結合壓力或性能測試,模擬復數黑客用戶使用復數黑客手段進行程序攻擊,測試應用程序在如此嚴苛的環境下是否依然能夠抵御攻擊。
本站文章除注明轉載外,均為本站原創或翻譯。歡迎任何形式的轉載,但請務必注明出處、不得修改原文相關鏈接,如果存在內容上的異議請郵件反饋至chenjj@fc6vip.cn