«formal-methods» etiketlenmiş sorular

Yazılım mühendisliğini inşaat mühendisliği ile karşılaştırarak, farklı bir düşünce biçimini gözlemlememe şaşırdım: herhangi bir inşaat mühendisi, bahçede küçük bir kulübe inşa etmek istiyorsanız, sadece malzemeleri elde edip inşa etmeye devam ederken inşa etmek istediğini bilir. 10 katlı ev (veya, örneğin, gibi bir şey bu ) oldukça bazı matematik yapmak gerekir …

63 programming-practices  theory  formal-methods 

Programlama için resmi yöntemlerin (FM) kullanımı konusunda eğitim almışsanız: Ne kadar yararlı buldun? FM eğitiminiz neleri içeriyordu (örneğin bir kurs, bir kitap)? Hangi FM araçlarını kullanıyorsunuz? FM kullanmamanıza kıyasla hız / kalite açısından ne gibi avantajlar sağladı? FM ile ne tür bir yazılım oluşturuyorsunuz? Ve şimdi FM'yi doğrudan kullanmıyorsanız, en …

17 code-quality  formal-methods 

Kapalı . Bu soru görüş temelli . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek ister misiniz? Bu yayını düzenleyerek gerçekler ve alıntılarla yanıtlanabilmesi için soruyu güncelleyin . 2 yıl önce kapalı . Bir uygulama için kod belirlemek, kanıtlamak ve oluşturmak için biçimsel yöntemler kullanılabilir. Bu hatalara daha az yatkındır …

14 development-process  code-quality  formal-methods 

Googling "yazılım test teorisi" sadece kelimenin yumuşak anlamında teoriler veriyor gibi görünüyor; Matematiksel, teorik veya başka bir bilimsel alanda bir teori olarak sınıflandıracak hiçbir şey bulamadım. Aradığım şey, testin ne olduğunu, kullanılan kavramları, bir test senaryosunun ne olduğunu, bir şeyi test etmenin fizibilitesini, bir şeyi test etmenin pratikliğini, bir şeyin …

12 testing  math  theory  formal-methods  information-theory 

Şu anda hiçbir birim testleri ile büyük bir kod tabanı bir kısmını yeniden düzenleme. Ben kaba bir şekilde kod refactor denedim, yani kodun ne yaptığını ve ne değişiklikler anlamını değiştirmek olmaz tahmin etmeye çalışarak, ama başarı olmadan: rastgele tüm kod tabanı çevresindeki sonları. Yeniden düzenleme işleminin eski C # kodunu …

10 unit-testing  refactoring  legacy  formal-methods