工信部近期釋出《資訊化發展規劃》（以下稱：《規劃》），《規劃》顯示行業大中型企業資訊化工具普及率超過60%；依照此程序，企業資訊化的深度應用將成為未來規劃趨勢。同時，伴隨資訊化而來的資訊保安、資訊軟體的保障力度成為企業所關注的焦點，分析人士指出，近期政府檔案對資訊保安越來越重視，表明了部分領域仍存在低水平重複建設現象，資訊保安形勢更趨複雜嚴峻。

    據介紹，目前我國企業系統多使用基於。NET為敏捷商務構建互聯互通的應用系統，“漏洞往往出現在開發過程產生的bug，無法重用和擴充套件的程式碼，影響安全、可靠性和效能的記憶體洩露。”Parasoft（倍睿）中國區產品經理戴兵表示，Parasoft（倍睿）是全球領先的自動化軟體錯誤預防工具、服務虛擬化及軟體生命週期管理解決方案提供商。目前Parasoft（倍睿）提供的dotTest?產品適用於符合 Microsoft.NET 框架的程式語言，包括 C#,VB.NET, ASP.NET以及MC++（Managed C++）。Parasoft dotTest?和C++test?能測試任何基於。NET或。NET CF CLR構建的檔案或程式。

    “Parasoft dotTest?和C++test?是針對。NET的自動的靜態分析及自動化單元測試工具，能自動生成測試指令碼，得到包括58%世界500強企業的認可，事實上，Parasoft（倍睿）包括 C++test?、Jtest?、dotTest?等產品均能夠自動測試程式碼的構造（白盒測試）、程式碼功能（黑盒測試）並維護程式碼的完整性（迴歸測試），為企業軟體框架提供高效的保障方案。”戴兵介紹說。

    據悉，靜態分析可以為。NET執行基於模式的規則，dotTest?和C++test?靜態分析特性在於流程分析，可以建立恰當的控制流圖，並對其進行靜態分析，以找到NullReferenceExceptions、資源洩漏、不安全的操作以及其它可能出現的異常狀況。

    業內人士介紹說，使用模式匹配靜態分析工具，能夠識別出可能會導致記憶體洩漏的程式碼。而基於流程分析，Parasoft（倍睿）在BugDetective上使用了多種分析技術，包括模擬應用程式執行路徑，從而識別出可能觸發執行時缺陷的路徑。可以檢測到的缺陷包括使用空引用異常、除零問題以及資源洩漏。“最為傳統的靜態分析就是基於度量的分析了，但在理解程式碼中的狀況，診斷無法再現的問題上，神話娛樂城基於度量則能全域性瞭解程式碼。”戴兵指出，Parasoft dotTest?和C++test?在靜態分析上擁有技術優勢，這同時滿足了不同行業的技術需求，Parasoft dotTest?和C++test?的靜態分析技術特點在綜合醫療裝置行業體現的最為明顯。

    “Inomed的綜合醫療裝置合規性解決方案包括Parasoft公司的C/C++和。NET程式碼分析工具。該平臺使終端到終端的控制滲透到整個開發測試過程中。”Inomed的發展負責人Wipfler說，Inomed是一個國際醫療技術公司。資料顯示，Inomed與Parasoft（倍睿）的合作起源於需要快速建立屬於符合IEC62304自動化編碼標準的流程，並通過引入Parasoft dotTest?開發及測試平臺對其全面的需求，進行可追溯化的快速實施，在美國FDA，符合IEC62304標準可作為證據來滿足醫療裝置軟體的可接受的標準。

    Wipfler介紹說：“選擇Parasoft的理由在於Parasoft對要求和需求的深刻理解。Parasoft dotTest?充分整合Inomed的現有資產，並提供了專業的解決方案。”

    業內人士表示，傳統的測試方法，比如單元測試和應用程式級的測試，因為很難重現發生異常的條件，通常找不到這樣的缺陷。Parasoft dotTest?和C++test?擁有能夠模擬程式碼中的大量執行路徑的自動化靜態分析工具，能夠找到可能存在的缺陷。

    某國內醫療機構資訊部門負責人表示，不同於歐美等國成熟的醫療資訊處理技術，中國醫療領域資訊化道路還在摸索階段。“Parasoft在國內外醫療軟體安全上已達一定的技術高度，隨著醫療機構的資訊化程度進一步加深，Parasoft將為國內醫療機構的合作伙伴提供更高效的軟體測試服務。” Parasoft中國區產品經理戴兵表示。