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