provenance-cli 0.2.3

Command-line interface for Provenance requirements traceability
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123

//! Direct Requirement and Rule writes apply the deterministic writing gate.

use assert_cmd::Command;
use predicates::prelude::PredicateBooleanExt;
use predicates::str::contains;
use provenance_macros::verifies;

fn provenance() -> Command {
    Command::new(assert_cmd::cargo::cargo_bin!("provenance"))
}

fn initialized_repo() -> tempfile::TempDir {
    let repo = tempfile::tempdir().unwrap();
    provenance()
        .args([
            "init",
            "--path",
            repo.path().to_str().unwrap(),
            "--scope",
            "default",
            "--path-prefix",
            ".",
        ])
        .assert()
        .success();
    repo
}

fn export(repo: &tempfile::TempDir) -> String {
    let output = provenance()
        .args([
            "export",
            "--repo",
            repo.path().to_str().unwrap(),
            "--scope",
            "default",
            "--format",
            "json",
        ])
        .output()
        .unwrap();
    assert!(output.status.success());
    String::from_utf8(output.stdout).unwrap()
}

#[test]
#[verifies("rule_ste_direct_statement_write_gate", examples)]
fn requirement_creation_rejects_a_deterministic_violation_without_writing_the_record() {
    let repo = initialized_repo();

    provenance()
        .args([
            "requirements",
            "create",
            "--repo",
            repo.path().to_str().unwrap(),
            "--scope",
            "default",
            "--id",
            "req_rejected",
            "--statement",
            "Stop; then continue",
        ])
        .assert()
        .failure()
        .stderr(
            contains(r#""field":"statement""#)
                .and(contains(r#""standard":"ASD-STE100""#))
                .and(contains(r#""issue":9"#))
                .and(contains(r#""rule":"8.1""#))
                .and(contains(r#""start":4,"end":5"#)),
        );

    assert!(!export(&repo).contains("req_rejected"));
}

#[test]
#[verifies("rule_ste_direct_statement_write_gate", examples)]
fn rule_creation_rejects_a_deterministic_violation_without_writing_the_record() {
    let repo = initialized_repo();
    provenance()
        .args([
            "requirements",
            "create",
            "--repo",
            repo.path().to_str().unwrap(),
            "--scope",
            "default",
            "--id",
            "req_anchor",
            "--statement",
            "The anchor requirement holds",
        ])
        .assert()
        .success();

    provenance()
        .args([
            "rules",
            "create",
            "--repo",
            repo.path().to_str().unwrap(),
            "--scope",
            "default",
            "--id",
            "rule_rejected",
            "--requirement-id",
            "req_anchor",
            "--statement",
            "Use one sentence; do not join two",
        ])
        .assert()
        .failure()
        .stderr(
            contains(r#""field":"statement""#)
                .and(contains(r#""standard":"ASD-STE100""#))
                .and(contains(r#""issue":9"#))
                .and(contains(r#""rule":"8.1""#))
                .and(contains(r#""start":16,"end":17"#)),
        );

    assert!(!export(&repo).contains("rule_rejected"));
}