To access the full text documents, please follow this link: http://hdl.handle.net/2117/17346

On checking executable conceptual schema validity by testing
Tort Pugibet, Albert; Olivé Ramon, Antoni; Sancho Samsó, María Ribera
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. MPI - Modelització i processament d´informació
Ensuring the semantic quality of a conceptual schema is a fundamental goal in conceptual modeling. Conceptual schema testing is an emerging approach that helps to achieve this goal. In this paper, we focus on “what to test” and, more specifically, on the properties that test sets of conceptual schemas should have. We propose and formally define a set of four adequacy criteria which can be automatically checked in order to ensure, by testing, the necessary conditions for schema validity (correctness and relevance). The proposed criteria are independent from the languages of the schema and of the testing program. The criteria have been implemented in a prototype of a test processor able to execute test sets. The criteria have been applied to the test sets of large conceptual schemas.
Peer Reviewed
Àrees temàtiques de la UPC::Informàtica::Enginyeria del software
Conceptual modeling
Semantic computing
Semàntica computacional
info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/conferenceObject
Springer
         

Show full item record

Related documents

Other documents of the same author

Tort Pugibet, Albert; Olivé Ramon, Antoni; Sancho Samsó, María Ribera
Tort Pugibet, Albert; Olivé Ramon, Antoni; Sancho Samsó, María Ribera
Tort Pugibet, Albert; Olivé Ramon, Antoni; Sancho Samsó, María Ribera
Tort Pugibet, Albert; Olivé Ramon, Antoni; Pastor Collado, Juan Antonio
Tort Pugibet, Albert; Olivé Ramon, Antoni; Pastor Collado, Juan Antonio
 

Coordination

 

Supporters