रिएक्टिस
अब डाउनलोड करो

रिएक्टिस रैंकिंग और सारांश

रिएक्टिस टैग

रिएक्टिस विवरण

रीएक्टिस मॉडल-आधारित डिज़ाइन प्रक्रिया में कई सत्यापन और सत्यापन कार्यों को स्वचालित करके इंजीनियरों को बेहतर सॉफ्टवेयर का निर्माण करने में मदद करता है। मॉडल-आधारित डिजाइन इंजीनियरों के बीच लोकप्रियता में बढ़ रहा है जो एम्बेडेड नियंत्रण सॉफ्टवेयर विकसित करते हैं। मॉडल-आधारित डिजाइन में, एम्बेडेड नियंत्रण सॉफ्टवेयर के निष्पादन योग्य दृश्य मॉडल सिस्टम कार्यान्वयन के पहले विकसित किए जाते हैं। मॉडल का उपयोग नियंत्रण सॉफ्टवेयर के विकास को चलाने के लिए किया जा सकता है, और सॉफ्टवेयर और सिस्टम परीक्षण के आधार के रूप में भी कार्य कर सकता है। मॉडल-आधारित डिजाइन का एक लाभ यह है कि यह इंजीनियरों को डिजाइन समय पर डिबगिंग और सत्यापन गतिविधियों को शुरू करने की अनुमति देता है, जब डिजाइन दोषों का पता लगाने और निपटने की लागत सॉफ्टवेयर और सिस्टम कार्यान्वयन स्तर की तुलना में बहुत छोटी होती है। दूसरा यह है कि सिस्टम परीक्षण और सत्यापन के दौरान कार्यान्वयन व्यवहार का आकलन करने के लिए मॉडल को बेसलाइन के रूप में उपयोग किया जा सकता है। इन कारणों से, मॉडलिंग का न्यायसंगत उपयोग नियंत्रण-प्रणाली के विकास की लागत में काफी नाटकीय ओवर-ऑल कटौती का कारण बन सकता है, खासकर जब मजबूत उपकरण समर्थन उपलब्ध होता है। विशेषताएं: - एक मॉडल से परीक्षण उत्पन्न करें जो पूरी तरह से मॉडल (संरचनात्मक परीक्षण) का प्रयोग करता है; - एक मॉडल में रनटाइम त्रुटियों (उदा। ओवरफ़्लो त्रुटियों, विभाजन-दर-शून्य त्रुटियों) का पता लगाएं; - मॉडल और ट्रैक कवरेज (उदा। एमसी / डीसी) निष्पादित करें; - यह जांचने के लिए कार्यात्मक परीक्षण करें कि मॉडल अपनी आवश्यकताओं का उल्लंघन कर सकता है या नहीं; - एक रिकॉर्डिस परीक्षण सूट का उपयोग एक ओरेकल के रूप में करें यह जांचने के लिए कि कोड एक मॉडल के अनुरूप है या नहीं।

रिएक्टिस संबंधित सॉफ्टवेयर