Cтраница 4
В ряде областей применения ПС требуются высокие гарантии качества функционирования допускаемых к использованию версий программ. В этих случаях недопустимы аномалии функционирования программ при любых искажениях исходных данных, сбоях аппаратуры и других нештатных ситуациях. Качество ПС должно быть не только проверено разработчиками и пользователями, но и удостоверено особо квалифицированными специалистами, имеющими право на государственную или ведомственную сертификацию ПС. Методы сертификации ПС в значительной степени подобны изложенным выше методам тестирования при отладке и испытаниях комплексов программ. Основное отличие состоит в более широком варьировании всех исходных данных и условий функционирования программ. Для этого необходимы адекватные модели внешней среды, обеспечивающие весь спектр исходных данных для сертификации. Кроме того специалисты, проводящие сертификацию должны быть независимыми от разработчиков, заказчиков и будущих пользователей ПС. Эти специалисты имеют право на расширение условий испытаний и на создание нештатных ситуаций для функционирования программ, при которых ПС должны обеспечивать необходимое качество решения задач. При успешных результатах проверок определенной версии ПС на нее оформляется специальный документ - сертификат. [46]
План тестирования составляется сотрудником, отвечающим за контроль качества. Пользователи должны определить контрольные примеры. Они могут составить проверочные сценарии и высказать свое мнение об ожидаемых результатах. План тестирования состоит из двух частей: подхода и проекта. На этапе подхода определяются методы тестирования, инструментальные средства, применяемые для тестирования, распределение ролей и ответственности, способ выявления и регистрации ошибок, процесс контроля изменений, процесс повторного тестирования и тестовая среда. В проекте плана тестирования определяются его цели, контрольные примеры и сценарии тестов. План тестирования - это структура, в пределах которой выполняются тесты разных уровней, или типов, т.е. системные тесты и пользовательские приемные тесты. Для тестов каждого типа следует разработать план тестирования. [47]
В этой связи разработал ( 1956 - 1957) научные основы окисления бутана при температурах и давлениях, близких к критическим, для производства уксусной кислоты, ме-тилэтилкетона, этилацетата. Проводит ( с 1967) исследования по изучению старения и стабилизации полимеров, предложил методы тестирования эффективности стабилизаторов и количественные критерии стойкости полимеров к различным видам деструкции. [48]