Ruby-BDD. Ruby-BDD هو ملزم BDD ل Ruby.
التحميل الان

Ruby-BDD. الترتيب والملخص

Ruby-BDD. العلامات

ربط مكتبة روبي BDD BDD ملزمة Ruby-BDD.

Ruby-BDD. وصف

Ruby-BDD هو ملزم BDD ل Ruby. Ruby-BDD هو ملزم BDD ل Ruby.bdds (أو Robdds أكثر دقة) هي هياكل بيانات فعالة لتمثيل صيغة منطقية. يتم استخدامها على نطاق واسع في التحقق الرسمي، ولا سيما التحقق من النموذج الرمزي. تتمثل فكرة التحقق من النموذج الرمزي في تمثيل مجموعات من علاقات انتقال الدول كصيغة (وحسب نقطة إصلاح مجموعة من جميع الدول القابلة للوصول إلى تحليل رواد الوصول). Buddy هي مكتبة BDD مكتوبة في C مع API ج و C ++. إنه مطور ودود مع واجهة بسيطة. وهي تدعم جميع عمليات BDD القياسية، والطلب المتغير، والطباعة، لديها مجموعة من القمامة الآلي، وهي تجميعها على منصة UNIX و Windows.Ruby، على الرغم من كونها لغة نصية، هي لغة قوية ونظيفة موجهة نحو كائن من السهل جدا تعلمها و استعمال. على وجه الخصوص، مناسبة تماما لأغراض النماذج الأولية والتعليم السريعة. Ruby-BDD هو ملزم ل Ruby على أساس صديقي يوفر فئات BDD لإنشاء ومعالجة BDDS في Ruby.What في هذا الإصدار: يضيف هذا الإصدار دعما لمتوافرات البت والنطاقات المحدودة. معظم مكتبة الأصدقاء متاحة الآن من خلال API نمط روبي.

Ruby-BDD. برامج ذات صلة