Add generic module verification and inspection needs to metamodel
メンテナーはふだん 1 日以内に返信
評価
この issue はまだ評価されていません。
説明
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_reportas a module-level verification aggregation need.mod_inspas 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_reportto 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_inspto 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_reportandmod_inspdefinitions with required metadata and links. mod_ver_reportcan link to heterogeneous evidence using generic relations (e.g.contains,evidence,covers).mod_inspcan link to arbitrary inspected artifacts and checklist evidence.needs_extra_linksincludes 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_reportandmod_inspwith real module artifacts. - Align templates/how-to pages with the new needs.
** Co-created by github copilot
- 主要言語
- Python
- スター
- 11
- フォーク
- 33
- 平均マージ
- 22時間 18分
- マージ済み PR（30日）
- 61
環境構築
このプロジェクトの環境構築ファイルはまだ確認していません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
eclipse-score/docs-as-code のほかの issue
-
bug: metamodel reference has no menu対応中かも @Logeshwari-Sithan が 4 日前に担当しました。 オープンgood first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
eclipse-score/docs-as-code#850 · 担当者 1 名 ·
メンテナーはふだん 1 日以内に返信
-
make _build folder configurable対応中かも @naveena456 が 7 日前に担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
eclipse-score/docs-as-code#771 · 担当者 1 名 ·
メンテナーはふだん 1 日以内に返信
-
documentation
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
eclipse-score/docs-as-code#613 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
update py_venvオープン
難易度 2/5 1〜3時間 初心者へのやさしさ 65/100
eclipse-score/docs-as-code#606 ·
メンテナーはふだん 1 日以内に返信
-
bug waiting_for_author
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
eclipse-score/docs-as-code#288 · コメント 2 件 ·
メンテナーはふだん 1 日以内に返信
eclipse-score/docs-as-code の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
spec-kitty/spec-kitty#5319 ·
メンテナーはふだん 1 日以内に返信
-
backend::vllm diffusion multimodal
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
openai/openai-agents-python#5229 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
メンテナーはふだん 1 日以内に返信