英國赫爾大學(xué)(University of Hull)是一個(gè)發(fā)展個(gè)人、社交和學(xué)術(shù)的綜合研究型大學(xué)。在最近一次的全國評(píng)估中，計(jì)算機(jī)科學(xué)研究在英國的影響力排名并列第五。專業(yè)領(lǐng)域包括計(jì)算科學(xué)、計(jì)算機(jī)游戲化、可靠地智能系統(tǒng)、機(jī)器人和人工智能、仿真和可視化。

>>點(diǎn)擊獲取Parasoft C/C++test試用

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

高級(jí)講師Warren Viant聯(lián)系了Parasoft的歐洲銷售總監(jiān)，旨在將Parasoft C/C++test引入本科和研究生教學(xué)實(shí)驗(yàn)室，以確保學(xué)生掌握現(xiàn)代軟件企業(yè)所需的開發(fā)最佳實(shí)踐。

近十年后，赫爾大學(xué)持續(xù)使用該工具進(jìn)行單元測(cè)試、代碼覆蓋率分析等編程實(shí)踐。Parasoft C/C++test使學(xué)生能夠依據(jù)MISRA、AUTOSAR C++14、CERT等行業(yè)標(biāo)準(zhǔn)全面測(cè)試C/C++應(yīng)用，這些在航空航天、汽車、醫(yī)療等關(guān)鍵領(lǐng)域廣泛采用的標(biāo)準(zhǔn)，幫助學(xué)生構(gòu)建安全、可靠且健壯的代碼能力。

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

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

這些書涵蓋了在過去20-30年的軟件行業(yè)C++軟件開發(fā)中確定的規(guī)則和最佳實(shí)踐，而Parasoft C/C ++ test支持這些規(guī)則和最佳實(shí)踐。

Parasoft支持的所有規(guī)則和指令都是領(lǐng)先的行業(yè)標(biāo)準(zhǔn)，是幾十年來來自世界各地最重要的軟件開發(fā)公司、組件供應(yīng)商、工程咨詢公司和學(xué)術(shù)界的用戶體驗(yàn)和最佳實(shí)踐的積累。

應(yīng)用場(chǎng)景

赫爾大學(xué)使用Parasoft C/C ++ test的學(xué)生包括:

• 第二年攻讀軟件開發(fā)理學(xué)學(xué)士學(xué)位。
• 在工程科學(xué)碩士(MSc/孟)項(xiàng)目中追求高級(jí)軟件工程教育的人。

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

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

Warren Viant先生教授這三個(gè)領(lǐng)域的通用課程，并使用Parasoft C/C ++ test作為C++軟件開發(fā)入門的一部分。

靜態(tài)代碼分析的價(jià)值

赫爾大學(xué)將Parasoft C/C++test納入課程，充分發(fā)揮其靜態(tài)代碼分析功能的教學(xué)價(jià)值。教學(xué)中采用的編碼規(guī)則集經(jīng)過精心設(shè)計(jì)，與課程目標(biāo)高度契合，要求學(xué)生在完成作業(yè)過程中持續(xù)運(yùn)行分析。該工具不僅精準(zhǔn)定位代碼問題，更提供包含錯(cuò)誤成因與修正建議的詳細(xì)反饋，為學(xué)生構(gòu)建了隨時(shí)可用的自動(dòng)化學(xué)習(xí)支持體系。通過引導(dǎo)學(xué)生深入理解每一處編碼疏漏背后的原理而非直接修復(fù)錯(cuò)誤，該工具有效培養(yǎng)了學(xué)生自主發(fā)現(xiàn)問題、解決問題的核心能力，為其未來編寫高質(zhì)量代碼奠定了堅(jiān)實(shí)基礎(chǔ)。

專業(yè)開發(fā)

