가이드
증거 그래프
증거 그래프는 릴리스 결정이 기대는 모든 것을 타입이 있는 노드와 타입이 있는 엣지로 하나의 JSON 파일에 쓴 것입니다. 실행이 평가한 시스템, 스위트, 평가기 버전, 그로부터 계산된 추정치, 정책 아래에서 추정치를 읽은 결정, 결정을 승인한 사인오프, 결정이 측정하는 위험 요소, 결정이 뒷받침하는 보증 사례의 주장, 그리고 그 옆의 형식 검증 결과를 담습니다. 증거가 불완전하거나 오래되었거나 충돌하는 곳도 지명하므로, 검토자는 다른 무엇을 읽기 전에 공백을 봅니다.
그리기
oloproof evidence graph --out graph.json
oloproof evidence graph run_01J9 --out run.json
oloproof evidence graph --record decision-record.json --out record-graph.json실행을 지정하지 않으면 그래프는 각 시스템의 각 스위트 최신 실행을 다룹니다. 위험 요소 등록부와 보증 사례가 비추어 읽히는 것과 같은 실행입니다. 실행 ID 를 지정하면 그 실행과 그것을 읽는 모든 주장을 다룹니다. --record 를 지정하면 결정 레코드 파일만으로 그려지므로, 다른 당사자가 여러분의 저장소 없이 레코드가 무엇을 담고 있는지 볼 수 있습니다. 레코드가 이름만 지명하는 것(다이제스트로 지명한 위험 요소 등록부와 보증 사례)은 노트에 나열됩니다. --out 이 없으면 그래프가 출력됩니다.
들어 있는 것
파일에는 "graph": "oloproof.evidence_graph/v1" 이라고 적혀 있습니다. 각 노드에는 id(run:run_01J9 나 decision:run_01J9/label-floor 처럼 타입이 붙은 것), type, label, attributes(상태, 구간, 다이제스트), 그리고 노드가 기대는 것인 basis 가 있습니다.
- computed: 기록된 증거로부터 엔진이 계산한 것. 구간이 있는 추정치, 결정.
- signed: 등록된 러너가 서명한 것으로, 그 서명은 oloproof record verify 가 확인합니다.
- attested: 이름이 밝혀진 사람들이 증언한 것. 릴리스 정책, 사인오프, 위험 요소, 주장.
- imported: 다른 도구에서 가져온 것. oloproof scores import 가 읽은 점수, 솔버의 결과.
노드 타입은 system_version, suite_version, evaluator_version, run, estimate, decision, policy, signoff, hazard, claim, proof 입니다. 엣지에도 타입이 있습니다. 실행은 시스템 버전을 evaluates 하고 스위트 버전 위에서 on_suite 실행됩니다. 추정치는 실행에서 computed_from 되고 평가기 버전에 의해 judged_by 됩니다. 결정은 정책 아래에서 under_policy 추정치를 reads 합니다. 사인오프는 결정을 approves 합니다. 위험 요소는 결정에 의해 measured_by 됩니다. 그리고 주장은 결정, 위험 요소, 형식 검증 결과, 하위 목표에 의해 supported_by 됩니다.
보고하는 것
- dangling: 그래프가 보유하지 않은 대상을 가리키는 엣지와 그 이유. 실행이 결정하지 않은 규칙을 지명하는 위험 요소나, 지표에 저장된 결과가 없는 결정은 사라지지 않고 여기에 나타납니다.
- stale: 증거가 비교 대상과 더 이상 일치하지 않는 실행과 그 각 이유, 그리고 그 실행에 기대는 모든 노드. 로컬에서는 실행을 지금의 프로젝트와 비교합니다. 워크스페이스에서, 그리고 프로젝트 파일이 없을 때는 같은 시스템과 스위트에 대한 저장소의 가장 새로운 실행과 비교합니다. 레코드에서 그린 그래프는 비교할 대상이 없으므로 아무것도 오래되었다고 보고하지 않습니다.
- contradictions: 하나의 속성과 하나의 모델에 대해 서로 어긋나는 두 형식 검증 결과, 그리고 실패한 증거로 논증된 주장.
그래프 안의 어떤 것도 무언가를 결정하지 않습니다. 상태는 엔진의 결정이며, 주장의 상태는 oloproof assurance check 가 보고하는 것입니다.
워크스페이스에서
실행의 증거 페이지는 거버넌스가 적용된 실행의 결정 레코드 옆에, 푸시한 증거로부터 엔진이 그린 그래프를 다운로드할 수 있게 제공합니다.