Оценка полноты семантического контроля программного обеспечения информационно-управляющих систем
Abstract
Исследована степень полноты семантического контроля программного обеспечения информационно-управляющих систем авиационно-космических комплексов, основанного на анализе использования физических размерностей. Разработаны и проанализированы модели полноты семантического контроля программного обеспечения. Доказана устойчивость полученных результатов. Досліджено ступінь повноти семантичного контролю програмного забезпечення інформаційно-керуючих систем авіаційно-космічних комплексів, що базується на аналізі використання фізичних розмірностей. Розроблено та проаналізовано моделі повноти семантичного контролю програмного забезпечення. Доведено стійкість отриманих результатів.