BibSonomy publications for /user/ist_spl/software

Software-Qualität: Testen, Analysieren und Verifizieren von Software

ist_spl — 2008-09-03T14:12:49+02:00

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

Practical Model-Based Testing: A Tools Approach

ist_spl — 2008-09-03T13:58:43+02:00

Mark Utting und Bruno Legeard Morgan Kaufmann, 1 Edition, (2006) MR: Das Buch beschäftigt sich mit Testorakeln bei MBT: "The main focus of this book (Chapters 3 to 7 and 9 and 10) is [...] the generation of exe...MR: Das Buch beschäftigt sich mit Testorakeln bei MBT: "The main focus of this book (Chapters 3 to 7 and 9 and 10) is [...] the generation of executable test cases that include oracle information, based on models of the SUT behavior. This generation process includes the generation of input values and teh sequencing of calls into test sequences, but it also includes the generation of oracles that check the SUT outputs." Es werden 12 Beispiele und Case Studies aus verschiedenen Domänen behandelt, wobei mehrere Modellierungssprachen eingesetzt werden: UML, B, Z, FSM, EFSM, Spec#. Es bring eine Übersicht über zur Zeit vorhandenen MBT-Tools und zugrunde liegenden Modelltypen. Hauptsächlich werden zwei Gruppen von Modelltypen betrachtet: - transition-based models (e.g., FSM and UML state machines, statecharts, LTS) - pre/post(conditions) models (or state-based notations) (e.g.,B machines and UML/OCL specifications) Auch Model Coverage Criteria für Testfallauswahl werden behandelt. Wie der Titel des Buches bereits verrät, werden die theoretischen Zusammenhänge und Ableitungen sehr stiefmütterlich behandelt! Oft findet man keine sinnvolle Begründung für bestimmte Behauptungen der Autoren. Hierzu siehe auch Product Description: "It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics." .

Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 18.-22.2.2008 in München

ist_spl — 2008-09-02T14:33:07+02:00

Korbinian Herrmann und Bernd Brügge (eds.). Volume121vonLNI, GI, (2008)

A backtracking search tool for constructing combinatorial test suites

ist_spl — 2008-08-14T10:26:31+02:00

Jun Yan und Jian Zhang Journal of Systems and Software81(10):1681--1693#oct#2008.

Use Cases: Requirements in Context (2nd Edition)

ist_spl — 2008-07-29T15:49:35+02:00

Daryl Kulak und Eamonn Guiney Addison-Wesley Professional, 2 Edition, (2003)

Software Abstractions: Logic, Language, and Analysis

ist_spl — 2008-07-28T10:40:58+02:00

Daniel Jackson The MIT Press, (2006)

Software Testing: A Craftsman's Approach, Third Edition

ist_spl — 2008-07-28T10:22:09+02:00

Paul C. Jorgensen AUERBACH, 3 Edition, (2008)

Advanced Use Case Modeling: Software Systems

ist_spl — 2008-07-21T11:53:43+02:00

MR: Besonders wertvoll sind die Kapitel: Chapter 12 discusses the importance of mapping the use cases to the analysis object model. [object models describes the static structure of the system] Techniques such as CRUD matrixes, object to use case tables, and sequence diagrams are outlined. Es wird die Idee vermittelt, dass die Anforderungsanalyse beides benötigt: Use-Case-Modellsicht und die Sicht auf statisches Objektmodell (mit Objektinteraktionen und statischen Beziehungen). Chapter 13 discusses the concept and utilization of scenarios to complement the use case model. The final phase of any software engineering process is testing. Chapter 14 discusses testing and documenting the system and the role use cases play in driving these activities.

Objektorientiertes Testen und Testautomatisierung in der Praxis. Konzepte, Techniken und Verfahren

ist_spl — 2008-07-09T11:48:29+02:00

aus SotA von Julia: In [Vig05] wird ein Ansatz zur Herleitung sogenannter fachlicher Testfaelle mit Hilfe von Aktivitaetsdiagrammen vorgestellt. Die Aktivitaetsdiagramme werden aus den Anforderungen gewonnen und beschreiben den Kontrollfluss inklusive moeglicher Ausnahmesituationen. Aus den Aktivitaetsdiagrammen koennen dann die Anforderungen an die Testdaten abgeleitet werden. Moegliche Anforderungen sind Datentypen, Wertebereiche oder die Identifikation von Variablen. Um die konkreten Testdaten zu bestimmen werden dann die Verfahren Grenz- und Extremwert-Analyse beziehungsweise Aequivalenzklassenbildung genutzt. Um System-Testfaelle abzuleiten muss der gesamte Ablauf des Testfalls im Aktivitaetsdiagramm betrachtet werden.. Das beschriebene Verfahren arbeitet mit den Anforderungen, die an das zu pruefende System gestellt werden. Es handelt sich somit um ein Spezifikationsbasiertes Verfahren zur Testeingabenermittlung. Auch folgende Themen werden kurz behandelt: UML 2 Testing Profile, Classification Tree Method, GUI Testing MR: leider sehr oberflächlich und die spezifikationsbasierte Seite kommt fast gar nicht zum Zuge!

Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings

ist_spl — 2008-07-08T14:00:54+02:00

Matthew B. Dwyer und Ant'onia Lopes (eds.). Volume4422vonLecture Notes in Computer Science, Springer, (2007)

Anforderungsbasierte Ableitung von Systemtestfall-Szenarien in der Software-Produktlinien-Entwicklung

ist_spl — 2008-07-07T14:16:03+02:00

Andreas Reuys (2006)

Specification Based Software Product Line Testing: A Case Study

ist_spl — 2008-06-27T15:45:53+02:00

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

UML Activity Diagram-Based Automatic Test Case Generation For Java Programs

ist_spl — 2008-06-11T10:21:56+02:00

Mingsong Chen und Xiaokang Qiu und Wei Xu und Linzhang Wang und Jianhua Zhao und Xuandong Li The Computer Journal(2007) MR: Der Ansatz ist ein Gray-Box-Ansatz, obwohl es auf Modellen basiert, muss das Programm selbst auch ausgeführt werden um bestimmte Eingaben für...MR: Der Ansatz ist ein Gray-Box-Ansatz, obwohl es auf Modellen basiert, muss das Programm selbst auch ausgeführt werden um bestimmte Eingaben für das Verfahren zu liefern. Die Generierung von Testdaten ist kaum automatisiert. Für IST-SPL interessant wegen den Formalismen für Aktivitätsdiagramme. .

Towards Testing Product Line Architectures

ist_spl — 2008-06-10T10:56:43+02:00

Henry Muccini und Andr'e van der Hoek Electr. Notes Theor. Comput. Sci.(2003)

Software Testing Research: Achievements, Challenges, Dreams

ist_spl — 2008-06-06T15:01:07+02:00

Antonia Bertolino Future of Software Engineering, 2007. FOSE '07, Seite85-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. .

Software Testing Research and Practice

ist_spl — 2008-06-02T10:38:22+02:00

Antonia Bertolino Abstract State Machines, Seite1-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. .

A Characterisation Schema for Software Testing Techniques

ist_spl — 2008-05-29T14:23:44+02:00

Sira Vegas und 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. .

Requirements for information systems model-based testing

ist_spl — 2008-05-07T16:53:57+02:00

Pedro Santos-Neto und Rodolfo Resende und Clarindo P'adua SAC '07: Proceedings of the 2007 ACM symposium on Applied computing, Seite1409--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) .

Scenario-based object-oriented testing framework

ist_spl — 2008-05-07T14:13:06+02:00

W.T. Tsai und A. Saimi und L. Yu und R. Paul Quality Software, 2003. Proceedings. Third International Conference on, Seite410--417. 6-7 Nov.2003.