Operace
- Inspect a check: strukturální vyhodnocení funkcí zohledňující aktuálnost.
- Diff: obsahově adresované rozdíly mezi stavy funkcí.
- Propose: návrhy na přijetí nebo změnu funkcí deklarované volajícím.
- Graph: deterministické jednorázové grafy funkcí ke kontrole.
Registrované pokrytí
Aktuální registrovaný katalog je výslovně částečný:- 110 registrovaných funkcí
- 35 registrovaných rozsahů vlastníků
- 76 ratifikovaných vnořených funkcí
- 295 zkontrolovaných ploch správy funkcí (285 povinných, 13 výjimek podložených důkazy, 9 zákazů, 0 nezkontrolovaných)
qxctl a validátoru přes enginy SKV a poskytovatele SSIAG až po rodiny enginů SCV a SHV.
Co SSFV nedělá
Kontrola, přijetí a změny životního cyklu funkcí zůstávají u kontraktu, který danou funkci vlastní.Související oblasti
Přehled SKV
Zastřešující framework, který spravuje SSFV.
SEV
Uplatňuje případy evoluce na přidání, změny a vyřazení funkcí.
qxctl session
Správa perzistentních relací údržby SSFV přes qxctl.
Vektorové příkazy qxctl
Spusťte
qxctl ssfv ... pro inspect, check, diff, propose a graph.