При разработке программных систем одним из основных подходов является модульный способ программирования. При этом отдельные задачи выделяются в виде самостоятельных модулей и могут проектироваться и реализовываться различными группами разработчиков (и даже на разных языках программирования). На каждом этапе проектирования обязательно осуществляется верификация. В качестве спецификации проекта (алгоритмизированного технического задания) предлагается использовать графо-аналитическую модель (ГАМ) вычислительного процесса и ее описание на разработанном авторами языке. Задачу автоматизации обнаружения недекларированных возможностей и исключения их в программе предлагается решить с помощью дополнительных средств анализа при верификации программы.
< ... >
In process of developing software systems, one of the main approaches is a modular programming method. At the same time, individual tasks can be implemented by various developers and programming languages. At each design stage, verification is required. It is proposed to use the graph-analytical model (GAM) of the computation process and its description in the language developed by the authors as a project specification. The task of automating the detection of undeclared features and excluding them in the program is proposed to be solved with additional means of analysis when verifying the program.
Keywords:
GAM, undeclared features, dead code, automation, testing, verification, program source code, CAD, GAM descriptive language
Полную версию статьи смотрите на страницах журнала «Защита информации. Инсайд»
