Testen, Analysieren und Verifizieren von Software: by Peter Liggesmeyer (auth.), Peter Liggesmeyer, Harry M.

By Peter Liggesmeyer (auth.), Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner (eds.)

Show description

Read or Download Testen, Analysieren und Verifizieren von Software: Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992 PDF

Best software books

Agile Software Development, Principles, Patterns, and Practices

Written by way of a software program developer for software program builders, this booklet is a special choice of the most recent software program improvement equipment. the writer contains OOD, UML, layout styles, Agile and XP equipment with an in depth description of a whole software program layout for reusable courses in C++ and Java. utilizing a realistic, problem-solving strategy, it exhibits how one can improve an object-oriented application—from the early levels of research, during the low-level layout and into the implementation. Walks readers in the course of the designer's ideas — displaying the mistakes, blind alleys, and inventive insights that happen through the software program layout strategy. The publication covers: Statics and Dynamics; rules of sophistication layout; Complexity administration; rules of package deal layout; research and layout; styles and Paradigm Crossings. Explains the rules of OOD, one after the other, after which demonstrates them with a variety of examples, thoroughly worked-through designs, and case experiences. Covers traps, pitfalls, and paintings arounds within the software of C++ and OOD after which exhibits how Agile equipment can be utilized. Discusses the equipment for designing and constructing sizeable software program intimately. encompasses a three-chapter, in-depth, unmarried case learn of a development safeguard method. For software program Engineers, Programmers, and Analysts who are looking to know the way to layout item orientated software program with state-of-the-art tools.

Models in Software Engineering: Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

This ebook offers a entire documentation of the medical final result of satellite tv for pc occasions held on the 14th foreign convention on Model-Driven Engineering, Languages and platforms, versions 2011, held in Wellington, New Zealand, in October 2011. as well as three contributions all the doctoral symposium and the educators' symposium, papers from the next workshops are incorporated: variability for you; multi-paradigm modeling; reports and empirical reviews in software program modelling; models@run.

Search Based Software Engineering: 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

This ebook constitutes the refereed lawsuits of the eighth foreign Symposium on Search-Based software program Engineering, SSBSE 2016, held in Raleigh, NC, united states, in October 2016. The thirteen revised complete papers and four brief papers awarded including 7 problem song and four graduate pupil tune papers have been rigorously reviewed and chosen from forty eight submissions.

Additional resources for Testen, Analysieren und Verifizieren von Software: Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992

Sample text

European Organisation for Quality Control (EOQC), 1990. 8. , Meyerhoff, D. und Flacke, S .. Enhancing Accessability of Metrics Knowledge. In Proc. of EUROMETRICS 91, pages 369 - 379. EC2, 1991. 9. , and Flacke, S. Supporting Software Measurement: The METKIT CAl System. In Results and Progress of ESPRIT Projects, pages 246-261. Commission of the European Communities, 1991. 10. E .. On hierarchical software metrics. Software Engineering Journal, pages 42 45, March 1987. This article was processed using the ~TEJX macro package with LMAMULT style The MicroTest Integrated Test Environment Harry M.

Extending Mutation Testing to Find Environmental Bugs. Software - Practice and Experience 20(2), 181-189 (1990) 43. : Testrnethoden und Testdatengewinnung fur den Integrationstest modularer Softwaresysteme. In: Informatik. aktuell (vorliegender Band). Berlin: Springer (1992) 44. : What To Compare When Comparing Test Data Adequacy Criteria. ACM SIGSOFf Software Engineering Notes 14(6), 42-49 (1989) Klassifikation von Software-Testmethoden Jens Herrmann & Klaus Grimm Daimler-Benz AG Forschungsgruppe Systemtechnik Alt-Moabit 91 b 1000 Berlin 21 1 Einleitung Der dynamische Funktionalitatstest, bei dem das geforderte funktionale Verhalten des Testobjekts geprOft wird, ist eine grundlegende Methode, um einen im Sinne der Anwender applikationsorientierten Test zu unterstOtzen [Howden 87, Grimm 88].

IEEE Transactions on Software Engineering SE-11 (4), 367-375 (1985) 38. : Methoden und Werkzeuge zur Automatisierung des Software-Tests. In: Informatik. aktuell (vorliegender Band). Berlin: Springer (1992) 39. : Software-Testen. Stand der Technik. -Spektrum 11(6), 303-311 (1988) 40. : The MicroTest Integrated Test Environment. In: Informatik. aktuell (vorliegender Band). Berlin: Springer (1992) 41. : Certillcation Testing: A Procedure to Improve the Quality of Software Testing. Computer 12(8), 20-24 (1979) 42.

Download PDF sample

Rated 4.38 of 5 – based on 36 votes