دايكون الكاشف الثابت
التحميل الان

دايكون الترتيب والملخص

دايكون العلامات

كاشف كشف كاشف الثبات اكتشاف ثابت برنامج ثابت ثابت MSN Webcam تجسس بلاك بيري منحنى 8630. dj java decompiler. ميركوري ساوند 7050. لينكس القبض على الشاشة PDF إلى MDB. دردشة مقلة العين prizm المكونات في whitetail deer screensivers. عيد ميلاد تذكير ل برنامج فك التشفير التلفزيوني zl البريد الإلكتروني

دايكون وصف

Daikon هو تنفيذ الكشف الديناميكي للمباتاريين المحتملين؛ وهذا هو، فإن كاشف Daikon Invariant Cidecter يبلغ برنامج الثبات المحتمل. الثابتة هي عقار يحمل نقطة أو نقاط معينة في البرنامج؛ غالبا ما ينظر إلى هذه في بيانات التأكيد والوثائق والمواصفات الرسمية. يمكن أن يكون الثبات مفيدا في فهم البرنامج ومجموعة من التطبيقات الأخرى. وتشمل الأمثلة ".Field> ABS (Y)"؛ "Y = 2 * X + 3"؛ "صفيف A يتم فرزها"؛ "لجميع كائنات القائمة LST، lst.next.prev = lst"؛ "بالنسبة لجميع كائنات tereenode n، n.left.value

دايكون برامج ذات صلة