JTLV. أداة جديدة تهدف إلى تسهيل وتوفير إطار موحد للتنمية
التحميل الان

JTLV. الترتيب والملخص

JTLV. العلامات

تطوير طور خوارزمية تطوير الخوارزمية تطوير الخوارزمية بناء وحدة تصميم

JTLV. وصف

أداة جديدة تهدف إلى تسهيل وتوفير إطار موحد للتنمية يوفر JTLV API مستخدم Java Pure Java، في حين أن التعقيد الأسي المستمد من استخدام BDDS، يتم تنفيذه بالفعل في C، ويتم الوصول إليه من خلال JNI إلى مكتبات C (جميع تطبيق BDD الأساسي غير مرئي للمستخدم). مع تقديم وتنفيذ حتى أبسط خوارزمية رسمية جديدة، يجب أن يكون المطور مدركا تماما للنظام بأكمله وهي تنفذها أو خوارزميةه. كما لو كان ذلك لم يكن كافيا، من طبيعة المجال الرسمي، يتم تنفيذ معظم الأنظمة في كود C منخفض المستوى جدا. هذا منذ تعقيد هذه الخوارزميات في هذه الإجهاد الأسية للبدء مع .jtlv هي أداة جديدة تهدف إلى تسهيل وتوفير إطار موحد لتطوير خوارزميات التحقق الرسمية في بيئة برمجة عالية المستوى. هناك العديد من مكتبات BDD لاختيار من بينها، و حزمة BDD المستخدمة، يمكن ضبطها أثناء التشغيل المسبق، أو ديناميكيا أثناء وقت التشغيل. واجهة BDD بأكملها كلها بفضل مشروع Javabdd.Using في مكتبة BDD المختارة، يستمر JTLV في بناء وحدات التصميم. حاليا، يمكن تحديد وحدات التصميم باستخدام تنسيقات SMV أو أو FDS (FDS هو تنسيق أبسط لتحديد آلات الحالة الدقيقة، والتي تم تنفيذها أولا من أجل إثبات جدوى هذا المشروع). تمت كتابة كلا المحللين باستخدام Antlr V3. يتم توصيل محلل SMV أيضا بالمحرر، والذي يتيح استخدام المرافق الجميلة التي يمكن أن تقدمها الكسوف (لا تزال الكثير لتأتي في هذه المنطقة). من ناحية أخرى، يمكن لمصممي الخوارزمية تحميل ملف المواصفات (SPC). دعم JTLV تقريبا كل تنسيق المواصفات الزمنية المعروفة. يتم توصيل محلل SPC أيضا بالكتكسل كتحرير، مما يمنحه المرافق الجميلة التي يمكن أن تقدمها الكسوف. متطلبات: جاوة

JTLV. برامج ذات صلة