Запитання з тегом «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 

Наразі я переробляю частину великої бази кодів, не маючи тестування. Я спробував перефактурувати код грубим способом, тобто намагаючись відгадати, що робить код і які зміни не змінять його значення, але без успіху: він випадковим чином розбиває функції по всій базі коду. Зауважте, що рефакторинг включає переміщення застарілого коду C # …

10 unit-testing  refactoring  legacy  formal-methods