在 Polyspace 平台用户界面中编写测试

测试输入和评估、复杂测试、模拟和插桩

使用 Polyspace^® 平台用户界面为您的 C/C++ 代码编写图形化测试。在 Polyspace 平台用户界面中创建工程并添加源文件后，解析代码以提取要测试的函数列表。创建桩件以处理所有未定义的函数或变量，编写新的图形化测试，并将测试链接到外部编写的需求。