英國(guó)的赫爾大學(xué)是一個(gè)可以在個(gè)人，社會(huì)和學(xué)術(shù)上發(fā)展自己的地方。 該大學(xué)擁有16,000多名學(xué)生，大約2,500名員工，其中包括1,000多名學(xué)術(shù)人員。 在上一次國(guó)家評(píng)估中，計(jì)算機(jī)科學(xué)研究的影響力在英國(guó)排名第五。專業(yè)領(lǐng)域包括計(jì)算科學(xué)，計(jì)算機(jī)游戲化，可靠的智能系統(tǒng)，機(jī)器人技術(shù)和AI以及仿真和可視化。在赫爾大學(xué)，計(jì)算機(jī)科學(xué)系因培養(yǎng)能夠迅速跨越學(xué)術(shù)界和工作場(chǎng)所之間的鴻溝而聞名的軟件開發(fā)人員而聞名。 他們做出了立即有效的貢獻(xiàn)，這絕非偶然。

戰(zhàn)略與目標(biāo)

高級(jí)講師Warren Viant向Parasoft的歐洲銷售總監(jiān)咨詢了有關(guān)在本科和研究生教學(xué)實(shí)驗(yàn)室中使用Parasoft C / C ++ test的問題。目的是確保學(xué)生畢業(yè)于生產(chǎn)當(dāng)今軟件的公司所使用的軟件開發(fā)最佳實(shí)踐。那已經(jīng)是近十年前的事兒了。但是赫爾大學(xué)今天仍然在使用Parasoft C / C ++ test。 C / C ++軟件開發(fā)的測(cè)試解決方案提供了單元測(cè)試，結(jié)構(gòu)代碼覆蓋率和其他測(cè)試實(shí)踐。

在赫爾大學(xué)，Parasoft C / C ++ test使學(xué)生能夠使用行業(yè)標(biāo)準(zhǔn)（例如MISRA，AUTOSAR，C ++ 14，CERT等）全面測(cè)試其C和C ++應(yīng)用程序。航空航天，汽車，鐵路，醫(yī)療，工業(yè)和許多其他行業(yè)使用這些標(biāo)準(zhǔn)定義的編碼規(guī)則和指令來(lái)幫助生成可靠的代碼。

Warren Viant先生個(gè)人最看重Parasoft C / C ++ test，因?yàn)樗鼉?nèi)置了對(duì)他三本最喜歡的書中定義的所有規(guī)則的支持：

• Effective C++
• More Effective C++
• C++ Core Guidelines

這些書涵蓋了在過去20到30年的C ++軟件開發(fā)中軟件行業(yè)確定的規(guī)則和最佳實(shí)踐，Parasoft C / C ++ test支持。Parasoft支持的所有規(guī)則和指令都是領(lǐng)先的行業(yè)標(biāo)準(zhǔn)，這些標(biāo)準(zhǔn)是幾十年來(lái)來(lái)自世界各地最重要的軟件開發(fā)公司，組件供應(yīng)商，工程顧問和學(xué)術(shù)界的用戶體驗(yàn)和最佳實(shí)踐的累積。

方法

在赫爾大學(xué)有三個(gè)軟件開發(fā)主題或教育分支：

• 機(jī)器人技術(shù)（最新分支）
• 標(biāo)準(zhǔn)行業(yè)軟件開發(fā)人員
• 游戲開發(fā)商

Warren Viant先生在這三個(gè)領(lǐng)域中教授普通課程，并使用Parasoft C / C ++ test作為C ++軟件開發(fā)簡(jiǎn)介的一部分。課程包含Parasoft C / C ++ test的原因之一是靜態(tài)代碼分析為學(xué)生帶來(lái)的價(jià)值。C / C ++ test靜態(tài)代碼分析工具提供可自定義的規(guī)則，以及每條規(guī)則的專業(yè)書面解釋以及失敗和糾正的代碼的重要示例。

精心挑選的編碼規(guī)則集與課程設(shè)置保持一致，每個(gè)學(xué)生在整個(gè)開發(fā)期間都使用Parasoft C / C ++ test來(lái)完成作業(yè)。Parasoft C / C ++ test提供的反饋對(duì)于學(xué)習(xí)C ++的學(xué)生很有幫助。 他們收到的信息準(zhǔn)確地解釋了為什么代碼編寫得不好以及如何更正代碼的示例。

從學(xué)生的角度來(lái)看，Parasoft C / C ++ test可根據(jù)他們的需要和時(shí)間，對(duì)其代碼進(jìn)行自動(dòng)的個(gè)性化批判。如果他們的代碼未通過測(cè)試，則可以單擊一下以查看其失敗原因以及如何修復(fù)的詳細(xì)說明。

赫爾大學(xué)的目標(biāo)是培養(yǎng)能夠作為軟件開發(fā)人員對(duì)工作場(chǎng)所做出有效而直接的貢獻(xiàn)的畢業(yè)生。他越能對(duì)學(xué)生進(jìn)行代碼正確性的教育，并將他們暴露于專業(yè)的工具集（如Parasoft C / C ++ test），則對(duì)未來(lái)的雇主，雇員以及在全球部署的大量產(chǎn)品和軟件系統(tǒng)的受益者來(lái)說就越好 。

總體而言，沃倫·維安特先生（Warren Viant）高度評(píng)價(jià)并強(qiáng)烈建議使用Parasoft C / C ++ test及其靜態(tài)代碼分析功能作為教育工具。他鼓勵(lì)世界各地的其他大學(xué)采用Parasoft C / C ++ test，并將其集成到他們的開發(fā)模塊中。

結(jié)果

Warren Viant先生感謝Parasoft的慷慨捐助以及對(duì)學(xué)術(shù)界和軟件行業(yè)的貢獻(xiàn)。他們提供了一個(gè)真正的工作場(chǎng)所工具，以教育和準(zhǔn)備我們未來(lái)的軟件開發(fā)人員以在世界上有所作為。畢業(yè)生可以在所有需要高質(zhì)量代碼的行業(yè)中找到工作機(jī)會(huì)：游戲，機(jī)器人，汽車，航空航天，國(guó)防，醫(yī)療，鐵路等。 結(jié)合使用Parasoft C / C ++ test和赫爾大學(xué)的課程，繼續(xù)幫助赫爾大學(xué)計(jì)算機(jī)科學(xué)系獲得了一些最優(yōu)秀，最聰明的軟件開發(fā)人員的聲譽(yù)。