An approach to testing conceptual schemas

Tort, Albert; Olivé, Antoni

doi:10.1016/j.datak.2010.02.002

Cited by 19 publications

(21 citation statements)

References 51 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…OCL constraints) by using action sequences taken from the same CS or defined ad-hoc by the tester to test the CS behaviour. Only Tort et al's work [53] addresses the completeness and correctness of the CS. However, as can be seen in Table 3.3.…”

Section: Dimension-based Comparisonmentioning

confidence: 99%

“…The most recent work, and the one most closely related to our framework is the testing approach proposed by Tort and Olivé [53] with their CSTL Processor tool [100]. These artefacts have been used in a method [101] to apply the principles of TDD (Test-Driven Development) to conceptual modelling.…”

Section: Dimension-based Comparisonmentioning

confidence: 99%

“…[53], [54], [55], [56] Regarding test case generation, a weak point of the related work is that most of them deal with the manual and unsystematic derivation of test cases. Only the method proposed by Gogolla et al [55] generates the test cases semiautomatically using snapshots code.…”

Section: Testing Feature Comparisonmentioning

confidence: 99%

“…class diagram including operations and OCLs [53]; class diagram, interaction diagram and activity diagrams [54]; class and sequence [55] [56], and so on.…”

Section: Domainmentioning

confidence: 99%

“…[53], [54], [55] [56]) mainly aim at the completeness of a CS by validating the requirements. However, semantic correctness, confinement and changeability can be improved by analysing the elements covered and elements not covered (extraneous elements) by test cases (see Tables 3.1 Since information from separate diagrams (i.e.…”

Section: Quality Goalmentioning

confidence: 99%

See 4 more Smart Citations

Testing-Based Conceptual Schema Validation in a Model-Driven Environment

Granda

View full text Add to dashboard Cite

Section: Dimension-based Comparisonmentioning

confidence: 99%

Section: Dimension-based Comparisonmentioning

confidence: 99%

Section: Testing Feature Comparisonmentioning

confidence: 99%

“…class diagram including operations and OCLs [53]; class diagram, interaction diagram and activity diagrams [54]; class and sequence [55] [56], and so on.…”

Section: Domainmentioning

confidence: 99%

Section: Quality Goalmentioning

confidence: 99%

See 3 more Smart Citations

Testing-Based Conceptual Schema Validation in a Model-Driven Environment

Granda

View full text Add to dashboard Cite

Test-Driven Development of Ontologies

Keet

Ławrynowicz

2016

The Semantic Web. Latest Advances and New Domains

View full text Add to dashboard Cite

Emerging ontology authoring methods to add knowledge to an ontology focus on ameliorating the validation bottleneck. The verification of the newly added axiom is still one of trying and seeing what the reasoner says, because a systematic testbed for ontology authoring is missing. We sought to address this by introducing the approach of test-driven development for ontology authoring. We specify 36 generic tests, as TBox queries and TBox axioms tested through individuals, and structure their inner workings in an 'open box'-way, which cover the OWL 2 DL language features. This is implemented as a Protege plugin so that one can perform a TDD test as a black box test. We evaluated the two test approaches on their performance. The TBox queries were faster, and that effect is more pronounced the larger the ontology is. We provide a general sequence of a TDD process for ontology engineering as a foundation for a TDD methodology.

show abstract