Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

Add generic module verification and inspection needs to metamodel

Đang mở
  • Có gì không ổn?
#611 2 bình luận 0 reaction 1 người được giao Xem trên GitHub

Maintainer thường phản hồi trong vòng 1 ngày

@FScholPer đang làm issue này rồi.

Từ ngày 22/6/2026.

  • #612 của @FScholPer — đã đóng, không merge

Đánh giá

Issue này chưa được đánh giá.

Mô tả

Summary

Add metamodel support for module-level verification reporting and formal inspection evidence in a way that is generic, scalable, and aligned with S-CORE verification/review concepts.

Background

Current metamodel support is strong for requirement/test traceability (testcase -> fully_verifies/partially_verifies), but module-level verification reporting and checklist-based inspection evidence are not modeled as first-class, flexible needs.

The process expects Module Verification Reports to aggregate heterogeneous evidence (tests, analyses, inspections, coverage, logs/results, qualification evidence), and inspections may use different checklist families (requirements, architecture, implementation, etc.).

Scope

Introduce and integrate:

  • mod_ver_report as a module-level verification aggregation need.
  • mod_insp as a formal inspection evidence need.
  • Extra link types to support broad evidence linkage (evidence) and inspection scope (inspects).
  • Generic linking behavior so reports/inspections can reference many relevant need types (not only a narrow fixed subset).

Requirements

  • Keep existing direct testcase-to-requirement verification links unchanged.
  • Allow mod_ver_report to aggregate evidence for:
    • requirement coverage
    • architecture/detailed design verification
    • DFA/safety/security analysis evidence
    • test results and retained logs
    • static analysis and structural coverage evidence
    • component qualification verification evidence
  • Allow mod_insp to reference multiple checklist/evidence artifact flavors (req/arc/impl/custom).
  • Keep compatibility with existing status patterns and avoid global schema churn.

Acceptance Criteria

  • Metamodel contains mod_ver_report and mod_insp definitions with required metadata and links.
  • mod_ver_report can link to heterogeneous evidence using generic relations (e.g. contains, evidence, covers).
  • mod_insp can link to arbitrary inspected artifacts and checklist evidence.
  • needs_extra_links includes required link types for evidence and inspection.
  • No metamodel parsing/lint errors.

Follow-ups (optional but recommended)

  • Add graph checks for ASIL-specific verification evidence completeness.
  • Add doc examples showing how to populate mod_ver_report and mod_insp with real module artifacts.
  • Align templates/how-to pages with the new needs.

** Co-created by github copilot

Ngôn ngữ chính
Python
Star
11
Fork
35
Merge trung bình
1 ngày 6 giờ
Pull request đã merge (30 ngày)
72

Chuẩn bị môi trường

Mở trong Codespaces

Khởi chạy dev container của dự án ngay trên trình duyệt, bằng tài khoản GitHub của bạn.

  • Không có Dockerfile hay tệp Docker Compose
  • Có mẫu pull request
  • Không có hướng dẫn đóng góp

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của eclipse-score/docs-as-code

Tất cả issue của eclipse-score/docs-as-code

Issue tương tự

Thêm issue về Python

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.