Что такое ссылки на источники в MISRA C?

Question

В документе MISRA C есть пояснения к «Ссылкам на источники», а также есть таблица со строками: «Не указано», «Не определено», «Определено реализацией», «Специфично для локали», «Руководство MISRA», «K&R», «Koenig» и «IEC 61508» и представляет их как ссылку на источник. Я исследовал поведение Unspecified, Undefined, Defined Definition и Locale. Я немного с ними познакомился. Но я не знаю концепции ссылки на источник и почему это поведение упоминается в ссылках на источник. Также некоторые правила MISRA C, имеющие ссылку на источник. Что это значит? Спасибо.

Answer 1

Ссылки на источники — это основные источники, которые MISRA обосновывает для Руководящих принципов, как поясняется в разделе 6.10 MISRA C:

Если руководство взято из одного или нескольких опубликованных источников, они указываются в квадратных скобках после руководства. Это служит двум целям. Во-первых, читатель, желающий получить более полное представление об обосновании руководства (например, при рассмотрении запроса об отклонении), может обратиться к конкретным источникам. Во-вторых, что касается проблем переносимости, описанных в Стандарте, форма источника дает дополнительную информацию о характере проблемы.

Правила, не имеющие ссылки на источник, могли быть взяты из внутреннего стандарта участвующей компании, или были предложены рецензентом, или являются общепринятой хорошей практикой.

Эти ссылки на источники делятся на две категории:

1. Те, что являются внутренними для стандарта C
2. Другой

Те, что являются внутренними для стандарта C (перечислены в Приложении J стандарта C), охватывают:

1. Неопределенное поведение
2. Неопределенное поведение
3. Поведение, определяемое реализацией
4. Поведение, зависящее от локали

Те, которые не относятся к стандарту C, включают различные стандарты (например, IEC 61508) или другие уважаемые книги.

-- см. профиль для принадлежности