http://www.bibsonomy.org/burst/user/ist_spl/line+testingBibSonomy BuRST Feed for /user/ist_spl/line+testing2008-10-12T01:22:52+02:00Amazon.com:http://www.bibsonomy.org/bibtex/29c4e10e947402231e26b3159742967bc/ist_splist_spl2008-10-02T07:16:01+02:00product fundamentals object-oriented line testing <span style="color:#555555;">John D. <a href="http://www.bibsonomy.org/author/McGregor">McGregor</a> und David A. <a href="http://www.bibsonomy.org/author/Sykes">Sykes</a> </span><em>Addison-Wesley Object Technology Series </em><em>Addison-Wesley Professional, </em>(<em>2001</em>)Thu Oct 02 07:16:01 CEST 2008Addison-Wesley Object Technology SeriesA Practical Guide to Testing Object-Oriented Software2001product fundamentals object-oriented line testing http://www.bibsonomy.org/bibtex/2b6dd6c002f57a73dba61be882ba86864/ist_splist_spl2008-09-30T16:10:38+02:00product PLUC cases specification use line testing scenario-based requirements PLUTO <span style="color:#555555;">Antonia <a href="http://www.bibsonomy.org/author/Bertolino">Bertolino</a> und Alessandro <a href="http://www.bibsonomy.org/author/Fantechi">Fantechi</a> und Stefania <a href="http://www.bibsonomy.org/author/Gnesi">Gnesi</a> und Giuseppe <a href="http://www.bibsonomy.org/author/Lami">Lami</a> </span><em>Software Product Lines - Research Issues in Engineering and Management, </em><em>chapter 11, </em><em>Springer-Verlag, </em>(<em>2006</em>)Tue Sep 30 16:10:38 CEST 2008Software Product Lines - Research Issues in Engineering and Management11DBLP:conf/splc/2006book425--445Product Line Use Cases: Scenario-Based Specification and Testing of Requirements2006product PLUC cases specification use line testing scenario-based requirements PLUTO http://www.bibsonomy.org/bibtex/26f2567a20bd96c5368c6e878bf8fd01e/ist_splist_spl2008-09-30T15:00:58+02:00product PLUC systemtest category-partition line testing Use-Cases PLUTO <span style="color:#555555;">Antonia <a href="http://www.bibsonomy.org/author/Bertolino">Bertolino</a> und Stefania <a href="http://www.bibsonomy.org/author/Gnesi">Gnesi</a> </span><em>PFE, </em><em>Seite181-197. </em>(<em>2003</em>)Tue Sep 30 15:00:58 CEST 2008PFEDBLP:conf/pfe/2003181-197PLUTO: A Test Methodology for Product Families2003product PLUC systemtest category-partition line testing Use-Cases PLUTO The testing stage for a product belonging to a family is a crucial and expensive part of development. Yet the derivation of test cases for product families has so far received little attention. We focus here on test planning, that is the most critical part of testing. We outline a simple methodology we are developing for this purpose, called PLUTO, relying on the early requirements specification expressed as Use Cases. We also overview the related literature.pages 519--534http://www.bibsonomy.org/bibtex/23bfe504598091728c40915f10395bf23/ist_splist_spl2008-09-30T14:01:48+02:00product systemtest line testing ScenTED SSE <span style="color:#555555;">Andreas <a href="http://www.bibsonomy.org/author/Reuys">Reuys</a> und Erik <a href="http://www.bibsonomy.org/author/Kamsties">Kamsties</a> und Klaus <a href="http://www.bibsonomy.org/author/Pohl">Pohl</a> und Sacha <a href="http://www.bibsonomy.org/author/Reis">Reis</a> </span><em>CAiSE, </em><em>Seite519. </em>(<em>2005</em>)Tue Sep 30 14:01:48 CEST 2008CAiSEDBLP:conf/caise/2005519Model-Based System Testing of Software Product Families2005product systemtest line testing ScenTED SSE http://www.bibsonomy.org/bibtex/23ac41811051d50d67f600da24ced3a0d/ist_splist_spl2008-09-30T13:39:57+02:00product systemtest line testing ScenTED SSE <span style="color:#555555;">Andreas <a href="http://www.bibsonomy.org/author/Reuys">Reuys</a> und Helmut <a href="http://www.bibsonomy.org/author/Götz">G&#246;tz</a> und J&#252;rgen <a href="http://www.bibsonomy.org/author/Neumann">Neumann</a> und Josef <a href="http://www.bibsonomy.org/author/Weingärtner">Weing&#228;rtner</a> </span><em>Software-Produktlinien: Methoden, Einf&#252;hrung und Praxis, </em><em>Dpunkt Verlag, </em>(<em>2004</em>)Tue Sep 30 13:39:57 CEST 2008Software-Produktlinien: Methoden, Einführung und PraxisBoeckle2004247--259Medizintechnik bei Siemens AG Medical Solutions HS IM2004product systemtest line testing ScenTED SSE pages = 447--477http://www.bibsonomy.org/bibtex/2b7b5fe3e770c66b6452c90fd9dd170a3/ist_splist_spl2008-09-30T13:37:10+02:00product system cases OCL use line testing TGV UML LTS requirements <span style="color:#555555;">Cl'ementine <a href="http://www.bibsonomy.org/author/Nebut">Nebut</a> und Yves Le <a href="http://www.bibsonomy.org/author/Traon">Traon</a> und Jean-Marc <a href="http://www.bibsonomy.org/author/J{\&#039;e}z{\&#039;e}quel">J'ez'equel</a> </span><em>Software Product Lines, </em><em>Springer-Verlag, </em>(<em>2006</em>)Tue Sep 30 13:37:10 CEST 2008Software Product LinesDBLP:conf/splc/2006book447System Testing of Product Lines: From Requirements to Test Cases2006product system cases OCL use line testing TGV UML LTS requirements http://www.bibsonomy.org/bibtex/23baf974830c9e23ac8d50e6b2da8a439/ist_splist_spl2008-09-18T13:40:46+02:00product systemtest line testing ScenTED SSE <span style="color:#555555;">Andreas <a href="http://www.bibsonomy.org/author/Reuys">Reuys</a> und Sacha <a href="http://www.bibsonomy.org/author/Reis">Reis</a> und Erik <a href="http://www.bibsonomy.org/author/Kamsties">Kamsties</a> und Klaus <a href="http://www.bibsonomy.org/author/Pohl">Pohl</a> </span><em>Software Product Lines, </em>(<em>2006</em>)Thu Sep 18 13:40:46 CEST 2008Software Product LinesDBLP:conf/splc/2006book479-520The ScenTED Method for Testing Software Product Lines2006product systemtest line testing ScenTED SSE http://www.bibsonomy.org/bibtex/2aec593ff707ee5e036253d36633a414e/ist_splist_spl2008-09-15T11:31:37+02:00product line testing <span style="color:#555555;">John D. <a href="http://www.bibsonomy.org/author/McGregor">McGregor</a> </span><em>CMU/SEI-2001-TR-022. </em>(<em>2001</em>)Mon Sep 15 11:31:37 CEST 2008CMU/SEI-2001-TR-022Testing a Software Product Line2001product line testing A suitably organized and executed test process can contribute to the success of a product line organization. Testing is used to identify defects during construction and to assure that completed products possess the qualities specified for the products. Test-related activities are organized into a test process that is designed to take advantage of the economies of scope and scale that are present in a product line organization. These activities are sequenced and scheduled so that a test activity occurs immediately following the construction activity whose output the test is intended to validate. This report expands on the testing practice area described by Clements and Northrop. Test-related activities that can be used to form the test process for a product line organization are described. Product line organizations face unique challenges in testing. This report describes techniques and activities for meeting those challenges.MR: Die Referenzarbeit für auf ScenTED basierende Forschung.http://www.bibsonomy.org/bibtex/24336a1857dfafb495786b25d49c7600f/ist_splist_spl2008-09-11T14:38:00+02:00product software scenario line testing ScenTED requirements SSE based <span style="color:#555555;">Andreas <a href="http://www.bibsonomy.org/author/Reuys">Reuys</a> </span><em>Universit&#228;t Duisburg-Essen, </em>(<em>2006</em>)Thu Sep 11 14:38:00 CEST 2008Anforderungsbasierte Ableitung von Systemtestfall-Szenarien in der Software-Produktlinien-Entwicklung2006product software scenario line testing ScenTED requirements SSE based Kurzbeschreibung Ziel der Einführung von Software-Produktlinien in einer industriellen Software-Entwicklung ist die Reduzierung der Entwicklungszeit und u2013kosten bei gleichzeitiger Steigerung der Qualität gegenüber der Einzelsystem-Entwicklung. Neben konstruktiven Entwicklungsphasen müssen in der Produktlinien-Entwicklung Maßnahmen zur Qualitätssicherung durchgeführt werden. Der Systemtest ist Bestandteil der analytischen Qualitätssicherungsmaßnahmen. Eine Aufgabe des Systemtests ist die Überprüfung der richtigen Umsetzung der funktionalen Anforderungen eines Systems. Dazu werden System-Testfälle aus den spezifizierten funktionalen Anforderungen abgeleitet. Die Anwendung existierender Test-Techniken, -Methoden und -Verfahren aus der Einzelsystem-Entwicklung ist durch die Konzepte der Produktlinien-Entwicklung, der Trennung von Domänen- und Applikations-Entwicklung sowie Variabilität, problematisch. Es ist ein effizientes Verfahren entwickelt worden, das den Systemtest in der Software-Produktlinien-Entwicklung unterstützt. An das Verfahren wurden die folgenden Anforderungen gestellt: Um einen geringen Aufwand bei dem Systemtest zu haben, soll die Wiederverwendung von Testfällen unterstützt werden. Die Wiederverwendung kann nur erfolgen, wenn die Nachvollziehbarkeit zwischen Anforderungen und Testfällen aufgezeichnet wurde. Durch wiederverwendete Anforderungen in Applikationen der Produktlinie können die wiederzuverwendenden Testfälle ermittelt werden. Zusätzlich soll eine frühe Validierung während des Domänen-Tests unterstützt werden, um Fehler frühzeitig zu ermitteln. Die Umsetzung der Anforderungen erfolgt im ScenTED-Verfahren (Scenario-based TEst case Derivarion) durch die folgenden Kernideen: - Erstellung von Testfällen mit Variabilität im Domänen-Test: Es wurden unterschiedliche Strategien zum Test in der Produktlinien-Entwicklung beurteilt. Es wurde eine Strategie umgesetzt, in der Testfälle für Gemeinsamkeiten und für die Varianten der Produktlinie ermittelt werden. Die Testfälle mit Variabilität enthalten die Ausprägungen der Varianten und können deshalb mit geringen Anpassungen beim Testen von Applikationen der Produktlinie verwendet werden. - Ableitung der Testfälle aus Domänen-Use-Cases und Szenarien: Die Ableitung der Testfälle erfolgt aus den Anforderungen. Die Anforderungen liegen als Domänen-Use-Cases und dazu gehörigen Szenarien vor. Diese Typen von Anforderungen sind eine gute Grundlage zur Ermittlung der Testfälle, da sie Abläufe beschreiben, die einem Systemtest sehr ähnlich sind. - Umsetzung eines Modell-basierten Vorgehens: Modell-basierte Vorgehen sind in der Einzelsystem-Entwicklung bekannt. Sie haben einige Vorteile, wie z.B. nachvollziehbare Mengen von Testfällen und Überprüfung der Anforderungen durch die Erstellung des Test-Modells. Als Test-Modell wurde ein Aktivitätsmodell verwendet, welches um Variabilität erweitert wurde. Zur Unterstützung des ScenTED-Vorgehens sind zwei Prototypen implementiert worden. Der erste Prototyp realisiert die Erstellung eines Test-Modells für den Domänen-Test. Der zweite Prototyp nimmt dieses Test-Modell als Eingabe, um daraus Testfall-Szenarien im Domänen-Test zu ermitteln. Das Verfahren wurde in zwei Fallstudien angewendet. Zum einen wurde eine imaginäre Produktlinie getestet. Zum anderen wurde das ScenTED-Verfahren erfolgreich in einer Kooperation mit der Firma Siemens AG in einer realen Entwicklung genutzt, um den Systemtest einer Software-Produktlinie zu unterstützen. Es ist einmal eine kleine Menge von Testfall-Szenarien ermittelt worden. Diese Testfall-Szenarien wurden zum Test von drei Applikationen der Produktlinie herangezogen. Die Testfälle wurden systematisch wiederverwendet, was den Aufwand zur Ermittlung der Testfälle reduzieren soll. http://www.bibsonomy.org/bibtex/2637eeb497465541bb566aefabf5db130/ist_splist_spl2008-09-10T08:50:48+02:00product line testing defs-uses ScenTED UML diagrams activity <span style="color:#555555;">Vanessa <a href="http://www.bibsonomy.org/author/Stricker">Stricker</a> </span>(<em>2006</em>)Wed Sep 10 08:50:48 CEST 2008Datenflussbasierte Identifikation erneut auszuführender Applikationstestfälle in der Produktlinienentwicklung Bachelorarbeit2006product line testing defs-uses ScenTED UML diagrams activity http://www.bibsonomy.org/bibtex/28c1f5039205271120bfaf2c223064af8/ist_splist_spl2008-09-05T09:49:50+02:00product automated scenario reuse integration variability line testing ScenTED generation SSE <span style="color:#555555;">Sacha <a href="http://www.bibsonomy.org/author/Reis">Reis</a> und Andreas <a href="http://www.bibsonomy.org/author/Metzger">Metzger</a> und Klaus <a href="http://www.bibsonomy.org/author/Pohl">Pohl</a> </span><em>FASE, </em><em>Seite321-335. </em>(<em>2007</em>)Fri Sep 05 09:49:50 CEST 2008FASEDBLP:conf/fase/2007321-335Integration Testing in Software Product Line Engineering: A Model-Based Technique2007product automated scenario reuse integration variability line testing ScenTED generation SSE The development process in software product line engineering is divided into domain engineering and application engineering. As a consequence of this division, tests should be performed in both processes. However, existing testing techniques for single systems cannot be applied during domain engineering, because of the variability in the domain artifacts. Existing software product line test techniques only cover unit and system tests. Our contribution is a model-based, automated integration test technique that can be applied during domain engineering. For generating integration test case scenarios, the technique abstracts from variability and assumes that placeholders are created for variability. The generated scenarios cover all interactions between the integrated components, which are specified in a test model. Additionally, the technique reduces the effort for creating placeholders by minimizing the number of placeholders within the integration test case scenarios. We have experimentally measured the performance of the technique and the potential reduction of placeholders.Software product line testinghttp://www.bibsonomy.org/bibtex/2d98a11b8a2cfb061f5eeea8f84b44ff3/ist_splist_spl2008-09-03T10:00:11+02:00product line testing ScenTED SSE <span style="color:#555555;">Klaus <a href="http://www.bibsonomy.org/author/Pohl">Pohl</a> und Andreas <a href="http://www.bibsonomy.org/author/Metzger">Metzger</a> </span><em>Commun. ACM</em><em>49(12):78--81</em>(<em>2006</em>)Wed Sep 03 10:00:11 CEST 2008New York, NY, USACommun. ACM1278--81Software product line testing492006product line testing ScenTED SSE Exploring principles and potential solutions.MR: Gewissermaßen ein Teil der Diss von Andreas Reuys und der ScenTED-Methode.http://www.bibsonomy.org/bibtex/277be542bac60389552ee830a4671476b/ist_splist_spl2008-07-23T17:28:26+02:00line ScenTED MBT ddgraph product coverage branch testing UML scenario-based FTPS activity diagrams <span style="color:#555555;">Thomas <a href="http://www.bibsonomy.org/author/Rinke">Rinke</a> </span>(<em>2004</em>)Wed Jul 23 17:28:26 CEST 2008Ableitung von Domänen-Testfall-Szenarien aus Domänen-Aktivitätsdiagrammen unter Gewährleistung der Zweigabdeckung Diplomarbeit2004line ScenTED MBT ddgraph product coverage branch testing UML scenario-based FTPS activity diagrams MR: Der Entwickelte Prototyp wurde auch in der Diss von Andreas Reuys (TransUse) beschrieben.http://www.bibsonomy.org/bibtex/247b2991613f919ed3cdd461442a2c2c6/ist_splist_spl2008-07-23T12:20:01+02:00product line testing Use-Cases ScenTED UML diagrams activity <span style="color:#555555;">Dirk <a href="http://www.bibsonomy.org/author/Högemann">H&#246;gemann</a> </span>(<em>2005</em>)Wed Jul 23 12:20:01 CEST 2008EssenErstellung von Aktivitätsdiagrammen aus Domänen Use Cases zum Testen von ProduktfamilienBachelorarbeit2005product line testing Use-Cases ScenTED UML diagrams activity http://www.bibsonomy.org/bibtex/25572f6d31c4837e5884c395b61dfa3c4/ist_splist_spl2008-07-23T11:44:25+02:00product variability line testing Use-Cases ScenTED UML diagrams activity <span style="color:#555555;">Dirk <a href="http://www.bibsonomy.org/author/Högemann">H&#246;gemann</a> </span><em>Universit&#228;t Duisburg-Essen, </em>(<em>2004</em>) <em>Projektseminararbeit . </em>Wed Jul 23 11:44:25 CEST 2008Universität Duisburg-EssenProjektseminararbeitPattern-Identification for the derivation of V-Activity Diagrams from Domain Use Cases2004product variability line testing Use-Cases ScenTED UML diagrams activity MR: Einer der Grundsteine für die Diss von Andreas Reyus.http://www.bibsonomy.org/bibtex/26d3b132574891802906b2f5896efbd0c/ist_splist_spl2008-07-23T11:17:59+02:00product test line testing Use-Cases ScenTED UML scenarios diagrams activity <span style="color:#555555;">Andreas <a href="http://www.bibsonomy.org/author/Reuys">Reuys</a> und Sacha <a href="http://www.bibsonomy.org/author/Reis">Reis</a> und Erik <a href="http://www.bibsonomy.org/author/Kamsties">Kamsties</a> und Klaus <a href="http://www.bibsonomy.org/author/Pohl">Pohl</a> </span><em>Erfurt, </em>(<em>2003</em>) <em>Proceedings of the PLEES&#8217;03 International Workshop on Product Line Engineering: The Early Steps: Planning, Modeling, and Managing . </em>Wed Jul 23 11:17:59 CEST 2008ErfurtProceedings of the PLEES’03 International Workshop on Product Line Engineering: The Early Steps: Planning, Modeling, and ManagingDerivation of Domain Test Scenarios from Activity Diagrams2003product test line testing Use-Cases ScenTED UML scenarios diagrams activity Requirements are often reported as not suitable for testing, because they are, for instance, incomplete. We argue in this paper for early steps in requirements engineering to ensure the testability of requirements in the context of product families. This paper describes the early derivation of test scenarios from use cases represented as activity diagrams. Use cases are often supplemented with activity diagrams if the control structure of the use case includes loops or branches. The use of activity diagrams allows defining a coverage criterion to ensure a particular degree of completeness of the test scenarios. The approach described in this paper is intended for use cases at the domain engineering level. It is discussed how variability in these use cases can be captured in activity diagrams, and, most important, how to address variability while deriving test scenarios so that a particular degree of completeness is reached. For this purpose, we adapt the existing branch coverage criterion to the needs of product families and provide an operational procedure that helps in deriving a set of test scenarios that fulfills our extended coverage criterion. Eventually, the derivation of test scenarios gives an early feedback to the requirements engineer when performed from the tester’s perspective. This increases the requirements quality.MR: Die Arbeit beinhaltet eine Übersicht über Regressions-, Impact-Analysis und Delta-Techniken. Die Auswirkungen der Variabilität werden betrachtet. Und Einfluesse die aus der Ablauflogik (Aktivitätsdiagramme, Sequenzdiagramme) und den Datenabhängigkeiten sich ableiten werden analysiert. Gute Idee: Aktivitätsdiagramme mit angehängten Informationen zu Datenaustausch... Wertvoll: Literaturverweise (auch auf die SSE-Eigenen Arbeiten)http://www.bibsonomy.org/bibtex/28d7c9e3717b02928dc7c69641e5f0769/ist_splist_spl2008-07-18T14:39:38+02:00application reuse OVM variability data line ScenTED product dependencies testing UML activity diagrams <span style="color:#555555;">Vanessa <a href="http://www.bibsonomy.org/author/Stricker">Stricker</a> </span>(<em>2005</em>) <em>Projektseminar; Lehrstuhl Software Systems Engineering; Professor Dr. Klaus Pohl; SS 2005 . </em>Fri Jul 18 14:39:38 CEST 2008Projektseminar; Lehrstuhl Software Systems Engineering; Professor Dr. Klaus Pohl; SS 2005Anforderungen an ein Modell zur Selektion erneut auszuführender Applikationstetsartefakte2005application reuse OVM variability data line ScenTED product dependencies testing UML activity diagrams Product family testinghttp://www.bibsonomy.org/bibtex/2823e900bcd466d99b6d9aedff92da714/ist_splist_spl2008-07-03T18:55:21+02:00product line testing <span style="color:#555555;">Antti <a href="http://www.bibsonomy.org/author/Tevanlinna">Tevanlinna</a> und Juha <a href="http://www.bibsonomy.org/author/Taina">Taina</a> und Raine <a href="http://www.bibsonomy.org/author/Kauppinen">Kauppinen</a> </span><em>SIGSOFT Softw. Eng. Notes</em><em>29(2):12--12</em>(<em>2004</em>) <em>MR: ein guter &#220;berblick &#252;ber SPL-Testing bis 2004 . </em>Thu Jul 03 18:55:21 CEST 2008New York, NY, USASIGSOFT Softw. Eng. NotesMR: ein guter Überblick über SPL-Testing bis 2004212--12Product family testing: a survey292004product line testing In this paper we discuss the current state of product family testing. Testing, unlike other areas of software development, has received only little attention in this context despite the problems directly rising from scale, reuse and variability. We present the current approaches to product family testing methodology and processes. We also evaluate the current state-of-the-art in product family testing and highlight problems that need to be addressed in the future.http://www.bibsonomy.org/bibtex/2d75bfa54d7c45c6a6ffba04b75938005/ist_splist_spl2008-06-27T15:45:53+02:00product software automated CSP specification-based specification line testing oracle algebraic testdata <span style="color:#555555;">Satish <a href="http://www.bibsonomy.org/author/Mishra">Mishra</a> </span><em>CS&amp;P 2006 - Concurrency, Specification and Programming, </em>(<em>2006</em>) <em>MR: Es wird gezeigt, dass bei SPLs, die mit formalen Spezifikationen (hier CSP-CASL) beschrieben sind, die Testf&amp;#228;lle, Testeingaben und erwartete Ergeb<span class="info">...<span>MR: Es wird gezeigt, dass bei SPLs, die mit formalen Spezifikationen (hier CSP-CASL) beschrieben sind, die Testf&#228;lle, Testeingaben und erwartete Ergebnisse automatisch generiert werden k&#246;nnen. Die Wiederverwendung der Tests beschr&#228;nkt sich im Paper auf SPLs von speziellen Art, bei denen die Varianten nur erweitert werden k&#246;nnen und somit andere Varianten und den gemeinsamen Teil vollst&#228;ndig involvieren.</span></span> . </em>Fri Jun 27 15:45:53 CEST 2008 CS&P 2006 - Concurrency, Specification and ProgrammingMR: 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.Specification Based Software Product Line Testing: A Case Study2006product software automated CSP specification-based specification line testing oracle algebraic testdata In this paper, we describe an approach of software product line testing which is based on formal specifications of the desired properties. In a software product line, common behaviours are maintained at subsequent levels of the product development. Commonalities among products arise from the reuse of parts of the software. It is unclear, however, in which way test cases for one product can be reused for subsequent enhancements. In this paper we approach this problem by specification based testing. We start the software quality assurance process by formally specifying the system in the process algebraic specification language CSP-CASL [1] for the description of system properties. After that we establish an enhancement relation between specifications in a software product line development. This enhancement relation conceptually forms the basis of reusability of test suites among different implementations in a product line development.Computer Science Bibliography Collectionhttp://www.bibsonomy.org/bibtex/2295b43ca71fb9d71fe69cb755c7ae30d/ist_splist_spl2008-06-27T14:53:10+02:00product AHEAD GenVoca Alloy specification-based line testing generation testdata <span style="color:#555555;">Engin <a href="http://www.bibsonomy.org/author/Uzuncaova">Uzuncaova</a> und Daniel <a href="http://www.bibsonomy.org/author/Garcia">Garcia</a> und Sarfraz <a href="http://www.bibsonomy.org/author/Khurshid">Khurshid</a> und Don S. <a href="http://www.bibsonomy.org/author/Batory">Batory</a> </span><em>ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, </em><em>Seite525--528. </em><em>New York, NY, USA, </em><em>ACM, </em>(<em>2007</em>) <em>ST: Die Spezifikation der Produktlinie liegt in einer formalen Beschreibung vor (LTL) Es wird ein Modelchecking-Verfahren durchgefuehrt um zu beweisen, das<span class="info">...<span>ST: Die Spezifikation der Produktlinie liegt in einer formalen Beschreibung vor (LTL) Es wird ein Modelchecking-Verfahren durchgefuehrt um zu beweisen, dass die Spezifikation gilt. Fazit: Keine explizite Ableitung von Testdaten, die Spezifikation muss formal vorliegen. MR: Anhand von formalen Alloy-Spezifikationen von Invarianten und Constraints kann der Alloy Analyzer (SAT solver) automatisch alle passenden Testdaten generieren. Nachteile: Die erwarteten Ergebnisse werden nicht betrachtet (oder?). Die Spezifikation wird als Annotationen in den Code eingebracht (hier als moderner Ansatz angesehen &#228;hnlich JML). An der Wiederverwendung wird erst gearbeitet.</span></span> . </em>Fri Jun 27 14:53:10 CEST 2008New York, NY, USAESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineeringST: Die Spezifikation der Produktlinie liegt in einer formalen Beschreibung vor (LTL) Es wird ein Modelchecking-Verfahren durchgefuehrt um zu beweisen, dass die Spezifikation gilt. Fazit: Keine explizite Ableitung von Testdaten, die Spezifikation muss formal vorliegen. MR: Anhand von formalen Alloy-Spezifikationen von Invarianten und Constraints kann der Alloy Analyzer (SAT solver) automatisch alle passenden Testdaten generieren. Nachteile: Die erwarteten Ergebnisse werden nicht betrachtet (oder?). Die Spezifikation wird als Annotationen in den Code eingebracht (hier als moderner Ansatz angesehen ähnlich JML). An der Wiederverwendung wird erst gearbeitet. 525--528A specification-based approach to testing software product lines2007product AHEAD GenVoca Alloy specification-based line testing generation testdata This paper presents a specification-based approach for sys- tematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a first-order logic based on relations. Alloy formulas can be checked for satisfiability using the Alloy Analyzer. The fully automatic analyzer, given an Alloy formula and a scope, i.e., a bound on the universe of discourse, searches for an in- stance, i.e., a valuation to the relations in the formula such that it evaluates to true. The analyzer translates an Alloy formula (for the given scope) to a propositional formula and finds an instance using an off-the-shelf SAT solver. The use of an enumerating solver enables systematic test generation. We have developed a prototype based on the AHEAD theory. The prototype uses the recently developed Kodkod model finding engine of the Alloy Analyzer. We illustrate our approach using a data structure product line.