A blue social bookmark and publication sharing system.
publications
- to FTPS line scenario-based branch UML product activity MBT coverage ddgraph diagrams testing ScenTED by ist_spl on Jul 23, 2008, 5:28 PM
Günter Halmans and Klaus Pohl Software and System Modeling2(1):15-36(
2003)
to engineering UML variability Use-Cases line requirements product by ist_spl and 1 other person on Jul 23, 2008, 12:22 PM- to testing diagrams Use-Cases UML activity line product ScenTED by ist_spl on Jul 23, 2008, 12:20 PM
Dirk Högemann Universität Duisburg-Essen, (
2004)
Projektseminararbeit
.
to variability Use-Cases testing diagrams product ScenTED activity line UML 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 scenarios product line activity diagrams Use-Cases ScenTED testing test UML by ist_spl on Jul 23, 2008, 11:17 AM- to product diagrams testing ScenTED line defs-uses activity UML 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 testing ScenTED dependencies UML diagrams activity application product reuse line data variability OVM by ist_spl on Jul 18, 2008, 2:39 PM- to testing integration scenario product automated ScenTED line generation variability reuse by ist_spl and 1 other person on Jul 8, 2008, 1:58 PM
- to software evolution, product architecture, line by pdeleenh and 4 other people on Jul 7, 2008, 4:45 PM
- to ScenTED software line based scenario requirements product testing 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 product testing line 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 ScenTED product testing by ist_spl and 1 other person on Jul 3, 2008, 6:13 PMJean Hartmann and Marlon Vieira and Axel Ruder Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004), page58--65. Boston, MA, August2004. ST:Basiert auf UML-Aktivitätsdiagrammen Entwicklung eines Tools auf Basis von Rational-Rose. Für die Testdatengewinnung wird eine Ä-Klassena...ST:Basiert auf UML-Aktivitätsdiagrammen Entwicklung eines Tools auf Basis von Rational-Rose. Für die Testdatengewinnung wird eine Ä-Klassenanalyse durchgeführt. Wichtig sind daher die Bedingungen an der Verzweigungspunkten im Aktivitätsdiagramm, da die Auswahl des Testfalls von diesen abhängt. Nutzer wählt Produkt aus und das Tool generiert für ein produkt Testfälle Fazit: Es werden zwar Testfälle mit Testdaten für die Produkte einer Produktlinie automatisch generiert, aber es findet keine Trennung zwischen Domain- und Application Engineering statt. Es ist kein Wiederverwendungsansatz erkennbar. Außerdem arbeitet das Tool auf Basis anderer kommerzieller Tools (Rose). MR: Die Ä-Klassenanalyse wird nach der Category-Partition-Methode durchgeführt, d.h. dass die die Testdaten (mit erwarteten Ausgaben) teilweise manuell erstellt werden müssen.
.
to systemtest product UML TSL TDE/UML line category-partition activity Use-Cases diagrams by ist_spl on Jul 2, 2008, 9:11 AMSatish 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 testing specification testdata product software algebraic oracle automated line CSP specification-based 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 product GenVoca line testing AHEAD specification-based Alloy testdata generation by ist_spl and 1 other person on Jun 27, 2008, 2:53 PMEelco Rommes and Pierre America Software Product Lines - Research Issues in Engineering and Management, Springer, Berlin, (
2006)
to line product software scenario by neilernst on Jun 19, 2008, 7:01 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 line product OVM combinatorial testing by ist_spl on Jun 10, 2008, 11:24 AMHenry Muccini and Andr'e van der Hoek Electr. Notes Theor. Comput. Sci.(
2003)
to testing product line software by ist_spl and 1 other person on Jun 10, 2008, 10:56 AMAntonia Bertolino and Stefania Gnesi ESEC / SIGSOFT FSE, page355--358. (
2003)
ST: Testfaelle und Testdaten werden auf Basis von Use Cases abgeleitet, indem in den Use Cases beinhaltete Szenarien abgedeckt werden. Fazit: Keine Automat...ST: Testfaelle und Testdaten werden auf Basis von Use Cases abgeleitet, indem in den Use Cases beinhaltete Szenarien abgedeckt werden. Fazit: Keine Automatisierung von Testdatenableitung, keine Trennung von Domain- und Application Engineering zur Wiederverwendung von Testdaten.
.
to product method Use-Cases category-partition PLUTO line PLUC systemtest manually by ist_spl and 1 other person on Jun 9, 2008, 1:43 PM
