A blue social bookmark and publication sharing system.
bookmarks
(1)
publications
- to scenario ScenTED software testing requirements based product line by ist_spl on Jul 7, 2008, 2:16 PM
Satish Mishra CS&P 2006 - Concurrency, Specification and Programming, (
2006)
MR: Es wird gezeigt, dass bei SPLs, die mit formalen Spezifikationen (hier CSP-CASL) beschrieben sind, die Testfälle, Testeingaben und erwartete Ergeb...MR: Es wird gezeigt, dass bei SPLs, die mit formalen Spezifikationen (hier CSP-CASL) beschrieben sind, die Testfälle, Testeingaben und erwartete Ergebnisse automatisch generiert werden können. Die Wiederverwendung der Tests beschränkt sich im Paper auf SPLs von speziellen Art, bei denen die Varianten nur erweitert werden können und somit andere Varianten und den gemeinsamen Teil vollständig involvieren.
.
to specification algebraic CSP line specification-based testing testdata software product oracle automated by ist_spl on Jun 27, 2008, 3:45 PMHenry Muccini and Andr'e van der Hoek Electr. Notes Theor. Comput. Sci.(
2003)
to line product software testing by ist_spl and 1 other person on Jun 10, 2008, 10:56 AM