赫爾大學(xué)致力于培養(yǎng)契合職場(chǎng)需求的軟件人才，其教學(xué)目標(biāo)不僅在于技術(shù)傳授，更引導(dǎo)學(xué)生掌握在代碼質(zhì)量與功能實(shí)現(xiàn)間高效平衡時(shí)間資源的專業(yè)技能。通過引入Parasoft C/C++test等工業(yè)級(jí)工具，學(xué)生在校期間即可建立“時(shí)間即成本”的開發(fā)意識(shí)，為進(jìn)入游戲、機(jī)器人、汽車、醫(yī)療等高質(zhì)量代碼要求行業(yè)做好充分準(zhǔn)備。

Warren Viant先生高度評(píng)價(jià)并肯定Parasoft C/C++test的靜態(tài)分析能力及其教育價(jià)值。他建議全球高校參考赫爾大學(xué)的實(shí)踐，將Parasoft C/C++test納入課程，系統(tǒng)化提升學(xué)生對(duì)代碼正確性的認(rèn)知，培養(yǎng)更符合未來雇主與高質(zhì)量軟件系統(tǒng)要求的開發(fā)人員。

Parasoft C/C++test面臨的挑戰(zhàn)

在COVID-19之前，Warren Viant先生需在實(shí)驗(yàn)室中指導(dǎo)近200名本科生，盡管有教學(xué)團(tuán)隊(duì)協(xié)助，仍難以對(duì)大量學(xué)生的編碼違規(guī)問題逐一反饋。Parasoft C/C++test通過提供具體修復(fù)建議，而不僅是指出錯(cuò)誤，有效解決了常規(guī)代碼正確性質(zhì)疑，使教師能將精力集中于更具挑戰(zhàn)性的教學(xué)環(huán)節(jié)。

結(jié)果

Parasoft通過提供業(yè)界級(jí)的專業(yè)工具，有力支持了赫爾大學(xué)計(jì)算機(jī)科學(xué)系對(duì)未來軟件開發(fā)人員的培養(yǎng)。該校畢業(yè)生憑借所掌握的高質(zhì)量代碼實(shí)踐能力，能夠在游戲、機(jī)器人、汽車、航天、國防、醫(yī)療、鐵路等多個(gè)對(duì)代碼質(zhì)量有嚴(yán)苛要求的行業(yè)順利就業(yè)。Parasoft C/C++test與課程體系的深度結(jié)合，持續(xù)助力該系保持其在高素質(zhì)軟件人才培養(yǎng)方面的領(lǐng)先地位。

關(guān)于慧都

慧都是一家行業(yè)數(shù)字化解決方案公司，專注于軟件、石油與工業(yè)領(lǐng)域，以深入的業(yè)務(wù)理解和行業(yè)經(jīng)驗(yàn)，幫助企業(yè)實(shí)現(xiàn)智能化轉(zhuǎn)型與持續(xù)競(jìng)爭(zhēng)優(yōu)勢(shì)。在軟件工程領(lǐng)域，我們提供開發(fā)控件、研發(fā)管理、代碼開發(fā)、部署運(yùn)維等軟件開發(fā)全鏈路所需的產(chǎn)品，提供正版授權(quán)采購、技術(shù)選型、個(gè)性化維保等服務(wù)，幫助客戶實(shí)現(xiàn)技術(shù)合規(guī)、降本增效與風(fēng)險(xiǎn)可控。

慧都科技作為Parasoft公司在中國區(qū)的官方授權(quán)合作伙伴，為國內(nèi)企業(yè)提供Parasoft C/C++test產(chǎn)品的正版授權(quán)、定制化部署與全生命周期技術(shù)支持與服務(wù)。我們致力于助力客戶精準(zhǔn)貫徹功能安全標(biāo)準(zhǔn)、全面提升軟件開發(fā)效率、有效管控項(xiàng)目風(fēng)險(xiǎn)，最終構(gòu)建符合國際標(biāo)準(zhǔn)的高質(zhì)量軟件體系。