Методы верификации программного обеспечения
Download 1.06 Mb. Pdf ko'rish
|
КНИГА
|
1 МЕТОДЫ ВЕРИФИКАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В.В. Кулямин Институт системного программирования РАН 109004, г. Москва, ул. Б. Коммунистическая, д. 25 Аннотация. В данной работе представлен обзор методов верификации программного обеспечения (ПО). Верификацией называется проверка соответствия результатов отдельных этапов разработки программной системы требованиям и ограничениям, сформулированным для них на предыдущих этапах. Рассматривается контекст использования различных методов контроля качества и, в частности, верификации в рамках жизненного цикла ПО. Представлено содержание международных стандартов ISO и IEEE, регулирующих проведение различных видов верификации при разработке программ. Предлагается классификация известных методов верификации, полученная обобщением сложившейся практики позиционирования работ в этой области. В рамках предложенной системы рассматриваются как зрелые и широко применяемые при промышленной разработке методы верификации ПО, так и недавно созданные и используемые пока только в рамках исследовательских проектов. Обзор включает методы статического анализа программ, методы проведения инспекций и экспертиз, техники анализа архитектуры ПО, методы проверки моделей и дедуктивного анализа корректности ПО, а также методы динамической верификации — тестирование и верификационный мониторинг. Рассматриваются инструменты поддержки верификации ПО. Annotation. The paper presents review of software verification methods. By verification we mean conformance checking of results of separate phases of software development to requirements and restrictions stated for these results on previous phases. The article considers use of quality control methods, including verification methods, in software development lifecycle. It also presents contents of international standards of ISO and IEEE 2 regulating verification activities in software development. The paper gives classification of verification methods based on current practice of research work positioning in this area. This classification used to review both mature verification methods, widely used in industrial software development, and research ones developed only recently. The review includes methods of static analysis, software review and inspection techniques, methods of software architecture analysis, model checking and theorem proving, along with dynamic verification methods — testing and monitoring. Tool support for each considered method is also discussed. 3 Download 1.06 Mb. Do'stlaringiz bilan baham: 
|