Информационная безопасность. Макаренко С.И. - 365 стр.

        Рис. 23.2 - Методы и средства анализа безопасности ПО

     Контрольно-испытательные методы - это методы, в которых
критерием безопасности программы служит факт регистрации в ходе
тестирования программы нарушения требований по безопасности,
предъявляемых в системе предполагаемого применения исследуемой
программы.

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




                                 365