publication . Article . 2015

Coverage Criteria for Set-Based Specifications

Maximiliano Cristiá; Joaquín Cuenca; Claudia Frydman;
Open Access English
  • Published: 25 Nov 2015 Journal: Revista de Informática Teórica e Aplicada (issn: 2175-2745, eissn: 0103-4308, Copyright policy)
  • Publisher: Instituto de Informática - Universidade Federal do Rio Grande do Sul
<jats:p>Model-based testing (MBT) studies how test cases are generated from a model of the system under test (SUT). Many MBT methods rely on building an automaton from the model and then they generate test cases by covering the automaton with different path coverage criteria. However, if a model of the SUT is a logical formula over some complex mathematical theories (such as set theory) it may be more natural or intuitive to apply coverage criteria directly over the formula. On the other hand, domain partition, i.e. the partition of the input domain of model operations, is one of the main techniques in MBT. Partitioning is conducted by applying different rules o...
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue