http://www.bibsonomy.org/burst/user/ist_spl/assertionsBibSonomy BuRST Feed for /user/ist_spl/assertions2008-08-21T05:28:22+02:00Amazon.com: Component-Based Software Testing with UML: Hans-Gerhard Gross: Bookshttp://www.bibsonomy.org/bibtex/2f279f8b0b4981974f0151393e8db9c17/ist_splist_spl2008-07-01T08:24:26+02:00contracts UML diagrams activity MBT testing assertions <span style="color:#555555;">Hans-Gerhard <a href="http://www.bibsonomy.org/author/Gross">Gross</a> </span><em>Springer, </em><em>1 edition, </em>(<em>2004</em>) <em>MR: am meisten interessant ist der Kapitel: Model-Based Testing with UML und dadrin der Abschnitt &amp;#252;ber das Testen mit Aktivit&amp;#228;tsdiagrammen (in Be<span class="info">...<span>MR: am meisten interessant ist der Kapitel: Model-Based Testing with UML und dadrin der Abschnitt &#252;ber das Testen mit Aktivit&#228;tsdiagrammen (in Bezug auf ScenTED)</span></span> . </em>Tue Jul 01 08:24:26 CEST 20081MR: am meisten interessant ist der Kapitel: Model-Based Testing with UML und dadrin der Abschnitt über das Testen mit Aktivitätsdiagrammen (in Bezug auf ScenTED)Component-Based Software Testing with UML2004contracts UML diagrams activity MBT testing assertions Review Component-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems from readily-available prefabricated parts is the norm. Because both component-based systems themselves and the stakeholders in component-based development projects are different from traditional software systems, component-based testing also needs to deviate from traditional software testing approaches. Gross first describes the specific challenges related to component-based testing like the lack of internal knowledge of a component or the usage of a component in diverse contexts. He argues that only built-in contract testing, a test organization for component-based applications founded on building test artifacts directly into components, can prevent catastrophic failures like the one that caused the now famous ARIANE 5 crash in 1996. Since building testing into components has implications for component development, built-in contract testing is integrated with and made to complement a model-driven development method. Here UML models are used to derive the testing architecture for an application, the testing interfaces and the component testers. The method also provides a process and guidelines for modeling and developing these artifacts. This book is the first comprehensive treatment of the intricacies of testing component-based software systems. With its strong modeling background, it appeals to researchers and graduate students specializing in component-based software engineering. Professionals architecting and developing component-based systems will profit from the UML-based methodology and the implementation hints based on the XUnit and JUnit frameworks.Assertion-oriented automated test data generationhttp://www.bibsonomy.org/bibtex/210ecb63b6d1d3302d7e4ebfdfc984f6f/ist_splist_spl2008-05-14T11:52:01+02:00single system data assertions automated generation test <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 generation001996single system data assertions automated generation test