С.М. Буденного, Санкт-Петербург); е-mail: B.sashka_84@mail.ru СПОСОБ ПРОВЕРКИ СПЕЦИАЛЬНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ КОМПЛЕКСОВ РАДИОКОНТРОЛЯ НА НАЛИЧИЕ НЕДЕКЛАРИРОВАННЫХ ВОЗМОЖНОСТЕЙ И ОШИБОК Рассмотрена последовательность действий при верификации специального программного обеспечения на наличие недекларированных возможностей и ошибок. <...> Данный способ позволяет с высокой вероятностью определить отсутствие в программном обеспечении недекларированных возможностей и ошибок, влияющих на точность и достоверность результатов измерений комплексов радиоконтроля специального назначения. <...> The steps sequence during the verification of special software for determing of the undeclared capabilities and error presence is considered. <...> The method allows to determine with high probability the absence of undeclared capabilities and errors affecting the measurement results accuracy and reliability of the special radiocontrol complexes. <...> Введение Современные комплексы радиоконтроля представляют собой средства измерений, включающие автоматизированные системы обработки измерительной информации (АСОИИ) [1]. <...> Составной частью АСОИИ является специальное программное обеспечение (СПО). <...> Постановка задачи В настоящее время актуальной является задача разработки способа проверки СПО комплексов радиоконтроля, обеспечивающего требуемую вероятность определения отсутствия в нем недекларированных возможностей и ошибок. <...> Недекларированные возможности и ошибки выявляют статистическим контролем, что влечет пропуск ошибок, связанных с динамическим выполнением программы. <...> В проверяемом исходном тексте СПО не используют управляющие структуры с параллельными 52 вычислениями, так как большинство программ СПО не имеет параллельных управляющих структур. <...> Существующие аксиоматические теории предметных областей соответствуют предъявляемым к ним требованиям по правильности и полноте. <...> Решение задачи Основное свойство СПО – правильность функционирования, поэтому крайне необходимо, чтобы это качество соответствовало предъявляемым к нему требованиям [1 – 3]. <...> В связи с этим следует <...>