क्या कोई ऐसा उपकरण है जो मॉडल को बड़ी, असली दुनिया, ज्यादातर-सी ++, वितरित सिस्टम, जैसे केडीई की जांच कर सकता है?मॉडल के लिए उपकरण बड़े, वितरित सी ++ परियोजनाओं जैसे कि केडीई की जांच?
(केडीई इस अर्थ में एक वितरित प्रणाली है कि यह आईपीसी का उपयोग करता है, हालांकि आम तौर पर सभी प्रक्रियाएं एक ही मशीन पर होती हैं। हाँ, वैसे, यह "वितरित प्रणाली" का वैध उपयोग है - विकिपीडिया की जांच करें।)
उपकरण को इंट्राप्रोसेस घटनाओं और अंतर-प्रक्रिया संदेशों से निपटने में सक्षम होने की आवश्यकता होगी।
(मान लेते उपकरण सी ++ का समर्थन करता है, लेकिन अन्य सामग्री पर केडीई इस तरह के MOC के रूप में उपयोग करता है का समर्थन नहीं करता है, तो यह है कि, हम उस वैकल्पिक हल के लिए एक साथ कुछ हैक कर सकते हैं।)
मैं खुशी से कम सामान्य स्वीकार करेंगे (उदाहरण के लिए वास्तविक मॉडल चेकर्स के बदले स्थिर विश्लेषकों को बग के विशिष्ट वर्गों को खोजने के लिए विशेषीकृत) या अधिक सामान्य स्थैतिक विश्लेषण विकल्प। लेकिन मुझे केवल उन उपकरणों में दिलचस्पी है जो वास्तव में केडीई के आकार और जटिलता की परियोजनाओं को संभाल सकते हैं।
वहाँ बड़े * गैर * रियल-दुनिया के ज्यादातर सी ++ वितरण प्रणाली रहे हैं? :-) – Ken
क्या आप मॉडल जांच द्वारा अपना मतलब समझ सकते हैं? –
मुझे यकीन है कि उसका मतलब संपत्तियों के लिए राज्य-स्थान की जांच (http://en.wikipedia.org/wiki/Model_checking का कुछ विशिष्ट उदाहरण) है, और उसने हमें यह बताकर संकेत दिया है कि उसके पास संदेश का उपयोग करके एक वितरित प्रणाली है primitives, तो प्रक्रिया इंटरैक्शन द्वारा गठित राज्यों का एक अंतर्निहित सेट है। लेकिन विवरण मायने रखता है। –