http://www.bibsonomy.org/burst/user/ist_spl/generationBibSonomy BuRST Feed for /user/ist_spl/generation2008-08-21T11:56:46+02:00http://www.bibsonomy.org/bibtex/28d0088e10092aa47bf80c2ecb4f89054/ist_splist_spl2008-07-30T15:21:39+02:00case SOFL functional testing test structural gray-box testdata specification-based contracts generation oracle <span style="color:#555555;">Shaoying <a href="http://www.bibsonomy.org/author/Liu">Liu</a> and Yuting <a href="http://www.bibsonomy.org/author/Chen">Chen</a> </span><em>Journal of Systems and Software</em><em>81(2):234-248</em>(<em>2008</em>)Wed Jul 30 15:21:39 CEST 2008Journal of Systems and Software2234-248A relation-based method combining functional and structural testing for test case generation812008case SOFL functional testing test structural gray-box testdata specification-based contracts generation oracle http://www.bibsonomy.org/bibtex/21d7d58a67c50b799b9aa4d992d614c02/ist_splist_spl2008-07-23T15:27:45+02:00statecharts automated testing systemtest generation Use-Cases test black-box UML cases <span style="color:#555555;">Matthias <a href="http://www.bibsonomy.org/author/Riebisch">Riebisch</a> and Ilka <a href="http://www.bibsonomy.org/author/Philippow">Philippow</a> and Marco <a href="http://www.bibsonomy.org/author/G{\&#034;o}tze">G&#246;tze</a> </span><em>NetObjectDays, </em><em>page394-411. </em>(<em>2002</em>)Wed Jul 23 15:27:45 CEST 2008NetObjectDaysDBLP:conf/jit/2002node394-411UML-Based Statistical Test Case Generation2002statecharts automated testing systemtest generation Use-Cases test black-box UML cases Automated Test Case Generation from Dynamic Modelshttp://www.bibsonomy.org/bibtex/2d94b9513d04ca237d9ef4f48cb72926b/ist_splist_spl2008-07-23T14:50:44+02:00coverage automated test systemtest generation Use-Cases case statemachine UML <span style="color:#555555;">Peter <a href="http://www.bibsonomy.org/author/Fr\&#034;{o}hlich">Fr&#246;hlich</a> and Johannes <a href="http://www.bibsonomy.org/author/Link">Link</a> </span><em>ECOOP '00: Proceedings of the 14th European Conference on Object-Oriented Programming, </em><em>page472--492. </em><em>London, UK, </em><em>Springer-Verlag, </em>(<em>2000</em>)Wed Jul 23 14:50:44 CEST 2008London, UKECOOP '00: Proceedings of the 14th European Conference on Object-Oriented Programming472--492Automated Test Case Generation from Dynamic Models2000coverage automated test systemtest generation Use-Cases case statemachine UML We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and postconditions. The resulting state charts can have transitions with conditions and actions, as well as nested states (sub and stub states). The current paper outlines how test suites with a given coverage level can be automatically generated from these state charts. We do so by mapping state chart elements to the STRIPS planning language. The application of the state of the art planning tool graphplan yields the different test cases as solutions to a planning problem. The test cases (sequences of messages plus test data) can be used for automated or manual software testing on system level.http://www.bibsonomy.org/bibtex/28c1f5039205271120bfaf2c223064af8/ist_splist_spl2008-07-08T13:58:56+02:00ScenTED line automated reuse integration product generation variability testing scenario <span style="color:#555555;">Sacha <a href="http://www.bibsonomy.org/author/Reis">Reis</a> and Andreas <a href="http://www.bibsonomy.org/author/Metzger">Metzger</a> and Klaus <a href="http://www.bibsonomy.org/author/Pohl">Pohl</a> </span><em>FASE, </em><em>page321-335. </em>(<em>2007</em>)Tue Jul 08 13:58:56 CEST 2008FASEDBLP:conf/fase/2007321-335Integration Testing in Software Product Line Engineering: A Model-Based Technique2007ScenTED line automated reuse integration product generation variability testing scenario 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.MR: Ansatz für die Transformation von Use-Cases in Testfälle. Im meisten interessant sind die Metamodelle der (nicht-)formalisierten Anwendungsfälle. Die Testdaten werden leider nicht betrachtet.http://www.bibsonomy.org/bibtex/277c8c100e9ab169e642872e8deb94755/ist_splist_spl2008-07-07T17:38:31+02:00generation transformation diagrams systemtest activity Use-Cases <span style="color:#555555;">Mario <a href="http://www.bibsonomy.org/author/Friske">Friske</a> and Holger <a href="http://www.bibsonomy.org/author/Pirk">Pirk</a> </span><em>September2005. </em>Mon Jul 07 17:38:31 CEST 2008Beitr\"{a}ge der 35. Jahrestagung der Gesellschaft f\"{u}r Informatik e.V. (Band2), Bonn, 19. bis 22. September 2005.SeptemberLNIWerkzeuggest\"{u}tzte interaktive Formalisierung textueller Anwendungsfallbeschreibungen f\"{u}r den Systemtest682005generation transformation diagrams systemtest activity Use-Cases Tester stehen oft vor der Aufgabe, Testf¨alle aus textuellen Anforderungsdokumenten zu erstellen. In der Regel sind diese nat¨urlichsprachlichen Anforderungen nicht formal genug, um daraus automatisch Testf¨alle zu generieren. In diesem Papier stellen wir ein Werkzeug vor, mit welchem textuelle Anwendungsfallbeschreibungen interaktiv aufbereitet werden k¨onnen, so dass die anschließende automatisierte Testfallgenerierung m¨oglich wird. Des Weiteren werden die in dem Werkzeug verwendeten Metamodelle beschrieben.MR: Entwicklung eines Werkzeugs zur automatischen Generierung von Aktivitätsdiagrammen aus Use-Cases.http://www.bibsonomy.org/bibtex/20f54cb7b5d54bf949000a2878214f2d0/ist_splist_spl2008-07-07T16:51:09+02:00transformation diagrams generation activity UML tool Use-Cases <span style="color:#555555;">Mario <a href="http://www.bibsonomy.org/author/Friske">Friske</a> and Holger <a href="http://www.bibsonomy.org/author/Schlingloff">Schlingloff</a> </span><em>Tagungsband Dagstuhl-Workshop MBEES: Model Based Engineering of Embedded Systems III, </em><em>2005-01, </em><em>TU Braunschweig, </em><em>January2007. </em>Mon Jul 07 16:51:09 CEST 2008Tagungsband Dagstuhl-Workshop MBEES: Model Based Engineering of Embedded Systems IIIJanuary2005-01Informatik-BerichtGenerierung von UML-Modellen aus formalisierten Anwendungsfallbeschreibungen2007transformation diagrams generation activity UML tool Use-Cases In diesem Kurzbeitrag zeigen wir, wie textuelle Anwendungsfallbeschreibungen werkzeuggest¨utzt in UML-Aktivit¨atsdiagramme ¨uberf¨uhrt werden k¨onnen. Mit Hilfe eines von uns entwickeltenWerkzeuges formalisieren wir zun¨achst die Beschreibung der Interaktionen, um anschließend aus dem so erstellten formalisierten Anwendungsfallmodell mittels automatisierter Transformation ein UML-Modell zu generieren. Die notwendige Transformation definieren wir in abstrakter Form und setzen diese mit verschiedenen Transformationswerkzeugen um.Generating Test Cases from UML Activity Diagram based on Gray-Box Methodhttp://www.bibsonomy.org/bibtex/21b3b853c356f30b69b0e73bae873f883/ist_splist_spl2008-07-02T12:23:33+02:00testing test activity generation UML gray-box diagram <span style="color:#555555;">Wang <a href="http://www.bibsonomy.org/author/Linzhang">Linzhang</a> and Yuan <a href="http://www.bibsonomy.org/author/Jiesong">Jiesong</a> and Yu <a href="http://www.bibsonomy.org/author/Xiaofeng">Xiaofeng</a> and Hu <a href="http://www.bibsonomy.org/author/Jun">Jun</a> and Li <a href="http://www.bibsonomy.org/author/Xuandong">Xuandong</a> and Zheng <a href="http://www.bibsonomy.org/author/Guoliang">Guoliang</a> </span><em>APSEC '04: Proceedings of the 11th Asia-Pacific Software Engineering Conference, </em><em>page284--291. </em><em>Washington, DC, USA, </em><em>IEEE Computer Society, </em>(<em>2004</em>)Wed Jul 02 12:23:33 CEST 2008Washington, DC, USAAPSEC '04: Proceedings of the 11th Asia-Pacific Software Engineering Conference284--291Generating Test Cases from UML Activity Diagram based on Gray-Box Method2004testing test activity generation UML gray-box diagram Test case generation is the most important part of the testing efforts, the automation of specification based test case generation needs formal or semi-formal specifications. As a semi-formal modelling language, UML is widely used to describe analysis and design specifications by both academia and industry, thus UML models become the sources of test generation naturally. Test cases are usually generated from the requirement or the code while the design is seldom concerned, this paper proposes an approach to generate test cases directly from UML activity diagram using gray-box method, where the design is reused to avoid the cost of test model creation. In this approach, test scenarios are directly derived from the activity diagram modelling an operation. Then all the information for test case generation, i.e. input/output sequence and parameters, the constraint conditions and expected object method sequence, is extracted from each test scenario. At last, the possible values of all the input/output parameters could be generated by applying category-partition method, and test suite could be systematically generated to find the inconsistency between the implementation and the design. A prototype tool named UMLTGF has been developed to support the above process.Computer Science Bibliography Collectionhttp://www.bibsonomy.org/bibtex/2295b43ca71fb9d71fe69cb755c7ae30d/ist_splist_spl2008-06-27T14:53:10+02:00testing generation specification-based testdata line GenVoca Alloy product AHEAD <span style="color:#555555;">Engin <a href="http://www.bibsonomy.org/author/Uzuncaova">Uzuncaova</a> and Daniel <a href="http://www.bibsonomy.org/author/Garcia">Garcia</a> and Sarfraz <a href="http://www.bibsonomy.org/author/Khurshid">Khurshid</a> and 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>page525--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 lines2007testing generation specification-based testdata line GenVoca Alloy product AHEAD 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.Generating Tests from UML Specifications - Offutt, Abdurazik (ResearchIndex)http://www.bibsonomy.org/bibtex/2db9b7ace10d2745034396bdd4bf3259f/ist_splist_spl2008-06-26T08:57:41+02:00testing statecharts UML testdata generation systemtest OCL specification-based <span style="color:#555555;">Jeff <a href="http://www.bibsonomy.org/author/Offutt">Offutt</a> and Aynur <a href="http://www.bibsonomy.org/author/Abdurazik">Abdurazik</a> </span><em>UML'99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28-30. 1999, Proceedings, </em><em>1723, </em><em>page416--429. </em><em>Springer, </em>(<em>1999</em>) <em>MR: Die &#039;Transition Table&#039; aus UML-Statechart-Werkzeugen wird eingelesen und entsprechend definierten Coverage-Criteria werden daraus Testf&amp;#228;lle generi<span class="info">...<span>MR: Die 'Transition Table' aus UML-Statechart-Werkzeugen wird eingelesen und entsprechend definierten Coverage-Criteria werden daraus Testf&#228;lle generiert. Ein weiterer Algo. k&#252;mmert sich um die Test Data indem die Werte generiert werden, die zum erreichen von bestimmten Zust&#228;nden notwendig sind. Es gibt keine konkrete Aussage &#252;ber erwartete Testergebnisse. Den Algorithmen kann man aber vorsichtig ableiten, dass mit Test Data auch die erwarteten Ergebnisse gemeint sind.</span></span> . </em>Thu Jun 26 08:57:41 CEST 2008{UML}'99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, {CO}, {USA}, October 28-30. 1999, ProceedingsMR: Die 'Transition Table' aus UML-Statechart-Werkzeugen wird eingelesen und entsprechend definierten Coverage-Criteria werden daraus Testfälle generiert. Ein weiterer Algo. kümmert sich um die Test Data indem die Werte generiert werden, die zum erreichen von bestimmten Zuständen notwendig sind. Es gibt keine konkrete Aussage über erwartete Testergebnisse. Den Algorithmen kann man aber vorsichtig ableiten, dass mit Test Data auch die erwarteten Ergebnisse gemeint sind.416--429Generating Tests from {UML} Specifications17231999testing statecharts UML testdata generation systemtest OCL specification-based Although most industry testing of complex software is conducted at the system level, most formal research has focused on the unit level.Asaresult,mostsystemlevel testing techniques are only described informally. This paper presents a novel technique that adapts pre-de#ned state-based speci#cation test data generation criteria to generate test cases from UML statecharts. UML statecharts provide a solid basis for test generation in a form that can be easily manipulated. This technique...DBLP Record 'journals/stvr/Binder96'http://www.bibsonomy.org/bibtex/2bcc5fc91e6fe6d54696031859b520f6c/ist_splist_spl2008-06-25T12:46:09+02:00automated oracle systemtest generation object-oriented ADT <span style="color:#555555;">Robert V. <a href="http://www.bibsonomy.org/author/Binder">Binder</a> </span><em>Softw. Test., Verif. Reliab.</em><em>6(3/4):125-252</em>(<em>1996</em>) <em>MR: sehr umfassender &#220;berblick &#252;ber Software-Testing bis zum Jahr 1994 . </em>Wed Jun 25 12:46:09 CEST 2008Softw. Test., Verif. Reliab.MR: sehr umfassender Überblick über Software-Testing bis zum Jahr 19943/4125-252Testing Object-Oriented Software: A Survey61996automated oracle systemtest generation object-oriented ADT Research and practitioner literature on testing object-oriented software published up to the end of 1994 is summarized. The contribution of each source to eight topics presented: (1) abstract data type verification and testing as it relates to object-oriented testing; (2) testing theory - fault hypotheses for object-oriented software and adequate testing (several fault taxonomies are presented); (3) automatic model validation - techniques and tools for testing executable object-oriented representations; (4) test case design - heuristic and formal techniques to develop test cases from object-oriented representations and implementations; (5) testability - factors in controllability and observability; (6) test automation - assertions, state manipulation, comparators, object identity and built-in tests; (7) test process strategies to organize and manage the activity of testing object-oriented implementations; and (8) experience reports. Appendices provide several cross-references.UML Activity Diagram-Based Automatic Test Case Generation For Java Programs -- Chen et al., 10.1093/comjnl/bxm057 -- The Computer Journalhttp://www.bibsonomy.org/bibtex/2397dec649c5fb3adcbffe4d9316a05a7/ist_splist_spl2008-06-11T10:21:56+02:00test diagram Java testing activity generation software UML case automated <span style="color:#555555;">Mingsong <a href="http://www.bibsonomy.org/author/Chen">Chen</a> and Xiaokang <a href="http://www.bibsonomy.org/author/Qiu">Qiu</a> and Wei <a href="http://www.bibsonomy.org/author/Xu">Xu</a> and Linzhang <a href="http://www.bibsonomy.org/author/Wang">Wang</a> and Jianhua <a href="http://www.bibsonomy.org/author/Zhao">Zhao</a> and Xuandong <a href="http://www.bibsonomy.org/author/Li">Li</a> </span><em>The Computer Journal</em>(<em>2007</em>) <em>MR: Der Ansatz ist ein Gray-Box-Ansatz, obwohl es auf Modellen basiert, muss das Programm selbst auch ausgef&amp;#252;hrt werden um bestimmte Eingaben f&amp;#252;r<span class="info">...<span>MR: Der Ansatz ist ein Gray-Box-Ansatz, obwohl es auf Modellen basiert, muss das Programm selbst auch ausgef&#252;hrt werden um bestimmte Eingaben f&#252;r das Verfahren zu liefern. Die Generierung von Testdaten ist kaum automatisiert. F&#252;r IST-SPL interessant wegen den Formalismen f&#252;r Aktivit&#228;tsdiagramme.</span></span> . </em>Wed Jun 11 10:21:56 CEST 2008The Computer JournalMR: 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. UML Activity Diagram-Based Automatic Test Case Generation For Java Programs2007test diagram Java testing activity generation software UML case automated Test case generation based on design specifications is an important part of testing processes. In this paper, Unified Modeling Language activity diagrams are used as design specifications. By setting up several test adequacy criteria with respect to activity diagrams, an automatic approach is presented to generate test cases for Java programs. Instead of directly deriving test cases from activity diagrams, this approach selects test cases from a set of randomly generated ones according to a given test adequacy criterion. In the approach, we first instrument a Java program under testing according to its activity diagram model, and randomly generate abundant test cases for the program. Then, by running the instrumented program we obtain the corresponding program execution traces. Finally, by matching these traces with the behavior of the activity diagram, a reduced set of test cases are selected according to the given test adequacy criterion. This approach can also be used to check the consistency between the program execution traces and the behavior of activity diagrams. SpringerLink - Buchkapitelhttp://www.bibsonomy.org/bibtex/2869bca60c4d2cace8e0b22596f912cd3/ist_splist_spl2008-06-09T11:38:04+02:00integration automated systemtest testing generation category-partition functional specification-based UML <span style="color:#555555;">Francesca <a href="http://www.bibsonomy.org/author/Basanieri">Basanieri</a> and Antonia <a href="http://www.bibsonomy.org/author/Bertolino">Bertolino</a> and Eda <a href="http://www.bibsonomy.org/author/Marchetti">Marchetti</a> </span><em>&#171;UML&#187; 2002 &#8212; The Unified Modeling Language, </em><em>page275--303. </em>(<em>2002</em>) <em>MR: Cow_Suite ist ein Ansatz einer Technik und Toolprototyp f&amp;#252;r den Systemtest und Integrationstest und besteht aus zwei Teilen: - UIT (Use Interactio<span class="info">...<span>MR: Cow_Suite ist ein Ansatz einer Technik und Toolprototyp f&#252;r den Systemtest und Integrationstest und besteht aus zwei Teilen: - UIT (Use Interaction Test) als Testableitungsmethode - Cowtest (Cost Weighted Test Strategy) f&#252;r Testpriorisierung und -selektion. Mit Cowtest wird entschieden welche Testf&#228;lle ausgef&#252;hrt werden sollen, durch setzen von Gewichten in die von der Spez. abgeleitete Graphstrukturen (Testauswahlkriterium) und unterst&#252;tzt auch die Planung des Testprozesses. UIT nutzt diese Information bei der Testfallableitung basierend auf der Category-Partition-Methode, also teils manuell (Interaction mit dem User). Das Besondere ist, dass die forliegende Anforderungs- und Designspezifikation in Form von UML-Use-Case-Diagrammen und -Sequenzdiagrammen ohne weiteren Ausbau (also so wie sie ist) als Input f&#252;r die Technik dienen kann. Ein f&#252;r IST-SPL wichtiger Ansatz: es w&#228;re m&#246;glich &#228;hnliche Strategie (CP) bereits f&#252;r die Aktivit&#228;tsdiagramme anzuwenden, wobei deren Produktlinieneigenschaften ber&#252;cksichtigt werden m&#252;ssten.</span></span> . </em>Mon Jun 09 11:38:04 CEST 2008«UML» 2002 — The Unified Modeling LanguageMR: Cow_Suite ist ein Ansatz einer Technik und Toolprototyp für den Systemtest und Integrationstest und besteht aus zwei Teilen: - UIT (Use Interaction Test) als Testableitungsmethode - Cowtest (Cost Weighted Test Strategy) für Testpriorisierung und -selektion. Mit Cowtest wird entschieden welche Testfälle ausgeführt werden sollen, durch setzen von Gewichten in die von der Spez. abgeleitete Graphstrukturen (Testauswahlkriterium) und unterstützt auch die Planung des Testprozesses. UIT nutzt diese Information bei der Testfallableitung basierend auf der Category-Partition-Methode, also teils manuell (Interaction mit dem User). Das Besondere ist, dass die forliegende Anforderungs- und Designspezifikation in Form von UML-Use-Case-Diagrammen und -Sequenzdiagrammen ohne weiteren Ausbau (also so wie sie ist) als Input für die Technik dienen kann. Ein für IST-SPL wichtiger Ansatz: es wäre möglich ähnliche Strategie (CP) bereits für die Aktivitätsdiagramme anzuwenden, wobei deren Produktlinieneigenschaften berücksichtigt werden müssten.275--303Lecture Notes in Computer ScienceThe Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects2002integration automated systemtest testing generation category-partition functional specification-based UML Cow_Suite provides an integrated and practical approach to the strategic generation and planning of UML-based test suites, since the early stages of system analysis and modeling. It consists of two original components working in combination: theCowtest strategy, which organizes the testing process and helps the manager to select among the many potential test cases,and the UIT method, which performs the automated generation of test cases from the UML diagrams. The approach can be usedin incremental way, starting from the preliminary (even incomplete) UML diagrams, and is applied to integration subsystems,as interactively selected by the tester. The emphasis is on usability, in that we use exactly the same UML diagrams developedfor analysis and design, without requiring any additional formalism or ad-hoc effort specifically for testing purposes. Cow_Suitehas been implemented in a prototype tool, and is currently being validated in an industrial development environment.DBLP Record 'journals/isse/HartmannVFR05'http://www.bibsonomy.org/bibtex/21a538d314b1e59f56185643384be67cf/ist_splist_spl2008-06-04T17:14:57+02:00activity Use-Cases functional test diagrams systemtest generation UML testing automated <span style="color:#555555;">Jean <a href="http://www.bibsonomy.org/author/Hartmann">Hartmann</a> and Marlon <a href="http://www.bibsonomy.org/author/Vieira">Vieira</a> and Herbert <a href="http://www.bibsonomy.org/author/Foster">Foster</a> and Axel <a href="http://www.bibsonomy.org/author/Ruder">Ruder</a> </span><em>ISSE</em><em>1(1):12-24</em>(<em>2005</em>)Wed Jun 04 17:14:57 CEST 2008ISSE112-24A UML-based approach to system testing12005activity Use-Cases functional test diagrams systemtest generation UML testing automated ICSE: AST '06, Automatic test case generation ...http://www.bibsonomy.org/bibtex/20046a5d766fa5f46dcc06cbcc356562a/ist_splist_spl2008-06-03T16:59:26+02:00automated generation diagrams case UML activity test <span style="color:#555555;">Chen <a href="http://www.bibsonomy.org/author/Mingsong">Mingsong</a> and Qiu <a href="http://www.bibsonomy.org/author/Xiaokang">Xiaokang</a> and Li <a href="http://www.bibsonomy.org/author/Xuandong">Xuandong</a> </span><em>AST '06: Proceedings of the 2006 international workshop on Automation of software test, </em><em>page2--8. </em><em>New York, NY, USA, </em><em>ACM, </em>(<em>2006</em>)Tue Jun 03 16:59:26 CEST 2008New York, NY, USAAST '06: Proceedings of the 2006 international workshop on Automation of software test2--8Automatic test case generation for UML activity diagrams JAVA2006automated generation diagrams case UML activity test The test case generation from design specifications is an important work in testing phase. In this paper, we use UML activity diagrams as design specifications, and present an automatic test case generation approach. The approach first randomly generates abundant test cases for a JAVA program under testing. Then, by running the program with the generated test cases, we can get the corresponding program execution traces. Last, by comparing these traces with the given activity diagram according to the specific coverage criteria, we can get a reduced test case set which meets the test adequacy criteria. The approachcan also be used to check the consistency between the program execution traces and the behavior of UML activity diagrams.http://www.bibsonomy.org/bibtex/2d2110c9f6a3a40824b78793cdad46ef4/ist_splist_spl2008-05-30T17:44:59+02:00testing Conformance case generation based model constraint-solving test data abstraction <span style="color:#555555;">Jens R. <a href="http://www.bibsonomy.org/author/Calame">Calame</a> and Natalia <a href="http://www.bibsonomy.org/author/Ioustinova">Ioustinova</a> and Jaco van de <a href="http://www.bibsonomy.org/author/Pol">Pol</a> </span><em>Electronic Notes in Theoretical Computer Science</em><em>#oct#2007. </em><em>MR: Stark formalisiertes und mathematisch ergr&amp;#252;ndetes Werk. Basierend auf der Spezifikation des IUT (gegeben in LTS) wird der L&amp;#246;sungsraum durch d<span class="info">...<span>MR: Stark formalisiertes und mathematisch ergr&#252;ndetes Werk. Basierend auf der Spezifikation des IUT (gegeben in LTS) wird der L&#246;sungsraum durch data abstraction eingeengt (mittels &#181;CRL). Mittels enumerativ tools (wie TGV) werden dann abstrakte Testf&#228;lle generiert. Die konkreten Daten (Ein und Ausgaben!) werden mittels constraint-solving techniques (mittels Prolog) ermittelt. Future Work soll erm&#246;glichen UML-Spezifikationen als Eingabe zu erlauben und die Testf&#228;lle sollen in TTCN-3 generiert werden! Sp&#228;testens dann wird dieser Ansatz f&#252;r IST-SPL sehr interessant.</span></span> . </em>Fri May 30 17:44:59 CEST 2008Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005)Electronic Notes in Theoretical Computer Science#oct#MR: Stark formalisiertes und mathematisch ergründetes Werk. Basierend auf der Spezifikation des IUT (gegeben in LTS) wird der Lösungsraum durch data abstraction eingeengt (mittels µCRL). Mittels enumerativ tools (wie TGV) werden dann abstrakte Testfälle generiert. Die konkreten Daten (Ein und Ausgaben!) werden mittels constraint-solving techniques (mittels Prolog) ermittelt. Future Work soll ermöglichen UML-Spezifikationen als Eingabe zu erlauben und die Testfälle sollen in TTCN-3 generiert werden! Spätestens dann wird dieser Ansatz für IST-SPL sehr interessant.25--48Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction1912007testing Conformance case generation based model constraint-solving test data abstraction Developing test suites is a costly and error-prone process. Model-based test generation tools facilitate this process by automatically generating test cases from system models. The applicability of these tools, however, depends on the size of the target systems. Here, we propose an approach to generate test cases by combining data abstraction, enumerative test generation and constraint-solving. Given the concrete specification of a possibly infinite system, data abstraction allows to derive an abstract system, which is finite and thus suitable for the automatic generation of abstract test cases with enumerative tools. To execute abstract test cases, we have to instantiate them with concrete data. For data selection we make use of constraint-solving techniques.http://www.bibsonomy.org/bibtex/20d50e32df95e6751c846ea71dd555e81/ist_splist_spl2008-05-29T16:24:38+02:00flowgraph constraint-solving automated symbolic statecharts black-box logic specification-based propositional testing generation execution <span style="color:#555555;">Robert M. <a href="http://www.bibsonomy.org/author/Hierons">Hierons</a> and John <a href="http://www.bibsonomy.org/author/Derrick">Derrick</a> </span><em>Software Testing, Verification and Reliability</em><em>10(4):201-202</em>(<em>2000</em>) <em>MR: Gewisserma&amp;#223;en state-of-the-art (f&amp;#252;r Jahr 2000) von spezifikationsbasierten Testmethoden. &amp;#220;berblick &amp;#252;ber drei Methoden wird gegeben:<span class="info">...<span>MR: Gewisserma&#223;en state-of-the-art (f&#252;r Jahr 2000) von spezifikationsbasierten Testmethoden. &#220;berblick &#252;ber drei Methoden wird gegeben: statechart + symbolic execution, state-based specification + propositional logic + constraint solver, components specification + flowgraph + mutation analysis</span></span> . </em>Thu May 29 16:24:38 CEST 2008Software Testing, Verification and ReliabilityMR: Gewissermaßen state-of-the-art (für Jahr 2000) von spezifikationsbasierten Testmethoden. Überblick über drei Methoden wird gegeben: statechart + symbolic execution, state-based specification + propositional logic + constraint solver, components specification + flowgraph + mutation analysis4201-202Editorial: special issue on specification-based testing102000flowgraph constraint-solving automated symbolic statecharts black-box logic specification-based propositional testing generation execution http://www.bibsonomy.org/bibtex/226d5fee01f752294f19fa61b6b4dab4e/ist_splist_spl2008-05-21T11:42:25+02:00automated generation case test model checking <span style="color:#555555;">Ajitha <a href="http://www.bibsonomy.org/author/Rajan">Rajan</a> and Michael W. <a href="http://www.bibsonomy.org/author/Whalen">Whalen</a> and Mats P.E. <a href="http://www.bibsonomy.org/author/Heimdahl">Heimdahl</a> </span><em>ICSE '08: Proceedings of the 30th international conference on Software engineering, </em><em>page161--170. </em><em>New York, NY, USA, </em><em>ACM, </em>(<em>2008</em>) <em>MR: nuetzlich fuer IST-SPL nur wegen der Referenzen auf eingesetzte Techniken zur ' Test Case Generation using model checkers '. . </em>Wed May 21 11:42:25 CEST 2008New York, NY, USAICSE '08: Proceedings of the 30th international conference on Software engineeringMR: nuetzlich fuer IST-SPL nur wegen der Referenzen auf eingesetzte Techniken zur ' Test Case Generation using model checkers '.161--170The effect of program and model structure on mc/dc test adequacy coverage2008automated generation case test model checking In avionics and other critical systems domains, adequacy of test suites is currently measured using the MC/DC metric on source code (or on a model in model-based development). We believe that the rigor of the MC/DC metric is highly sensitive to the structure of the implementation and can therefore be misleading as a test adequacy criterion. We investigate this hypothesis by empirically studying the effect of program structure on MC/DC coverage. To perform this investigation, we use six realistic systems from the civil avionics domain and two toy examples. For each of these systems, we use two versions of their implementation-with and without expression folding (i.e., inlining). To assess the sensitivity of MC/DC to program structure, we first generate test suites that satisfy MC/DC over a non-inlined implementation. We then run the generated test suites over the inlined implementation and measure MC/DC achieved. For our realistic examples, the test suites yield an average reduction of 29.5% in MC/DC achieved over the inlined implementations at 5% statistical significance level.Computer Science Bibliography Collectionhttp://www.bibsonomy.org/bibtex/2489f963043db59b7bf4d78128112420e/ist_splist_spl2008-05-15T09:47:38+02:00test LTL singlesystem generation automated specification-based <span style="color:#555555;">Li <a href="http://www.bibsonomy.org/author/Tan">Tan</a> and Oleg <a href="http://www.bibsonomy.org/author/Sokolsky">Sokolsky</a> and Insup <a href="http://www.bibsonomy.org/author/Lee">Lee</a> </span><em>IRI, </em><em>page493--498. </em><em>IEEE Systems, Man, and Cybernetics Society, </em>(<em>2004</em>) <em>ST: Anforderungen werden in LTL spezifiziert.Es wird eine Metrik definiert, die eine Aussage ueber die Abdeckung der spezifizierten Eingenschaften durch ei<span class="info">...<span>ST: Anforderungen werden in LTL spezifiziert.Es wird eine Metrik definiert, die eine Aussage ueber die Abdeckung der spezifizierten Eingenschaften durch eine Testsuite macht. Durch ein Abdeckungskriterium wird eine Testsuite mit endlichen Testfaellen definiert, die die spezifizierten Eigenschaften testet.</span></span> . </em>Thu May 15 09:47:38 CEST 2008IRIST: Anforderungen werden in LTL spezifiziert.Es wird eine Metrik definiert, die eine Aussage ueber die Abdeckung der spezifizierten Eingenschaften durch eine Testsuite macht. Durch ein Abdeckungskriterium wird eine Testsuite mit endlichen Testfaellen definiert, die die spezifizierten Eigenschaften testet. 493--498Specification-based Testing with Linear Temporal Logic2004test LTL singlesystem generation automated specification-based Assertion-oriented automated test data generationhttp://www.bibsonomy.org/bibtex/210ecb63b6d1d3302d7e4ebfdfc984f6f/ist_splist_spl2008-05-14T11:52:01+02:00test system assertions data single generation automated <span style="color:#555555;">B. <a href="http://www.bibsonomy.org/author/Korel">Korel</a> and A.M. <a href="http://www.bibsonomy.org/author/Al-Yami">Al-Yami</a> </span><em>icse</em>(<em>1996</em>) <em>ST: Testdaten werden mit Hilfe der Assertions automatisch abgeleitet. Das Ziel ist es Testdaten abzuleiten die die Assertion verletzen. Mit dieser Vorgehen<span class="info">...<span>ST: Testdaten werden mit Hilfe der Assertions automatisch abgeleitet. Das Ziel ist es Testdaten abzuleiten die die Assertion verletzen. Mit dieser Vorgehensweise werden mehr Fehler gefunden als mit herk&#246;mmlichen Methoden.</span></span> . </em>Wed May 14 11:52:01 CEST 2008Los Alamitos, CA, USAicseST: Testdaten werden mit Hilfe der Assertions automatisch abgeleitet. Das Ziel ist es Testdaten abzuleiten die die Assertion verletzen. Mit dieser Vorgehensweise werden mehr Fehler gefunden als mit herkömmlichen Methoden.71Assertion-oriented automated test data generation001996test system assertions data single generation automated Computer Science Bibliography Collectionhttp://www.bibsonomy.org/bibtex/28439146ef6fcdee2f3481b1468064316/ist_splist_spl2008-05-14T10:36:47+02:00generation line binding testdata variant product <span style="color:#555555;">Zo&#235; <a href="http://www.bibsonomy.org/author/Stephenson">Stephenson</a> and Yuan <a href="http://www.bibsonomy.org/author/Zhan">Zhan</a> and John <a href="http://www.bibsonomy.org/author/Clark">Clark</a> and John <a href="http://www.bibsonomy.org/author/McDermid">McDermid</a> </span><em>Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004), </em><em>page13--18. </em><em>Boston, MA, </em><em>August2004. </em><em>ST:Fokus liegt auf Test der Variablen Artefakte, es soll gezeigt werden dass das richtige Produkt abgeleitet wurde. Test der Korrekten Bindung. Testdaten-G<span class="info">...<span>ST:Fokus liegt auf Test der Variablen Artefakte, es soll gezeigt werden dass das richtige Produkt abgeleitet wurde. Test der Korrekten Bindung. Testdaten-Generierung um zu zeigen, dass der Output sich f&#252;r zwei unterschiedliche Varianten unterscheidet. Output wird dann gegen die Anforderungen der verschiedenen Varianten getestet, so kann festgestellt werden, ob die richtige Variante gebunden wurde. Technik erfordert lauff&#228;higes Produkt. Entwicklung eines Tools, welches f&#252;r zwei Sourceocde-Artefakte, die sich durch Variabilit&#228;t unterscheiden, Testdaten generiert. Fazit: eher f&#252;r die &#220;berpr&#252;fung geeignet ob Varianten korrekt gebunden wurden. Kein Wiederverwendungsansatz f&#252;r Testdaten, keine explizite Trennung der Testdatenermittlung f&#252;r Domain / Application Engineering.</span></span> . </em>Wed May 14 10:36:47 CEST 2008Boston, MAProceedings of the International Workshop on Software Product Line Testing ({SPL}i{T} 2004)AugustST:Fokus liegt auf Test der Variablen Artefakte, es soll gezeigt werden dass das richtige Produkt abgeleitet wurde. Test der Korrekten Bindung. Testdaten-Generierung um zu zeigen, dass der Output sich für zwei unterschiedliche Varianten unterscheidet. Output wird dann gegen die Anforderungen der verschiedenen Varianten getestet, so kann festgestellt werden, ob die richtige Variante gebunden wurde. Technik erfordert lauffähiges Produkt. Entwicklung eines Tools, welches für zwei Sourceocde-Artefakte, die sich durch Variabilität unterscheiden, Testdaten generiert. Fazit: eher für die Überprüfung geeignet ob Varianten korrekt gebunden wurden. Kein Wiederverwendungsansatz für Testdaten, keine explizite Trennung der Testdatenermittlung für Domain / Application Engineering. 13--18Test Data Generation for Product Lines - {A} Mutation Testing Approach2004generation line binding testdata variant product Modern product lines typically generate large and complex software products. There is an associated cost increase from the need to test such products, especially for a safety-critical embedded system. We propose a method by which characteristics of the product line can be used as a way of reducing the test data search space and providing effective test data for relevant testing problems. We illustrate this with a solution to the problem of checking that a generated instance is a correct reflection of the required behavior.