彩票走势图

在2020年推出Parasoft C/C++test的第一个版本：2020.1！您可能会注意到版本控制架构看起来有所不同。过去，所有Parasoft工具都使用递增编号进行版本控制。从今年开始，所有版本的版本都将包括年份以及该年份的发行数量。

在过去的几个月中，我们的团队花了时间分析如何增强C/C++测试以最适合不断发展的环境。我们创建了新功能并增强了现有核心功能。C/C++ 2020.1带来了一系列令人兴奋的新功能。

支持不断发展的开发环境

开发环境的发展正在加速。经常基于AI的新的，先进的系统需要大量的源代码，而这些源代码无法使用与过去相同的工具，方法和工作流进行开发。借助C/C++test 2020.1，我们旨在适应这些演进的步伐，并提供了一系列可以做到这一点的产品。

用于静态分析的Visual Studio代码扩展

开发团队中有一种趋势，是从繁重的IDE转向轻量级和可扩展的编辑器。部分原因是对于传统的IDE而言，包含数百万行代码的大型代码库太难了。

Visual Studio Code是可扩展的轻量级编辑器的绝佳示例。在Stack Overflow的2019年年度开发人员调查中，VSCode完全统治了最受欢迎的开发环境类别。这就是为什么我很高兴为Visual Studio Code编辑器宣布C/C++test静态分析扩展的原因。

如果您使用VSCode进行开发，则不再需要离开自己喜欢的编辑器后面进行静态分析，查看结果或修复报告的违规情况。

也许您正在尝试实现MISRA或AUTOSAR C++的合规性？所有这些都可以通过VSCode完成。

可以在C/C++test标准发行版（vsix文件）中找到VSCode的C/C++test扩展名，或从Visual Studio Code Marketplace访问。您可以在我们即将发布的VSCode博客文章中了解有关扩展功能的更多信息。

Dockerized部署

软件工具的容器化部署是开发团队的新主张。您可以：

• 无缝支持新的编译器版本。
• 向库提供安全补丁。
• 即时提供25位新开发人员。

使用容器可以轻松完成这些以及许多其他繁琐且耗时的任务。它们在很多方面都很棒。

C/C++test 2020.1的发行版提供了一系列增强功能，使这些功能易于与Docker容器一起使用。

C/C++test支持容器中部署的所有编译器以及容器中Parasoft C/C++test工具本身的部署。请留意我们即将发布的有关容器化的博客文章，以获取有关如何在容器化环境中部署C/C++test的详细信息。同时，请观看我们的网络研讨会，嵌入式开发工具链的容器化部署。

CMake扩展

CMake可能是管理构建和测试，打包软件并在C/C++领域中部署它的最受欢迎的工具。团队喜欢CMake，因为它抽象了构建目标并自动为多个构建引擎生成构建脚本。同样重要的是，它可以轻松扩展到大型项目。

Parasoft C/C++test 2020.1提供了CMake扩展，从而简化了将自动软件测试引入构建过程的过程。

静态分析还可以通过CMake生成的compile-info JSON文件轻松集成。在文章“将Parasoft C/C++test与CMake结合使用以进行静态分析”中了解如何操作。

现在使使用CMake进行C/C++测试单元测试变得更加容易。可以在CMakeLists.txt文件中定义自动生成必要的测试基础结构的特殊单元测试目标，该文件具有C/C++test扩展随附的专用功能。请参阅有关将Parasoft C/C++test与CMake一起用于单元测试的文章。

促进创作单元测试

生产性单元测试的创建一直是一个挑战。符合功能安全标准要求高质量的软件，这推动了对影响和产生高代码覆盖率统计信息的测试套件的需求。团队需要单元测试用例，以帮助他们实现100％的代码覆盖率。

说起来容易做起来难。分析代码中的分支，并试图找出未涵盖某些代码部分的原因，这继续窃取了开发团队的精力。

Parasoft创新解决了问题

C/C++test的发行版引入了全新的功能，可帮助解决代码中的覆盖空白。 Parasoft发现了如何使用高级静态代码分析（数据和控制流分析）来查找执行未发现代码的特定行所需的输入参数的值。

选择要覆盖的代码行，Coverage Advisor将告诉您需要哪些输入值，全局变量和外部调用来激发代码并获得覆盖率。

Parasoft在2020年嵌入式世界（Embedded World 2020）活动中展示了此功能，并受到与会人员以及参观我们展位的行业从业者的好评。

基于机器学习的静态分析结果自动排序

采用静态分析的最大挑战之一是如何区分重要违规和次要违规。关键问题应首先解决。低优先级或嘈杂的发现应被忽略，或者应将反应推迟到关键结果得到解决为止。

在C/C++test 2020.1版本中，Parasoft引入了基于AI和ML的创新功能，以通过自动优先级排序功能增强静态分析。该功能通过从开发人员与静态分析结果的交互中学习来扩展Parasoft的DTP核心功能，并应用经过训练的模型来自动对新发现的违规进行优先级排序。

该创新使组织可以通过减少软件质量上的人工来立即提高生产率。努力并确保他们将宝贵的时间花在最重要的事情上。

MISRA C:2012 Amendment 2的更新

MISRA C：2012仍然是最流行的C编程语言编码标准。它最近进行了更新以支持C语言的发展。MISRA C:2012 Amendment 2现在支持编码标准C11和C18。

Amendment 2采用了限制性方法，并禁止使用新的语言扩展，这些扩展对安全性的影响尚未得到全面分析，因此有新的指导原则。预计将来会有更具体的指南。

Parasoft是第一个支持MISRA C:2012 Amendment 2的供应商。C/C++test 2020.1的发行版涵盖了整套新指南。

增强的单元测试框架，以更好地支持内核级代码的测试

具有各种传感器和执行器的嵌入式设备变得越来越复杂，驱动程序的源代码也越来越复杂。许多团队都在努力建立测试流程，以使他们能够验证其项目的功能安全性。

我们收到了多个请求，以帮助实现流程自动化。我们增强的单元测试框架已成功用于测试Linux和LynxOS 178内核代码。

AUTOSAR C++规则集

Parasoft C/C++test为所需的自动化指南提供了100％的覆盖率，并且在支持AUTOSAR C++编码标准方面处于领先地位。Parasoft继续致力于部分自动化类别的一些检查器。

这是标准的类别，不能完全用静态分析代替（根据准则的性质），但是该工具有足够的空间来帮助您并减少手动开销。 Parasoft C/C++test 2020.1版本为最重要的C++编码标准带来了五个新的检查器。

为C/C++test 2020.2做准备

在当前的全球健康危机中，我们所有人都经历了一个难得的历史时刻。 Parasoft的员工在其家庭办公室努力工作，以成功交付具有我们承诺的所有功能的C/C++test 2020.1版本。我们将继续保持专注，并已着手开发下一个版本。 2020.2将于10月发布。敬请关注！