A blue social bookmark and publication sharing system.
bookmarks
(1)
publications
- to testing class activity Use-Cases requirements UML engineering model diagrams by ist_spl on Jul 23, 2008, 11:32 AM
- to model-checker symbolic LTL temporal model checking CTL by ist_spl on Jul 21, 2008, 12:42 PM
Frank Armour and Granville Miller The Addison-Wesley Object Technology Series Addison-Wesley Professional, (
2001)
to software diagrams sequence requirements development UML object engineering model modeling scenarios Use-Cases by ist_spl and 1 other person on Jul 21, 2008, 11:53 AMP. V.R. Murthy and P. C. Anitha and M. Mahesh and Rajesh Subramanyan SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, page75--82. New York, NY, USA, ACM, (
2006)
to sensitization category-partition tool statecharts model based algorithms testing UML path feasible by ist_spl and 1 other person on Jul 8, 2008, 5:32 PMPaul Baker and Zhen Ru Dai and Jens Grabowski and Øystein Haugen and Ina Schieferdecker and Clay Williams Springer, Berlin, 1 edition, (
2007)
Volltext vorhanden unter: http://dx.doi.org/10.1007/978-3-540-72563-3 MR: Befasst sich mit funktionalem Black-Box-Testing (also spezifikationsbasiert oder ...Volltext vorhanden unter: http://dx.doi.org/10.1007/978-3-540-72563-3 MR: Befasst sich mit funktionalem Black-Box-Testing (also spezifikationsbasiert oder MBT), wobei das Funktionale bezieht sich auf das korrekte funktionale Verhalten des SUT. Es beschreibt wie aus Verhaltensspezifikationen, wie UML state/activity/interaction/...-Diagrammen die Test-/Testfallspezifikationen in Form von ähnlichen Diagrammen abgeleitet werden können. Es gibt aber keine ausdrücklichen Vorschriften für die Automatisierung der Testfallgenerierung. Es kann außer für den Systemtest auch für jede andere Testphase eingesetzt werden. Für IST-SPL ist vor allem die UML-Modellierung von Testdaten interessant mit data pools, data partitions, data selectors (Kapitel 7: Data-Driven Testing). Auch deren Anwendung mit Black-Box-Techniken wurde dort kurz erwähnt.
.
to driven UML U2TP MBT testing profile model by ist_spl on Jul 1, 2008, 11:45 AMJos Warmer and Anneke Kleppe Addison Wesley, 2. A. edition, (
2003)
MR: Referenz für OCL Wertvoll: Es wird gezeigt wie mit OCL Modelle gebaut werden. MDA eher nur am Rande erklärt Wichtigster Satz (Kapitel 3.2): T...MR: Referenz für OCL Wertvoll: Es wird gezeigt wie mit OCL Modelle gebaut werden. MDA eher nur am Rande erklärt Wichtigster Satz (Kapitel 3.2): The use of OCL strongly relies on the types (classes, datatypes, and so on) defined in a UML class diagram. This diagram should be build first.
.
to UML model Use-Cases diagrams activity sequence MDA OCL by ist_spl on Jun 25, 2008, 4:38 PM- to OCL UML Alloy model by ist_spl and 1 other person on Jun 19, 2008, 5:44 PM
Arilo Dias Neto and Rajesh Subramanyan and Marlon Vieira and Guilherme Horta Travassos and Forrest Shull May/June2008. MR: necessarily regard the full results of the review: http://csdl2.computer.org/comp/mags/so/2008/extras/mso2008030010x1.pdf Sehr ausführlicher Ü...MR: necessarily regard the full results of the review: http://csdl2.computer.org/comp/mags/so/2008/extras/mso2008030010x1.pdf Sehr ausführlicher Überblick über die aktuellen MBT-Ansätze (vor allem auf UML-basierende). Dazu zählen alle die mit folgenden Suchstrings in der Literatur gefunden worden sind: requirement/specification/use case/model/UML/finite state machine - based/driven - testing/test - approach/method/methodology/technique Usefulness for IST-SPL (-/0/+/++): + (extensive state of the art)
.
to based model UML testing by ist_spl and 1 other person on Jun 10, 2008, 11:40 AMU. Farooq and C. P. Lam and H. Li ACST'07: Proceedings of the third conference on IASTED International Conference, page128--133. Anaheim, CA, USA, ACTA Press, (
2007)
to colored net diagrams UML activity transformation model petri by ist_spl on Jun 5, 2008, 6:27 PMAxel van Lamsweerde ICSE '00: Proceedings of the Conference on The Future of Software Engineering, page147--159. New York, NY, USA, ACM, (
2000)
MR: Wertvoll wegen dem Überblick über formale Spezifikations- und somit Modell-Paradigmen.
.
to model fundamentals paradigm specification formal by ist_spl and 2 other people on Jun 2, 2008, 3:19 PMRik Eshuis ACM Trans. Softw. Eng. Methodol.15(1):1--38(
2006)
to diagrams checking activity UML symbolic model NuSMV by ist_spl and 1 other person on Jun 2, 2008, 11:26 AMJens 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 generation based Conformance model case abstraction constraint-solving testing test data by ist_spl on May 30, 2008, 5:44 PMAjitha Rajan and Michael W. Whalen and Mats P.E. Heimdahl ICSE '08: Proceedings of the 30th international conference on Software engineering, page161--170. New York, NY, USA, ACM, (
2008)
MR: nuetzlich fuer IST-SPL nur wegen der Referenzen auf eingesetzte Techniken zur ' Test Case Generation using model checkers '.
.
to generation model automated checking case test by ist_spl and 1 other person on May 21, 2008, 11:42 AMTomoji Kishi and Natsuko Noda Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004), page19--26. Boston, MA, August2004. ST: Das zu testende System und die mit dem System in Interaktion stehende Umgebung werden als Zustandsautomat modelliert. Testdaten ergeben sich aus den Tr...ST: Das zu testende System und die mit dem System in Interaktion stehende Umgebung werden als Zustandsautomat modelliert. Testdaten ergeben sich aus den Transitionen. Es werden Modelchecking Techniken angewendet um Invarianten zu prüfen.
.
to test statecharts scenarios model techniques checking by ist_spl on May 14, 2008, 10:54 AMPedro Santos-Neto and Rodolfo Resende and Clarindo P'adua SAC '07: Proceedings of the 2007 ACM symposium on Applied computing, page1409--1415. New York, NY, USA, ACM, (
2007)
MR: Presents a requirements catalog for MBT methods, focusing on System Testing. The scope is restricted to Information Systems (IS) but the explanations a...MR: Presents a requirements catalog for MBT methods, focusing on System Testing. The scope is restricted to Information Systems (IS) but the explanations are enough abstract to be useful for other domains as well. Inspects following MBT methods: TOTEM, MODEST, AGEDIS. Concentrates on single systems, but the catalog is also interesting for product lines. Contains short paragraph about test oracle. Usefulness for IST-SPL (-/0/+/++): 0 (the mechanisms of the methods are described too shallow)
.
to single requirements oracle systems software testing automated model based by ist_spl on May 7, 2008, 4:53 PM
