formal-methods पर टैग किए गए जवाब

सिविल इंजीनियरिंग के साथ सॉफ्टवेयर इंजीनियरिंग की तुलना करते हुए, मैं सोच के एक अलग तरीके का पालन करने के लिए आश्चर्यचकित था: कोई भी सिविल इंजीनियर जानता है कि यदि आप बगीचे में एक छोटी सी झोपड़ी का निर्माण करना चाहते हैं, तो आप केवल सामग्री प्राप्त कर सकते …

63 programming-practices  theory  formal-methods 

यदि आपको प्रोग्रामिंग के लिए औपचारिक तरीकों (एफएम) के उपयोग में प्रशिक्षित किया गया है : आपने इसे कितना उपयोगी पाया है? आपके एफएम प्रशिक्षण में क्या शामिल था (उदाहरण के लिए, एक पुस्तक)? आप कौन से FM टूल का उपयोग करते हैं? FM का उपयोग न करने की तुलना …

17 code-quality  formal-methods 

बंद हो गया । यह सवाल राय आधारित है । यह वर्तमान में उत्तर स्वीकार नहीं कर रहा है। इस प्रश्न को सुधारना चाहते हैं? प्रश्न को अपडेट करें ताकि इस पोस्ट को संपादित करके तथ्यों और उद्धरणों के साथ उत्तर दिया जा सके । 2 साल पहले बंद हुआ …

14 development-process  code-quality  formal-methods 

Googling "सॉफ़्टवेयर परीक्षण सिद्धांत" केवल शब्द के नरम अर्थ में सिद्धांत देने के लिए लगता है; मुझे ऐसा कुछ भी नहीं मिला है जो गणितीय, सूचना सैद्धांतिक या किसी अन्य वैज्ञानिक क्षेत्र की समझ में एक सिद्धांत के रूप में वर्गीकृत हो। मैं जो कुछ खोज रहा हूं वह कुछ …

12 testing  math  theory  formal-methods  information-theory 

मैं वर्तमान में किसी भी यूनिट परीक्षण के साथ एक बड़े कोडबेस के एक हिस्से को फिर से बना रहा हूं। मैंने ब्रूट तरीके से कोड को रीफ़ैक्टर करने की कोशिश की, यानी कोड क्या कर रहा है और क्या बदलाव होता है, इसका अनुमान लगाने की कोशिश करने से …

10 unit-testing  refactoring  legacy  formal-methods