|
ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА МЕТРИКО-ВЕРОЯТНОСТНОЙ ОЦЕНКИКАЧЕСТВА И НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ Область применения： Информационно-управляющие системы, важные для безопасности АЭС, аэрокосмических систем. Высококачественное коммерческое ПО, разрабатываемое с использованием моделей технологической зрелости SEI. Характеристика проекта. Базовые принципы： - использование скрининг-технологии формирования нормативных профилей программных проектов исходя из требований национальных и международных стандартов в области ИУС АЭС, космических систем, а также спецификации на систему и ПО Используемые нормативные документы: IEEE 982.1 – 1998, ISO/IEC 9126 - 2003, ISO/IEC 14598 – 2000, IEC 60880 – 2000, IAEA NS-G-1.1, стандарты ECSS (Европейского агентства по стандартизации космических систем) и др.; - комплексная оценка качества и надежности с использованием метрического и вероятностного методов и их инструментальной поддержки. Метрический метод базируется на формировании иерархии радиальных метрических диаграмм в соответствии с профилем проекта и операциях свертки для получения оценки в векторно-скалярной форме. Вероятностный метод базируется на матричном представлении соответствия формализуемых допущений, характерных для программного проекта, и иерархии стандартных моделей роста надежности ПО, их направленном выборе и комплексировании; - применение технологии тестирования и верификации ПО, основанной на проектно-ориентованном засеве дефектов и унифицированных процедурах оценки по стадиям жизненного цикла; - использование многоверсионных технологий создания ПО, важного для безопасности. Результаты выполнения проекта - методический инструментарий оценки качества и надежности программного обеспечения, а также полноты и достоверности результатов оценивания при независимой верификации и экспертизе： - инструментальное средство профилирования требований, метрико-ориентированной оценки качества программного обеспечения и визуализации результатов оценивания на основе расширяемого множества стандартов ISO, IEC, IAEA, ECSS; - инструментальное средство оценки надежности программного обеспечения, с использованием вероятностных моделей надежности, методов выбора моделей на основе статистического анализа результатов тестирования и индивидуальных особенностей реальных программных проектов; - инструментальное средство поддержки разработки многоверсионного ПО; - инструментальное средство верификации программного обеспечения с использованием структурного и функционального тестирования на основе применения RUP-технологии. Степень готовности: Разработаны методики и программные решения утилит, проведены их опытная эксплуатация при выполнении ряда проектов. Стоимость разработок: Стоимость определяется исходя из объема задач, формулируемых заказчиком в области научно-методической поддержки, технологий и конкретных программных решений. Технико-экономические преимущества: Предлагаемые методики и средства: - повышают полноту и достоверность проведения верификации и экспертизы критического ПО, что в конечном итоге снижает риски невыявленных дефектов и обеспечивает требуемый уровень безопасности систем в целом; - автоматизируют процесс и улучшают качество менеджмента при верификации и экспертизе программного обеспечения, снижая их ресурсоемкость при сохранении заданного уровня безопасности. Научно-практические наработки и их патентная защита: 1.Непосредственное участие в разработке государственных и отраслевых нормативных документов, регулирующих требования, методы оценки и обеспечения надежности и безопасности ПО информационно-управляющих систем для атомной энергетике и аэрокосмической отрасли. 2. Многолетний опыт экспертизы и независимой верификации программного обеспечения информационно-управляющих систем АЭС и аэрокосмических систем. 3. Опубликованы статьи, научные доклады, учебники и монографии (Украина, Россия, Великобритания, Норвегия, США). 4. Разработаны варианты инструментальных средств метрико-вероятностной оценки качества и надежности программного обеспечения. 5. По отдельным решениям получены сертификаты, авторские свидетельства и патенты Украины, России на аппаратные и программные средства. |
