​​Создан инструмент, позволяющий обнаруживать баги прямо во вр | Tech Crunch

​​Создан инструмент, позволяющий обнаруживать баги прямо во время написания кода

В рамках исследования, опубликованного в Journal of Object Technology, исследователи разработали новую технику проверки для UML / OCL модели, решающие общую проблему. В новом методе применяются дополнительные методы проверки, в которых упрощаются проверки модели всякий раз, когда вносятся изменения. Вместо того, чтобы проверять модель только в конце процесса, как это имеет место в настоящее время, это позволяет проверять ее во время разработки без необходимости начинать с нуля, что облегчает раннее обнаружение ошибок.

Этот метод также является новаторским в том, что касается использования сертификатов, примеров, иллюстрирующих правильную работу модели. Как отметил исследователь: «Когда мы модифицируем модель, наличие нового сертификата устраняет необходимость в ее проверке.

Адаптация сертификата обходится гораздо дешевле, чем повторный запуск процесса проверки. Объясняя процесс, авторы предлагают, чтобы вместо проверки новой модели сертификат исходной модели можно было адаптировать к новой. Самая крупная проблема, с которой они сейчас сталкиваются, заключается в интеграции этих методов в существующие инструменты и среды программного моделирования.