Parasoft 案例研究（一）-慧都網(wǎng)

原創(chuàng) 金融成功案例：IMA通過靜態(tài)分析節(jié)省了合規(guī)性的時(shí)間和成本

通過與Parasoft的合作，IMA大大提高了他們遵循制藥行業(yè)法規(guī)所采用的嚴(yán)格質(zhì)量流程的效率和可審核性。

# 實(shí)施案例 #

2020-07-23 14:32:52.990

324

原創(chuàng) 網(wǎng)通設(shè)備成功案例：C++test靜態(tài)分析只需數(shù)分鐘為企業(yè)預(yù)防損失的發(fā)生

在軟件開發(fā)中，我們極不情愿將 Bug 呈現(xiàn)到客戶面前，但當(dāng)問題真正產(chǎn)生時(shí)，我們需要去反思為什么如此簡(jiǎn)單的 for 循環(huán)所導(dǎo)致的問題造成這么大影響。對(duì)于文中某跨國網(wǎng)通設(shè)備大廠所出現(xiàn)的 Bug，只需要通過 C++test 一條簡(jiǎn)單代碼規(guī)范，即可防范于未然。

# 實(shí)施案例 #

2020-07-22 10:58:29.833

342

轉(zhuǎn)帖三星成功案例：Parasoft C++test支持編碼規(guī)則有效提高軟件代碼質(zhì)量

編碼規(guī)則幫助您提高代碼質(zhì)量，生成一致代碼，防止易錯(cuò)編碼風(fēng)格。為克服嚴(yán)峻的軟件開發(fā)挑戰(zhàn)并同時(shí)減少開發(fā)成本，軟件工程領(lǐng)域已經(jīng)形成了自己的規(guī)則慣例，如需求工程分析、設(shè)計(jì)技術(shù)、制程開發(fā)，等等。許多規(guī)則慣例都應(yīng)用于開發(fā)的實(shí)際執(zhí)行階段，如編碼規(guī)則、代碼重構(gòu)、代碼檢查、靜態(tài)分析。其中，編碼規(guī)則是基礎(chǔ)，它能夠很好地提高代碼可靠性，幫助不同的開發(fā)人員都生成一致的代碼，并防止易出錯(cuò)編碼方式的出現(xiàn)。三星電子重點(diǎn)著眼于通過定義并強(qiáng)制執(zhí)行內(nèi)部編碼規(guī)則來提高代碼質(zhì)量。

# 實(shí)施案例 #

2020-07-21 14:48:51.083

122

原創(chuàng) 東軟成功案例：用 Parasoft 的 C++ Test 改善軟件開發(fā)過程

東軟軟件股份有限公司（以下稱東軟）是中國國內(nèi)最大的軟件公司之一，是中國國內(nèi)領(lǐng)先的軟件供應(yīng)商。東軟嵌入式業(yè)務(wù)發(fā)展很快，業(yè)務(wù)量增加迅速；如何在快速的發(fā)展中，改善開發(fā)過程、提高開發(fā)效率、保證產(chǎn)品品質(zhì)的問題顯得日益重要。為此Neusoft 分析了原有的開發(fā)過程后認(rèn)為：編碼階段、測(cè)試階段的花費(fèi)時(shí)間很大，并且問題也比較多，改善的潛力比較大。

# 實(shí)施案例 #

2020-07-20 14:05:43.767

331

原創(chuàng) Parasoft為G3提供專注于安全性和整體軟件質(zhì)量的靜態(tài)分析解決方案

當(dāng)G3準(zhǔn)備實(shí)施新解決方案時(shí)，Parasoft靜態(tài)分析由于能夠分析其復(fù)雜的C++代碼而脫穎而出。部署了Parasoft的靜態(tài)分析工具后，G3立即注意到其一些軟件應(yīng)用程序的軟件穩(wěn)定性有所提高。例如，在開發(fā)階段的軟件崩潰次數(shù)大大減少了，這表明Parasoft正在幫助G3消除冗長(zhǎng)的調(diào)試工作。

# 實(shí)施案例 #

2020-06-04 13:55:57.910

345