Вопросы с тегом «formal-methods»

Сравнивая разработку программного обеспечения с гражданским проектированием, я был удивлен, увидев другой способ мышления: любой инженер-строитель знает, что если вы хотите построить небольшую хижину в саду, вы можете просто получить материалы и начать строить их, тогда как если вы хотите построить 10-этажный дом (или, например, что-то вроде этого ) вам …

63 programming-practices  theory  formal-methods 

Если вы были обучены использованию формальных методов (FM) для программирования: Насколько полезный ты нашел это? Что включает в себя ваше FM-обучение (например, курс, книга)? Какие инструменты FM вы используете? Какие преимущества в скорости / качестве это дает вам по сравнению с не использовать FM? Какое программное обеспечение вы создаете с …

17 code-quality  formal-methods 

Закрыто . Этот вопрос основан на мнении . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы ответить на него фактами и цитатами, отредактировав этот пост . Закрыто 2 года назад . Формальные методы могут использоваться для указания, проверки и генерации кода для приложения. Это …

14 development-process  code-quality  formal-methods 

Поиск в Google "теории тестирования программного обеспечения", по-видимому, дает теории только в мягком смысле этого слова; Я не смог найти ничего, что можно было бы классифицировать как теорию в математическом, информационном или каком-либо другом научном смысле. Что я ищу, так это то, что формализует, что такое тестирование, используемые понятия, что …

12 testing  math  theory  formal-methods  information-theory 

В настоящее время я занимаюсь рефакторингом части большой кодовой базы без каких-либо модульных тестов. Я попытался реорганизовать код грубо, то есть, пытаясь угадать, что делает код, и какие изменения не изменили бы его значения, но безуспешно: он случайным образом нарушает функции по всей базе кода. Обратите внимание, что рефакторинг включает …

10 unit-testing  refactoring  legacy  formal-methods