Рассмотрите результаты Polyspace Code Prover в пользовательском интерфейсе Polyspace

Интерпретируйте результаты, добавьте информацию об анализе, фильтр и результаты группы, просмотрите отчеты

После анализа рассмотрите результаты в Polyspace^® пользовательский интерфейс или непосредственно в IDE Eclipse™, если вы запускаете анализ от Eclipse. Можно выполнить одно из следующих действий:

Начните рассматривать результаты сразу.
Примените стратегию управления результата сузить осциллограф вашего анализа, и затем рассмотреть ваши результаты.

Интерпретируйте результаты
Интерпретируйте результат Code Prover, перейдите в исходном коде, отследите поток данных.
Добавьте информацию об анализе в результаты
Программа автоматического доказательства Адресного кода заканчивается через исправления ошибок или выравнивания
Управляйте результатами
Отфильтруйте и группа результаты Code Prover для систематического анализа
Отчеты и метрики
Контролируйте качество кода через жизненный цикл разработки программного обеспечения

Документация Polyspace Code Prover

Поддержка

Памятка переводчика

1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.

2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.

3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.

4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.

5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.