القطرية
التحميل الان

القطرية الترتيب والملخص

القطرية العلامات

انشاء نص مولد النص مولد كهرباء توليد النص جيل النص

القطرية وصف

أداة لتوليد مدخلات النص المعقدة لبرامج Java Korat هي أداة مجانية ومفتوحة المصدر التي تم بناؤها للجيل القائم على مدخلات الاختبار المعقدة هيكليا لبرامج Java. معقدة هيكليا يعني أن المدخلات هيكلية (على سبيل المثال، ممثلة بنيكل بيانات مرتبط) ويجب أن تلبي القيود المعقدة التي تتعلق أجزاء من الهيكل على سبيل المثال، يتطلب الثباتات من أجل هياكل البيانات المرتبطة). Korat يتطلب مسندا حتميا يحدد القيود الهيكلية المرغوبة و التصادم الذي يحد حجم إدخال الاختبار المطلوب. تقوم Korat بإنشاء جميع المدخلات المسند (داخل الحدود) التي ترجع المسند إليها صحيحا. للقيام بذلك، تؤدي Korat بحثا منهجيا في مساحة الإدخال المسند. المدخلات التي تنشئها Korat تمكين الاختبار الشامل الدائم للبرامج التي تتراوح من فئات المكتبة إلى التطبيقات المستقلة. يمكن Korat إظهار الهياكل بيانيا التي تنشئها. كان التصور في كورات مستوحى من السبائك، ويستخدم تطبيق كورات الحالي لدينا مرفق التصور في سبائك محلل، والذي يوفر عرضا للتخصيص بالكامل يسمح للمستخدمين بتحديد المشاهدات المرغوبة على الهياكل الأساسية. تقوم Korat تلقائيا بترجمة الرسوم البيانية للكائنات في تمثيل السبائك. متطلبات: جاوة

القطرية برامج ذات صلة