Показатели качества и повышение надежности программных систем
Правильная ссылка на статью:
Тиханычев О.В.
Об уточнении парадигмы контроля качества программных продуктов
// Программные системы и вычислительные методы.
2022. № 2.
С. 1-12.
DOI: 10.7256/2454-0714.2022.2.37985 EDN: ZXYEKP URL: https://nbpublish.com/library_read_article.php?id=37985
Аннотация:
Актуальность статьи определяется тем, что, несмотря на большой практический опыт, накопленный в области автоматизации управления, в процессе разработки автоматизированных систем остаётся достаточно много проблем, в том числе, связанных с разработкой прикладного программного обеспечения для них. С учетом этого, в качестве предмета исследования выбран процесс разработки программного обеспечения автоматизированных систем управления. Объектом исследования выбрана модель контроля качества этого процесса, реализуемая в парадигме контроля. В настоящее время нормативные документы, регулирующие оценку качества программного обеспечения, сформированы на основе парадигмы, определяющей, что качество программ проверятся исключительно на соответствие требованиям технического задания. Но, как показала практика, такая парадигма не в полной мере соответствует современным условиям, обеспечивая не полноценный контроль качества, а проверку соответствия программ ожиданиям заказчика, сформулированным ещё на этапе проектирования системы. Для поиска путей решения проблемы, в статье использованы общенаучные методы анализа и синтеза. На основе анализа применяемых в настоящее время методов и моделей тестирования программного обеспечения синтезированы предложения по уточнению парадигмы его оценки. В статье сформулирована постановка научно-практической задачи и предложен возможный подход к её решению, основанный на уточнении используемой в настоящее время парадигмы оценки качества, на переходе от «жесткой», заранее задаваемой модели, к расширенной модели оценки качества, учитывающей не только требования технического задания, но и условия их выполнения, а также наличие синергетического эффекта. Новизна предлагаемого подхода заключается в том, что решение сформулированной задачи обеспечит общее повышение качества автоматизации управления за счёт повышения безопасности и эффективности программ на основе перехода к применению расширенной динамической модели тестирования разрабатываемого программного обеспечения, реализуемой в рамках уточнённой парадигмы оценки качества
Ключевые слова:
модель оценки качества, парадигма оценки качества, оценка качества программ, качество программного обеспечения, программное обеспечение, поддержка принятия решений, автоматизированная система управления, методология управления качеством, принцип оценки качества, тестирование программ
Abstract:
Despite the extensive volume of experience in the field of control automation, there are quite a lot of problems in the process of developing automated systems, including those related to the development of application software for them. With this in mind, the process of software development of automated control systems is chosen as the subject of research. The object of the study is a model of quality control of this process. Currently, legal regulation of software quality control is based on a paradigm that determines that the quality of programs will be checked exclusively for compliance with the requirements of the terms of contract. But, as practice has shown, such a paradigm does not fully meet modern conditions, providing not full-fledged quality control -- the verification of compliance of programs with customer expectations formulated at the stage of system design is needed. To find ways to solve the problem, the article uses general scientific methods of analysis. Based on the analysis of currently used methods and models of software testing, proposals for clarifying the paradigm of its evaluation and control are synthesized. The article formulates a scientific and practical problem and suggests a possible approach to its solution based on the refinement of the quality assessment paradigm currently used, on the transition from a "rigid", preset model to an expanded quality assessment model that takes into account not only the requirements of the terms of the contract, but also the conditions for their implementation. The novelty of the proposed approach lies in the fact that the solution of the formulated task will provide an overall improvement in the quality of control by improving the safety and effectiveness of programs based on the transition to the use of an extended dynamic testing model of the software being developed, implemented within the framework of a refined quality assessment paradigm
Keywords:
quality assessment model, the quality assessment paradigm, program quality assessment, software quality, software, decision support, automated control system, quality management methodology, the principle of quality assessment, testing programs