هذا هو الأمر cpbm الذي يمكن تشغيله في مزود الاستضافة المجانية OnWorks باستخدام إحدى محطات العمل المجانية المتعددة على الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
cpbm - مجموعة أدوات لتحليل البرامج (في الأصل: إطار عمل قياس CPROVER)
موجز
CPBM قيادة فرعية [الخيارات]
الوصف
توثق صفحة الدليل هذه بإيجاز ملف CPBM أمر.
CPBM يوفر الوصول إلى مجموعة من البرامج النصية والأدوات لقياس تحليل البرامج
الأدوات.
الأوامر الفرعية
الأوامر الفرعية التالية متوفرة ؛ كل واحد منهم لديه مجموعة من الخيارات التي هي
يتضح من CPBM أمر --مساعدة.
مساعدة | --مساعدة
عرض نص تعليمات cpbm.
--الإصدار
اعرض الإصدار الحالي.
الصفحة الرئيسية اطبع المسار حيث توجد البرامج النصية لـ cpbm.
فضا فك الحزمة المعيارية CPROVER.
تحديث قم بتحديث حزمة اختبار CPROVER.
الحرف الأول قم بإنشاء حزمة اختبار CPROVER.
يجري قم بتشغيل أداة تحقق على مقياس أداء معين واحصل على السجلات.
سليفي
تشغيل مصادر C من خلال Cil.
قائمة المطالبات
قائمة بجميع المطالبات في معيار.
CSV قم بإنشاء جدول CSV من عمليات التشغيل المعيارية.
جدول قم بإنشاء جدول LaTeX من CSV.
رسم بياني قم بإنتاج نصوص GNUplot لمخططات مربعات ومخططات مبعثرة.
الويب قم بإنشاء جدول HTML وجمع ملفات السجل للنشر على الويب
استخدم cpbm عبر الإنترنت باستخدام خدمات onworks.net
