XUPWUP.NL
Login
Or create an account

softwaretesting ioco compliant shizdiz

0 Posted 02 April 2012 15:11
User avatar
Rick Hendricksen
Administrator
Posts: 2269
Jtorx maakt een model input enabled. Dus alle signals die een node nog niet heeft worden self loops. Dit verklaart wat rare traces die wij hadden (veroorzaken delta's).

Verder, als een tau stap een keuze is, en daardoor de trace beinvloed, dan moeten wij uitleggen waarom wij denken dat onze implementatie toch goed is.
© Rick Hendricksen