A blue social bookmark and publication sharing system.
publications
Jens R. Calame and Natalia Ioustinova and Jaco van de Pol Electronic Notes in Theoretical Computer Science#oct#2007. MR: Stark formalisiertes und mathematisch ergründetes Werk. Basierend auf der Spezifikation des IUT (gegeben in LTS) wird der Lösungsraum durch d...MR: Stark formalisiertes und mathematisch ergründetes Werk. Basierend auf der Spezifikation des IUT (gegeben in LTS) wird der Lösungsraum durch data abstraction eingeengt (mittels µCRL). Mittels enumerativ tools (wie TGV) werden dann abstrakte Testfälle generiert. Die konkreten Daten (Ein und Ausgaben!) werden mittels constraint-solving techniques (mittels Prolog) ermittelt. Future Work soll ermöglichen UML-Spezifikationen als Eingabe zu erlauben und die Testfälle sollen in TTCN-3 generiert werden! Spätestens dann wird dieser Ansatz für IST-SPL sehr interessant.
.
to Conformance model test abstraction data testing case generation based constraint-solving by ist_spl on May 30, 2008, 5:44 PM
