===== Claim =====
[[dido:public:ra:xapend:xapend.a_glossary:start| Return to Glossary ]]

A **Claim** is a statement asserting some characteristic, property, or behavior of the software or system that can be evaluated for truthfulness, is demonstrable, and is supported by arguments based on objective [[dido:public:ra:xapend:xapend.a_glossary:e:evidence|evidence]]. A claim may be further decomposed into [[dido:public:ra:xapend:xapend.a_glossary:s:subclaim]], and expressed either as a positive or negative statement.

For example, one can declare positive claims about the requirements-based, quality properties of software, such as its dependability or [[dido:public:ra:xapend:xapend.a_glossary:a:availability|availability]], or one can make negative claims about the same software by claiming that the code does not contain specific weaknesses and vulnerabilities in the design and implementation that could be exploited to break or compromise the system.

See also: 
  * [[dido:public:ra:xapend:xapend.a_glossary:s:subclaim]]
  * [[dido:public:ra:xapend:xapend.a_glossary:a:argument]]
  * [[dido:public:ra:xapend:xapend.a_glossary:e:evidence]]

Source: [[https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4548534/#b13-v115.n03.a05]]