النطاق والتغطية
يمكن أن يغطي SHV أي قدرة مادية موثّقة بالأدلة ذات صلة بتصميم البرامج. وتتحكم أنت في ملف تعريف التغطية عبر qxctl. أساس التاريخ الافتراضي هو تاريخ طرح الطراز، وليس تاريخ تصنيع فردي مُستنتجًا. ويمكنك توسيع هذا المرشح أو تضييقه أو استبداله أو إزالته.المحركات المنفّذة
تُقدَّم معرفة SHV عبر عدة محركات C++ قابلة للتثبيت بشكل مستقل:shv-engine
النواة الأساسية (0.4.0-dev): ملفات تعريف التغطية، وبناء الكتالوج من المصادر المحتفَظ بها وإعادة تشغيله، وتقييم المتطلبات، والإسقاط الحتمي للرسوم البيانية، والتحقق من الرسوم البيانية المدعوم بالمصادر.
shv-source-engine
هوية المصدر، وخطط النقل، وربط التقاط البايتات، ورسوم بيانية للمنشأ مُعاد تشغيلها من المصدر.
shv-profile-engine
مطابقة التصريحات، والوصفات المحمولة، والربط الدقيق بالمصادر المحلية.
shv-partition-engine
عمليات تقسيم العتاد وتعيين المكونات.
shv-publication-engine
رؤوس كتالوج المستدعي المحمية، وإعادة تشغيل المصدر الأصلي، والاسترداد الدائم للقطات.
shv-graph-adapter
منفذ رسوم بيانية عام بلغة C++ ومحوّل مرجعي محمول في الذاكرة للتبادل دون فقد.
shv-graph-duckdb-connector
إسقاط علائقي اختياري عبر DuckDB لأدلة الرسوم البيانية للعتاد.
shv-pdf-adapter
استخراج محدود من ملفات PDF وإعادة التحقق من التأكيدات الوثائقية انطلاقًا من البايتات الأصلية.
مراجعة المصادر والمنشأ
ينفّذshv-source-engine هوية مصدر مستقرة، وخطط نقل صريحة، وتحققًا خالصًا من الانتقالات، وربط التقاط البايتات الفعلية، ورسومًا بيانية للمنشأ مُعاد تشغيلها من المصدر. وهذه عمليات للقراءة فقط. يعطي التنظيم الأساسي الأولوية لهوية المكون الأصلية والمتغيرات الموثّقة بالأدلة. ويُعالَج تفعيل المصادر المحمي بشكل منفصل؛ ولا يمنح محرك المصادر الخالص أي سلطة.
تبادل الرسوم البيانية وتخزينها
يوفرshv-graph-adapter منفذ رسوم بيانية عامًا بلغة C++ للتبادل دون فقد وللاستعلامات الهيكلية. ويُنفَّذ التخزين الدائم عبر DuckDB بوصفها قاعدة SQL الافتراضية. ولم يُختر حاليًا أي قاعدة بيانات رسوم بيانية مخصصة.
حدود أدلة PDF
يستخرجshv-pdf-adapter تأكيدات وثائقية مؤهلة من جداول PDF الصريحة ويعيد التحقق منها انطلاقًا من البايتات الأصلية بعد تبادل الرسوم البيانية العام. وتبقى التغطية العامة لملفات PDF عملًا منفصلًا محدد النطاق.
العمل المتبقي
لا يزال كل من أطلس العتاد الشامل، والاستحواذ الآلي على المصادر، وتجميع التعارضات بين المصادر المتعددة، ومشغّلات قواعد البيانات الإضافية الخاصة بالمورّدين، وتحميل الإضافات المخصصة، والتكامل مع Composer عملًا لاحقًا. كما لا تزال تعيينات المكونات الواسعة ومشغّلات المورّدين الدائمة مفتوحة.علاقة SHV بالمتجهات الأخرى
SNV
يسجّل الـ Nodes التي تحتوي على العتاد الذي يصفه SHV.
SCV
يشير إلى عروض العتاد لدى المزوّدين التي يصفها SHV بالتفصيل.
SOV
قد يتصرف بناءً على أدلة SHV عند تجهيز الـ Nodes أو تهيئتها.