द्वारा कार्यक्रम tcgtool.sf.net

टीसीजीटूल परिमित राज्य मशीनों से परीक्षण मामलों के उत्पादन के लिए एक उपकरण है। उपकरण उपयोगकर्ता को एक मीली मशीन निर्दिष्ट करने की अनुमति देता है और फिर उपयोगकर्ता द्वारा चुनी गई विधि का उपयोग करके परीक्षण मामलों को उत्पन्न कर