Электронный фонд правовой
и нормативно-технической документации
ISO/IEC TR 15942-2000 Information Technology - Programming Languages - Guide for the Use of the Ada Programming Language in High Integrity Systems
Документ «ISO/IEC TR 15942-2000 Information Technology - Programming Languages - Guide for the Use of the Ada Programming Language in High Integrity Systems» предназначен для предоставления рекомендаций по использованию языка программирования Ada в системах высокого уровня надежности. Он охватывает как методы проектирования, так и реализацию программного обеспечения, позволяя разработчикам гарантировать соответствие требованиям высоких стандартов качества и безопасности.
Ключевыми регламентируемыми аспектами документа являются определение необходимых методов разработки программного обеспечения, параметры, влияющие на надежность системы, а также требования к средам исполнения и тестирования. Процесс проверки и контроля качества кода, который включает оценку, классификацию и верификацию, также детально описан, что позволяет соблюсти строгие требования безопасности.
Важные технические детали включают условия испытаний на соответствие требованиям, классификацию программных уровней надежности и перечень измеряемых величин, таких как процент ошибок или статистика отказов. Эти параметры необходимы для обеспечения качественного исполнения и функциональности систем, построенных на базе языка Ada.
Целевой аудиторией данного стандарта являются разработчики программного обеспечения, производители высоконадежных систем, а также лаборатории, занимающиеся оценкой программного обеспечения и контролирующие органы. Они могут использовать рекомендации документа для повышения уровня надежности и устранения потенциальных недостатков в своих продуктах.
Практическое значение стандарта заключается в его влиянии на безопасность, качество и совместимость программного обеспечения. Рекомендации помогают снизить риски, связанные с ошибками кода, обеспечивая высокий уровень охраны труда и защиты пользователей. Дополнения и изменения, внесенные в документ, касаются уточнения методов тестирования и обновления требований к современным технологиям, что делает его актуальным для текущих условий разработки.
Описание документа носит справочный характер, достоверность этого материала не гарантируется.
Скачать документ нельзя. Вы можете заказать документ.
Международные и зарубежные стандарты (ASTM, ISO, ASME, API, DIN, BS и др.) не предоставляются в рамках данной услуги. Каждый стандарт приобретается платно с учетом лицензионной политики Разработчика.
Любые авторские документы, размещенные на сайте, представлены в соответствии с признанным в международной практике принципом «как есть». ООО «Информпроект Групп» не несет ответственности за правильность информации, изложенной в авторских документах.
Возможно вас заинтересуют
ISO/IEC TR 15938-8-2002 Information technology - Multimedia content description interface - Part 8: Extraction and use of MPEG-7 descriptions
ISO/IEC TR 15938-8-2002/cor1-2005
ISO/IEC TR 15938-8-2002 amd6-2011
ISO/IEC TR 15944-14-2020 Information technology — Business operational view — Part 14: Open-edi reference model and cloud computing architecture
ISO/IEC TR 15944-6-2015 Information technology — Business operational view — Part 6: Technical introduction to e-Business modelling
ISO/IEC TR 15947-2002 Information technology Security techniques IT intrusion detection framework