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

Both sides previous revision Previous revision
research:cultivate:testingprolog [2009/09/17 21:18]
Daniel Speicher
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
 +
  

SEWiki, © 2019