2 مقالات موسومة بـ "Compiler"

orb validate لا يتحقق من الصياغة فقط. بل يمشي على رسم آلة الحالة ويُثبت خصائص تحتاج عادةً عشرات الاختبارات المكتوبة يدوياً. الدوائر المغلقة، عقود الإرسال، صحة الربط، ومتطلبات خصائص الأنماط — كلها تُفحص قبل توليد أي شيفرة.

orb validate يُثبت الخصائص البنيوية. orb test يذهب أبعد — يمشي على كل حافة في كل آلة حالة، ويُطلق كل حدث من كل حالة، ويتحقق أن الحرّاس يمنعون ويسمحون بشكل صحيح. لا تكتب أي شيفرة اختبار. الرسم البياني هو خطة الاختبار.