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

राज्य संक्रमण परीक्षण निर्माता एक राज्य मशीन के व्यवहार का परीक्षण करने के लिए परीक्षण के मामलों का एक सेट बनाता है । स्टेटमशीन और व्युत्पन्न दोनों परीक्षणों की स्थिरता और पूर्णता पर जांच की जाती है। परिणाम क्लिपबोर्ड या एचटी