A blue social bookmark and publication sharing system.
bookmarks
(1)
publications
- to testing FTPS UML product ScenTED MBT ddgraph scenario-based diagrams coverage line activity branch by ist_spl on Jul 23, 2008, 5:28 PM
- to activity testing UML Use-Cases product line ScenTED diagrams by ist_spl on Jul 23, 2008, 12:20 PM
Dirk Högemann Universität Duisburg-Essen, (
2004)
Projektseminararbeit
.
to UML variability line ScenTED testing diagrams Use-Cases product activity by ist_spl on Jul 23, 2008, 11:44 AMAndreas Reuys and Sacha Reis and Erik Kamsties and Klaus Pohl Erfurt, (
2003)
Proceedings of the PLEES’03 International Workshop on Product Line Engineering: The Early Steps: Planning, Modeling, and Managing
.
to product scenarios ScenTED test diagrams UML line activity testing Use-Cases by ist_spl on Jul 23, 2008, 11:17 AM- to diagrams testing ScenTED UML line activity defs-uses product by ist_spl on Jul 21, 2008, 4:53 PM
Vanessa Stricker (
2005)
Projektseminar; Lehrstuhl Software Systems Engineering; Professor Dr. Klaus Pohl; SS 2005
.
to reuse variability OVM activity data product testing dependencies line ScenTED diagrams UML application by ist_spl on Jul 18, 2008, 2:39 PM- to reuse line generation product ScenTED testing scenario automated variability integration by ist_spl and 1 other person on Jul 8, 2008, 1:58 PM
- to line testing software product based scenario requirements ScenTED by ist_spl on Jul 7, 2008, 2:16 PM
Antti Tevanlinna and Juha Taina and Raine Kauppinen SIGSOFT Softw. Eng. Notes29(2):12--12(
2004)
MR: ein guter Überblick über SPL-Testing bis 2004
.
to line testing product by ist_spl and 1 other person on Jul 3, 2008, 6:55 PMJohn D. McGregor CMU/SEI-2001-TR-022. (
2001)
to line testing product by ist_spl on Jul 3, 2008, 6:25 PMKlaus Pohl and Andreas Metzger Commun. ACM49(12):78--81(
2006)
to line product ScenTED testing by ist_spl and 1 other person on Jul 3, 2008, 6:13 PMSatish 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-based oracle automated algebraic product specification line testdata CSP testing software by ist_spl on Jun 27, 2008, 3:45 PMEngin Uzuncaova and Daniel Garcia and Sarfraz Khurshid and Don S. Batory 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, page525--528. New York, NY, USA, ACM, (
2007)
ST: Die Spezifikation der Produktlinie liegt in einer formalen Beschreibung vor (LTL) Es wird ein Modelchecking-Verfahren durchgefuehrt um zu beweisen, das...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 ähnlich JML). An der Wiederverwendung wird erst gearbeitet.
.
to testing testdata line product generation GenVoca AHEAD specification-based Alloy by ist_spl and 1 other person on Jun 27, 2008, 2:53 PMMyra B. Cohen and Matthew B. Dwyer and Jiangfan Shi ROSATEA '06: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, page53--63. New York, NY, USA, ACM, (
2006)
MR: Ünsere" OVM-Notation wird auf ein relationales Modell abgebildet, um damit Abdeckungskriterien für das Testen von SPL definieren zu k...MR: Ünsere" OVM-Notation wird auf ein relationales Modell abgebildet, um damit Abdeckungskriterien für das Testen von SPL definieren zu können. Mit diesen Kriterien kann die Information gesammelt werden für sogenanntes 'cumulative variability coverage' mit dem gezielt die Testaufwände für neue Produkte der SPL festgelegt werden können. Das Ganze wird durch combinatorial interaction testing ermöglicht. Diese Technik (aus Einzelsystemen bekannt) reduziert die hohe Anzahl von möglichen Kombinationen von Input-Variablen auf wenige Repräsentanten. Bei IST-SPL könnte man überlegen, diese Technik als Ergänzung einer anderen einzuführen, um höhere Abdeckungsraten zu erreichen. Der Nachteil ist jedoch immer noch, dass hierbei keine Orakel erstellt werden. Hierfür verweisen die Spezialisten von Combinatorial Testing auf Model Checking beispielsweise.
.
to OVM line combinatorial testing product by ist_spl on Jun 10, 2008, 11:24 AMHenry Muccini and Andr'e van der Hoek Electr. Notes Theor. Comput. Sci.(
2003)
to software product testing line by ist_spl and 1 other person on Jun 10, 2008, 10:56 AMClementine Nebut and Yves Traon and Jean-Marc ER Jezequel Software Product Lines - Research Issues in Engineering and Management, Springer-Verlag, MR: Bei dem beschriebenen Ansatz ist es notwendig die Testdaten manuell einzufügen für die Testgenerierung und Simulation. Im Artikel wird trotzd...MR: Bei dem beschriebenen Ansatz ist es notwendig die Testdaten manuell einzufügen für die Testgenerierung und Simulation. Im Artikel wird trotzdem von der Generierung der konkreten Testfälle gesprochen, die konkreten Daten werden aber ausgeblendet! Ansatz baut auf Use Cases als Anforderungen auf, die mit UML-Sequenzdiagrammen (als Systemscenarios) erweitert sind und als Eingabe gedacht sind. Aus diesen werden automatisch Testszenarien abgeleitet. Nützliche Ideen: - OCL zur Beschreibung von Pre- und Postbedingungen für die Testszenarios. - Test Synthesis zur Effizienzsteigerung bei der Ableitung der Testfälle. - Verwandschaft zu ScenTED wurde skizziert. Usefulness for IST-SPL (-/0/+/++/+++): ++ (Verwandschaft zu ScenTED)
.
(
2006)
to testing LTS product requirements use UML line TGV system cases OCL by ist_spl on Jun 4, 2008, 11:47 AMAntonia Bertolino and Stefania Gnesi PFE, page181-197. (
2003)
MR: Beschäftigt sich mit dem Systemtest. Variabilität der PL auch in Testartefakten berücksichtigt, aber keine systematische Wiederverwendun...MR: Beschäftigt sich mit dem Systemtest. Variabilität der PL auch in Testartefakten berücksichtigt, aber keine systematische Wiederverwendung von Testeingaben und erwarteten Ergebnissen. Testableitung teilweise manuell. Nicht modellbasiert.
.
to systemtest PLUC line product Use-Cases PLUTO category-partition testing by ist_spl and 1 other person on Jun 4, 2008, 11:08 AMFrank van der Linden
(eds.).
volume3014ofLecture Notes in Computer Science, Springer, (
2004)
MR: Sammlung von interessanten Papers zu IST-SPL.
.
to product line testing by ist_spl and 1 other person on May 29, 2008, 12:09 PMAntonia Bertolino and Alessandro Fantechi and Stefania Gnesi and Giuseppe ER Lami Software Product Lines - Research Issues in Engineering and Management, chapter 11, Springer-Verlag, MR: Ein Ansatz zum Testen von Produktlinien. Es basiert nicht auf einem Testmodell, sondern auf einer strukturierten Testspezifikation die Variabilitä...MR: Ein Ansatz zum Testen von Produktlinien. Es basiert nicht auf einem Testmodell, sondern auf einer strukturierten Testspezifikation die Variabilität beinhaltet. Die Testfälle werden für jede Applikation ermittelt basierend auf dieser Spezifikation. Somit gibt es keine Trennung von Domain- und Application-Engineering zur Wiederverwendung von Tests und Testdaten. Diese Technik zur Ableitung der Testszenarien wird PLUTO genannt und basiert auf der Category-Partition (CP) Methode. Diese Methode wird auf die hier auch vorgestellten PLUCs = Product Line Use Cases angewendet. Category Partioning ist ein dynamisches Blackbox-Test-Verfahren und basiert auf der Idee, die Testdaten in Kategorien zu unterteilen. Zuerst werden die Parameter der zu testenden Methode identifiziert. Im Anschluss werden die für den Test relevanten Aspekte aufgestellt. Auf diese Weise haben wir unsere Menge von möglichen Eingabedaten in Kategorien aufgeteilt. Es fällt uns nun leichter mögliche Eingabedaten für unseren Test zu finden, da wir nun jede Kategorie einzeln betrachten können und so schneller zu unseren Choices (den Teilmengen möglicher Eingabewerte einer bestimmten Kategorie) kommen. Weil der Ansatz auf Requirements basiert, die zwar strukturiert sind, aber in natürlicher Sprache verfasst sind, ist es ein halb-automatischer, halb-manueller Ansatz. Für IST-SPL wäre zu überlegen, ob die Category-Partition, oder die diese Methode erweiternde Klassifikationsbaummethode auf ScenTED zu übertragen wäre um die Testdaten und ergebnisse zu bestimmen. Z.B. wäre es möglich die Aktivitätsdiagramme mittels OCL zu erweitern und dann daraus mittels der Klassifikationsbaummethode automatisch Testdaten ableiten???
.
(
2006)
to scenario-based line cases use product testing specification requirements PLUTO PLUC by ist_spl on May 26, 2008, 7:09 PM
