Pertanyaan yang diberi tag «formal-methods»

Membandingkan rekayasa perangkat lunak dengan teknik sipil, saya terkejut mengamati cara berpikir yang berbeda: insinyur sipil mana pun tahu bahwa jika Anda ingin membangun gubuk kecil di kebun, Anda bisa mendapatkan bahan dan pergi membangunnya sedangkan jika Anda ingin membangun rumah 10 lantai (atau, misalnya, sesuatu seperti ini ) Anda …

63 programming-practices  theory  formal-methods 

Jika Anda telah dilatih dalam penggunaan metode formal (FM) untuk pemrograman: Seberapa bermanfaatkah Anda menemukannya? Apa yang melibatkan pelatihan FM Anda (misalnya kursus, buku)? Alat FM apa yang Anda gunakan? Apa kelebihan dalam kecepatan / kualitas yang telah Anda berikan dibandingkan dengan tidak menggunakan FM? Perangkat lunak apa yang Anda …

17 code-quality  formal-methods 

Ditutup . Pertanyaan ini didasarkan pada pendapat . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga dapat dijawab dengan fakta dan kutipan dengan mengedit posting ini . Ditutup 2 tahun yang lalu . Metode formal dapat digunakan untuk menentukan, membuktikan, dan menghasilkan kode untuk suatu aplikasi. …

14 development-process  code-quality  formal-methods 

"Teori pengujian perangkat lunak" Googling tampaknya hanya memberikan teori dalam arti kata yang lembut; Saya belum dapat menemukan apa pun yang akan diklasifikasikan sebagai teori dalam matematika, informasi teoretis atau pengertian bidang ilmiah lainnya. Apa yang saya cari adalah sesuatu yang memformalkan pengujian itu, pengertian yang digunakan, apa itu ujian, …

12 testing  math  theory  formal-methods  information-theory 

Saya saat ini refactoring bagian dari basis kode besar tanpa unit test apa pun. Saya mencoba untuk memperbaiki kode dengan cara kasar, yaitu dengan mencoba menebak apa yang dilakukan kode dan perubahan apa yang tidak akan mengubah artinya, tetapi tanpa hasil: secara acak memecah fitur-fitur di sekitar basis kode. Perhatikan …

10 unit-testing  refactoring  legacy  formal-methods