SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
research:cultivate:testingprolog [2009/09/17 20:37]
127.0.0.1 external edit
research:cultivate:testingprolog [2018/05/09 01:59] (current)
Line 1: Line 1:
 +====== Testing from within Prolog ======
 +
 +
 +setUp('​...'​) :- assert...
 +
 +test('​...'​) :- predicate, checks. (failure lässt auch test fehlschlagen)
 +
 +
 +
 +tearDown('​...'​) :- retract...
 +
 +
 +
 +besser als normaler Fehlschlag in Tests:
 +test(...) :- assert_true(predicate mit eingesetzten werten).
 +
 +
 +
 +runtests. (Ausführen der Tests in Prolog-Konsole)
 +
 +
 +
 +org.cs3.pdt.internal.punit
 +
  
research/cultivate/testingprolog.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019