Training:PhD Course on Computational Ontologies @ University of Bologna 2011/Ontology Testing/AlessandroLascu < Training:PhD Course on Computational Ontologies @ University of Bologna 2011‎ | Ontology TestingRevision as of 13:40, 12 June 2011 by AlessandroLascu (Talk | contribs) (diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Testing Exercise - document your work on methods used

Number	Requirement tested	Method used	Test applied	Error(s) found	Suggestions/ideas for solution	Additional notes
0		only for students exercising with method guidelines
1	CQ1	Unit test	SELECT ?person ?instrument WHERE { ?instrument :instrumentPlayedBy ?person . }
2	Contextual statement 1: A recorded album has one or more genres	Reasoning	Inspection of class restrictions	OK	--
3	Contextual statement 2: A track has only one genre	Reasoning	Inspection of class restrictions	OK	--
4	Contextual statement 3: A track realizes only one song	Reasoning	Inspection of class restrictions	The cardinality of the Track-Song relationship has cardinality [1,..]	A simple cardinality change is enough
3
4