英国赫尔大学(University of Hull)是一个发展个人、社交和学术的综合型研究大学。该校有16000多名学生和大约2500名员工，其中包括1000多名教职员工。在最近一次的全国评估中，计算机科学研究在英国的影响力排名并列第五。专业领域包括计算科学、计算机游戏化、可靠地智能系统、机器人和人工智能、仿真和可视化。

在赫尔大学，计算机科学系以培养能够迅速跨越学术界和职场差距的软件开发研究生而闻名。他们做出了即时而有效的贡献。

高级讲师Warren Viant找到了Parasoft的欧洲销售总监，希望在本科和研究生教学实验室中使用Parasoft的C/C++test。我们的目标是确保学生毕业时能够掌握当今生产软件的公司所使用的软件开发最佳实践。

那是近10年前的事了。赫尔大学至今仍在使用Parasoft C/C++test。C/C++软件开发的测试解决方案提供了单元测试、结构代码覆盖和其他编程测试最佳实践。

在赫尔大学，Parasoft C/C++test使学生能够全面测试他们的C和C ++应用程序与行业标准，如MISRA, AUTOSAR C ++ 14, CERT等。航空航天、汽车、铁路、医疗、工业和许多其他行业使用这些标准定义的编码规则和指示来帮助生成健壮的代码。这意味着安全、可靠和合规的代码。

Warren Viant先生最看重Parasoft C/C ++ test，因为它内置了对他最喜欢的三本书中定义的所有规则的支持:

Effective C++

More Effective C++

C++ Core Guidelines

这些书涵盖了在过去20-30年的软件行业C++软件开发中确定的规则和最佳实践，而Parasoft C/C ++ test支持这些规则和最佳实践。

Parasoft支持的所有规则和指令都是领先的行业标准，是几十年来来自世界各地最重要的软件开发公司、组件供应商、工程咨询公司和学术界的用户体验和最佳实践的积累。

赫尔大学使用Parasoft C/C ++ test的学生包括:

第二年攻读软件开发理学学士学位

那些在工程科学硕士(MSc/孟)项目中追求高级软件工程教育的人。

赫尔大学有三个软件开发主题或教育分支:

机器人技术(最新分支)

标准行业软件开发人员

游戏开发商

Warren Viant先生教授这三个领域的通用课程，并使用Parasoft C/C ++ test作为C++软件开发入门的一部分。

课程中包含Parasoft C/C ++ test的原因之一是静态代码分析给他的学生带来的价值。C/C ++ test静态代码分析工具提供了可定制的规则，并提供了对每个规则的专业解释，以及失败和纠正代码的关键示例。

精心挑选的编码规则集与课程相一致，每个学生在开发期间都使用Parasoft C/C ++ test来完成他们的作业。Parasoft C/C ++ test提供的反馈对学生学习C++很有帮助。他们收到的信息准确地解释了为什么代码写得很糟糕，以及如何纠正它的例子。

从学生的角度来看，Parasoft C/C ++ test为他们的代码提供了自动化的个性化评价——随时随地都可以。如果他们的代码在测试中失败了，他们可以查看关于失败原因的详细解释，以及如何通过单击来修复它。对于教育目的很重要，错误不会自动修复。相反，学生被迫学习每个编码错误存在的原因。它教会他们编程的最佳实践，这样他们在就业时就不会再犯同样的错误。

对于努力创建健壮代码的学生来说，另一个有趣的学习方面是平衡花在提高代码质量和花在添加额外功能上的时间的技能。在一天结束的时候，Warren Viant先生和赫尔大学正在培养专业的软件开发人员，他们意识到时间就是金钱，并有效地利用他们的时间。

赫尔大学的目标是培养出能够作为软件开发人员对工作场所做出有效和直接贡献的毕业生。他越能教育学生代码的正确性，并让他们接触专业的工具集，比如Parasoft C/C++test，对未来的雇主、雇员以及部署在世界各地的庞大产品和软件系统的受益者就越有利。

总之，Warren Viant先生对Parasoft的C/C++test及其静态代码分析能力给予了很高的评价和认真的建议，认为它是一种教育工具。他鼓励世界各地的其他大学采用Parasoft的C/C++test，并将其集成到他们的开发模块中。特别是如果他们以赫尔大学部署的方式使用测试工具。

在COVID 19之前，Warren Viant先生在实验室里教大约200名本科生，实验室分为两个区块，每个区有近100名学生。此外，两名工作人员和几名研究生演示人员在实验室提供帮助。

即使有一个团队，当他们的工作被标记为编码违规时，也不可能向近100名软件开发学生提供大量的个人反馈。与编译器相比，Parasoft C/C++test提供了如何修复编码违规的建议，这尤其有用。这个功能减轻了许多关于代码正确性的常规问题。让Warren Vian先生有时间在课程中更棘手的领域提供指导。

Warren Viant先生感谢Parasoft对学术界和软件行业的慷慨和贡献。Parasoft提供了一个真正的工作工具来教育和培养我们未来的软件开发人员，让他们在这个世界上有所作为。

毕业生可以在所有需要高质量代码的行业就业:游戏、机器人、汽车、航天、国防、医疗、铁路等等。Parasoft C/C++test与我们的课程一起使用，继续帮助赫尔大学计算机科学系保持培养一些最优秀和最聪明的软件开发人员。

从一开始就将质量、可靠性和安全性融入到软件开发过程中。

联系我们获取《静态分析入门》白皮书。