Задавать, проверяете ли вы законченное приложение с main
функционируйте или модуль без main
функция, используйте опции верификации Программы автоматического доказательства Кода. Если вы проверяете модуль, программное обеспечение генерирует main
функция для вас. Подстраивать сгенерированный main
функция, используйте эти опции.
Задайте опции анализа Polyspace
Задайте опции анализа Polyspace® в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.
Проверьте Приложение C Без основной Функции
Изучите преимущества ручной записи main
функция по сравнению с автоматической генерацией main
функция.
Узнать, как, чтобы выполнить верификацию робастности классов так, чтобы это было безопасно для повторного использования.
Обеспечьте контекст для верификации кода С
Изучите, какой внешний контекст можно обеспечить, чтобы сузить предположения верификации по умолчанию.
Обеспечьте контекст для верификации кода С++
Изучите, какой внешний контекст можно обеспечить, чтобы сузить предположения верификации по умолчанию.