ARBITER

ARBITER is an evidence-based software assurance case generation tool. Instead of a general-purpose assurance case editor, ARBITER builds assurance cases automatically by populating argument templates with evidence from systems engineering and software development artifacts. Causal models of the software, based on assume-guarantee contracts, integrate evidence from unit, integration, and system tests verify correct and secure operation that individual tests might miss. 

For the evaluator, ARBITER balances checking completeness of assurance cases by checking every subclaim for evidence or counterevidence, while highlighting the key claims within. The library of argument templates is reviewable independent of the product, allowing correct by construction generation of the assurance case when combined with the development artifacts. Measures of evidentiary support on the assurance case claims indicate how well the claim is supported.