Верификация программного обеспечения (стр. 46 )

Сертифицирующим органам предоставляются индексы конфигураций – списки уникальным образом идентифицированных элементов (исходных текстов, файлов данных, объектного и исполняемого кода), входящих в программное обеспечение. Для подтверждения соответствия качества программного обеспечения заданному уровню критичности бортового ПО, представляются результаты его тестирования, проведенные в соответствии с требованиями к данному уровню. Процесс конфигурационного управления должен обеспечивать трассируемость всех требований, исходных текстов, тестов и их результатов.

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

Все рассмотренные выше требования являются общими требованиям к процессу КУ, но процесс разработки и выполнения бортового ПО имеет одну особенность – средой разработки служат те или иные компьютеры общего назначения, а  средой времени выполнения служит соответствующее системное ПО бортового вычислителя. Стандартом DO-178B выдвигаются требования, учитывающие эту особенность - существуют требования по обеспечению поддержки процесса загрузки объектного кода приложения на бортовой вычислитель, гарантирующего загрузку исполняемого кода с применением соответствующих мер безопасности, обеспечивающих его неизменность и целостность [7, Раздел 4.2.8].

Таким образом, система конфигурационного управления, удовлетворяющая требованиям стандарта DO-178B должна обеспечивать идентификацию и трассируемость объектов конфигурационного управления (ОКУ), поддержку создания базовых версий (индексов конфигураций), управление сообщениями и проблемах и вызванными ими изменениями, учет состояния конфигурации и ОКУ, а также обеспечивать процессы резервного копирования и восстановления данных и управление процессом загрузки объектного кода на бортовой вычислитель.

Библиографический список

А. Гаврилов. Технологии разработки программного обеспечения – MSF (http://www. microsoft. com/Rus/Msdnaa/Curricula/Default. mspx) Г. Майерс. Надежность программного обеспечения. М.: «Мир», 1980. 360 с. Александр Петренко, Елена Бритвина, Сергей Грошев, Александр Монахов, Ольга Петренко Тестирование на основе моделей // Открытые системы, #09/2003 Гостехкомиссия России. Руководящий документ. Защита от несанкционированного доступа к информации. Часть 1. Программное обеспечение средств защиты информации. Классификация по уровню контроля отсутствия недекларированных возможностей. М.: Гостехкомиссия РФ, 1999 Гостехкомиссия России. Руководящий документ. Средства вычислительной техники. Защита от несанкционированного доступа к информации. Показатели защищенности от несанкционированного доступа к информации. М.: Гостехкомиссия РФ, 1992 ГОСТ Р ИСО 9001-2001. Системы менеджмента качества. Требования. М.: ИПК Изд-во стандартов, 2001, – 140 с. RTCA/DO-178B. Software considerations in airborne system and equipment certification, RTCA Inc, 1992, – 138 p. AS9100A. Quality Management Systems – Aerospace – Requirements. G-14 Americas Aerospace Quality Group (AAQG), SAE, 2003, – 69 р. AS9006A. Aerospace Software Supplement for AS9100A. G-14 Americas Aerospace Quality Group (AAQG), SAE, 2003, – 24 p. Burnstein I. Practical Software Testing. A process-oriented approach. Springer-Verlag, New York, 2003, - 732 p. UNIX. Взаимодействие процессов. – СПб.: Питер, 2002. – 576 с. , Налютин системы: учебное пособие. М.: МИФИ, 2006. 213 с. Leblanc P., Encontre V. Object-oriented Real-time Techniques: Method Guide. IEEE 1012-1998. IEEE Standard for Software Verification and Validation. Institute of Electrical and Electronics Engineers. 01-May-1998, 75 p. IEEE 829-1998. IEEE Standard for Software Test Documentation. Institute of Electrical and Electronics Engineers. 01-May-1998, 62 p. Dart S. Concepts in Configuration Management Systems. Proc. 3rd International Workshop on Software Configuration Management, Trondheim, Norway, 1991, – 166 p, pp. 1-18. U. Linnenkugel, M. Mullerburg. Test data selection criteria for (software) integration testing. Proc. First International Conf. Systems Integration, April 1990, pp. 709–717. одульное тестирование и Test-Driven Development, или Как управлять страхом в программировании // "IT News", #21/2005 IEEE 1008-1987. IEEE Standard for Software Unit Testing. Institute of Electrical and Electronics Engineers. 01-May-1987, 28 p. Murphy G., Townsend P., Wong P. Experiences with cluster and class munications of the ACM, Vol. 37, No. 9, 1994, pp. 39–47. ГОСТ 27.002-89. Надёжность в технике. Основные понятия. Термины и определения. – М.: Издательство стандартов, 1990. – 37 с. ГОСТ 13377-75. Надежность в технике. Термины и определения. М.: Изд-во стандартов, 1975. ISO 10007. Quality management - Guidelines for configuration management. International Organization for Standardization. 01-Apr-1995, 14 p. IEEE 1042-1987. IEEE Guide to Software Configuration Management. Institute of Electrical and Electronics Engineers. 10-Sep-1987, 92 p. An Investigation of Three Forms of the Modified Condition Decision Coverage (MCDC) Criterion. Office of Aviation Research Washington, D. C., 2001, 214 p. Hayhurst K. J. et al. A Practical Tutorial on Modified Condition/Decision Coverage. NASA, 2001, 85 p. Э. ргила. Структурные модели в объектно-ориентированном анализе и проектировании. М.:Лори, 1999, 288 с. скусство тестирования программ. М.:Финансы и статистика, 1982, 176 с. Rational Unified Process. Методология и технология. Материалы компании Interface Ltd. (http://www. interface. ru/home. asp? artId=779) Nielsen J. Ten Usability Heuristics (http://www. /papers/heuristic/heuristic_list. html) ISO 13407:1999. Human-centred design processes for interactive systems. International Organization for Standardization. 01-Jun-1999, 26 p. ISO/IEC 9126-1:2001. Software engineering -- Product quality -- Part 1: Quality model. International Organization for Standardization/International Electrotechnical Commission. 01-Jun-2001, 25 p. Общий оценочный лист тестирования usability web-сайта. Публикация компании IT-Online. (http://www. software-testing. ru/lib/it-online/site-usability-checklist. htm) КТ-178А. Квалификационные требования часть 178А, АОЗТ "ИСПАС", Жуковский, 1997. Microsoft Solutions Framework. Методология создания программных решений. (http://www. /Rus/Msdn/msf/Default. mspx) кстремальное программирование. С-Пб.:Питер, 2002, 224 с. ISO/IEC 15408. Information technology – Security techniques – Evaluation criteria for IT security. International Organization for Standardization. 50 p. (part 1), 248 p. (part 2), 168 p. (part 3).