用于C/ c++代码验证的Polyspace

2본일교육과정은코드정확도를검증하고소프트웨어의퀄리티지표향상및제품의신뢰성을높이기위한Polyspace错误发现者^™와 多空间码验证器^™의이용방법을다룹니다。본과정의주요내용은다음과같습니다。

수강자 필수조건

C또는 C++에 대한 높은 수준의 지식

第三天的第一天
Polyspace工作流程概述	摘要目的:熟悉Polyspace Bug Finder和Code Prover，并通过一个介绍性示例进行学习。使用Polyspace的软件开发工作流程简单的验证示例分析缺陷和运行时错误
Polyspace Bug查找器分析	摘要目的:分析可能不符合ANSI C的代码，并说明运行时环境，并使用Polyspace Bug Finder纠正缺陷和编码规则违反。公共运行时环境构件处理器的处理代码定义执行上下文设置目标硬件信息分析和管理Polyspace Bug Finder缺陷检测违反编码规则测量代码度量
分析Polyspace代码验证器结果	摘要目的:熟练解释Polyspace Code Prover结果。抽象解释概述呼叫树分析源代码导航执行路径可变范围全局变量
代码验证检查	摘要目的:使用Polyspace Code验证程序中的诊断程序查找运行时错误。 C源代码检查概述源代码中签入的位置描述检查相关的验证选项

第三天的第二天
管理Polyspace代码验证程序验证和结果	摘要目的:处理包含大量未经验证的检查的验证结果。确定验证工作进行快速回顾进行选择性的橙色回顾设置验证精度优先级橙色检查回顾橙色检查
增加Polyspace代码验证程序验证的精度	摘要目的:了解Polyspace代码验证程序在验证期间如何处理丢失的代码，以及如何影响此行为以生成更有意义的验证。健壮性验证和上下文验证函数存根数据范围规范手动存根
综合分析	摘要目的:了解如何管理代码复杂性不断增加的验证，以及如何解释和比较集成分析与稳健分析。管理代码模块使用Bug Finder和Code Prover分析集成缺陷和规则违反进口的评论
删除	摘要目的:使用Polyspace metrics共享和编目验证结果，并根据验证结果生成标准报告。分享结果使用Polyspace指标测试软件质量目标创建文档
应用程序分析	摘要目的:检查在验证完整的应用程序时有用的过程和选项。设置应用程序验证改进应用程序验证的结果检测并发问题比较稳健性和上下文验证创建文档

第3天，共3天
实践教学(可选)	摘要目的:花时间回顾所学内容，并将Polyspace直接应用到您自己的项目中。潜在主题包括： Polyspace Bug Finder检查 C++代码验证任务分配和共享数据分析生成代码验证开发过程回顾工作流集成客户端/服务器软件安装项目代码的Polyspace配置结果解释

교육기관사용자에게적용되는할인된가격을이용할자격이있는지확인하십시오。

진행확정으로표시된교육과정에등록하면일정이취소되거나변경될일이없습니다。

결과1 - 10/10

날짜	위치	언어	가격
2021년11월1일- 2021년월11日02일	가상 上午九时至下午五时미국 태평양 서머 타임	영어	1500美元
2021년월11日04일- 2021년월11日05일	가상 早上9点-下午5点한국표준시 지금등록하십시오——현재1개의좌석만남아있습니다。	한국어	1500美元
2021년11월일25 - 2021년월11 26일	가상 早上9点-下午5点중국표준시	중국어	1500美元
2022년 2.월 08일- 2022년월일	가상 上午九时至下午五时중앙 유럽 표준시	영어	1500美元
2022년월일17 - 2022년월일18	가상 上午九时至下午五时중앙 유럽 표준시	독일어	1500美元
06年2022년월일- 2022년월일	가상 早上9点-下午5点미국동부서머타임	영어	1500美元
2022년월04일- 2022년월05일	가상 早上9点-下午5点중앙유럽서머타임	영어	1500美元
2022년월일14 - 2022년월15일	가상 早上9点-下午5点중앙유럽서머타임	영어	1500美元
2022년월일21 - 2022년월일22	가상 早上9点-下午5点중국표준시	중국어	1500美元
2022년월일23 - 2022년월일24日	가상 早上9点-下午5点인도표준시	영어	1500美元

결과1 - 10/10

이가격은다음지역에서구매하고사용할때적용됩니다。미국,다른지역의가격은영업팀에 문의하십시오。제품가격에는세금이포함되어있지않습니다。이구매와관련되어지불될수있는모든세금은주문시에책정됩니다。자세한내용은교육 정책을참조하십시오。