BibSonomy :: user  :: ist_spl ::

"Create effective, grounded, timely materials to support the teaching and self-study of software testing, software reliability, and quality-related softwar..."Create effective, grounded, timely materials to support the teaching and self-study of software testing, software reliability, and quality-related software metrics."

This site offers access to selected papers on software testing. The main focus lies on papers related to functional and evolutionary testing as well as the...This site offers access to selected papers on software testing. The main focus lies on papers related to functional and evolutionary testing as well as their automation. Most of the papers are available in pdf-format or are linked to the original source. Furthermore, this site offers a free download of the Classification-Tree Editor CTE/XL.

Seminar "Spezifikationsbasierter Softwaretest" Prof. Dr. H. Schlingloff, Lehre In der Veranstaltung wird die Frage behandelt, wie Testfälle aus Spezifika...Seminar "Spezifikationsbasierter Softwaretest" Prof. Dr. H. Schlingloff, Lehre In der Veranstaltung wird die Frage behandelt, wie Testfälle aus Spezifikationen abgeleitet werden können. Ein besonderer Schwerpunkt ist dabei der modellbasierte Test eingebetteter Systeme, z.B. im Automotive Software Engineering.

John D. McGregor and David A. Sykes Addison-Wesley Object Technology Series Addison-Wesley Professional, (2001)

Günter Böckle and Peter Knauber and Klaus Pohl and Klaus Schmid (eds.). Dpunkt Verlag, (2004)

Klaus Pohl dpunkt.Verlag GmbH, 2 edition, (2008)

Klaus Pohl Dpunkt.Verlag GmbH, 1 edition, (2007)

Robert Binder Addison Wesley, (1999)

Glenford J. Myers Wiley, New York, (1979)

Klaus Pohl and Günter Böckle and Frank J. van der Linden Springer, 1 edition, (2005)

Peter Liggesmeyer Spektrum Akademischer Verlag, (2002) MR: Wertvoll ist die Klassifikation und Beschreibung der SW-Prüftechniken unterteilt u.a. in funktionsorientierte (spezifikationsbasierte) und struktu...MR: Wertvoll ist die Klassifikation und Beschreibung der SW-Prüftechniken unterteilt u.a. in funktionsorientierte (spezifikationsbasierte) und strukturierte (codebasierte). .

Antonia Bertolino Future of Software Engineering, 2007. FOSE '07, page85-103. (2007) MR: Das bisher erreichte in Bezug auf Software-Testen wurde gut zusammengetragen. Für IST-SPL sind die Kapitel zu MBT (mit Testorakeln) und automatisc...MR: Das bisher erreichte in Bezug auf Software-Testen wurde gut zusammengetragen. Für IST-SPL sind die Kapitel zu MBT (mit Testorakeln) und automatischen Testen interessant. Die Notwendigkeit der Kombinierungsmöglichkeiten von verschiedenen Modelltypen (transition-based, pre/post condition-based, scenarion-based) wurde hervorgehoben. .

Axel 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. .

Antonia Bertolino Abstract State Machines, page1-21. (2003) MR: Gute Zusammenfassung der Grundlagen über Testen, aber gleichzeitig auch Überblick zum State-Of-The-Art. Für IST-SPL: Wertvoller Übe...MR: Gute Zusammenfassung der Grundlagen über Testen, aber gleichzeitig auch Überblick zum State-Of-The-Art. Für IST-SPL: Wertvoller Überblick über spezifikationsbasierte Testmethoden und kurz zum Testorakel-Problem. .

Sira Vegas and Victor R. Basili Empirical Software Engineering10(4):437-466(2005) MR: Versucht die Antwort auf die Frage zu erleichtern: Wie soll indentifiziert werden, welches Testkriteria passen am besten zu meinem Testselektionsproble...MR: Versucht die Antwort auf die Frage zu erleichtern: Wie soll indentifiziert werden, welches Testkriteria passen am besten zu meinem Testselektionsproblem? Bei IST-SPL könnte es zur Begründung des eingesetzten Überdeckungskriteriums herangezogen werden. .