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

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

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

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

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

3
Что поможет при рефакторинге большого метода, чтобы я ничего не сломал?
В настоящее время я занимаюсь рефакторингом части большой кодовой базы без каких-либо модульных тестов. Я попытался реорганизовать код грубо, то есть, пытаясь угадать, что делает код, и какие изменения не изменили бы его значения, но безуспешно: он случайным образом нарушает функции по всей базе кода. Обратите внимание, что рефакторинг включает …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.