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 Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner.

Testen  Analysieren und Verifizieren von Software


Improving Software Testing

Moreover, we will try to attract funding for further industry supported projects on software testing and software quality. ... Testen, Analysieren und Verifizieren von. 1. Slaughter, S.A., Harter, D.E., Krishnan, M.S.: Evaluating the ...

Improving Software Testing

​Software is continuously increasing in complexity. Paradigmatic shifts and new development frameworks make it easier to implement software – but not to test it. Software testing remains to be a topic with many open questions with regard to both technical low-level aspects and to the organizational embedding of testing. However, a desired level of software quality cannot be achieved by either choosing a technical procedure or by optimizing testing processes. In fact, it requires a holistic approach.This Brief summarizes the current knowledge of software testing and introduces three current research approaches. The base of knowledge is presented comprehensively in scope but concise in length; thereby the volume can be used as a reference. Research is highlighted from different points of view. Firstly, progress on developing a tool for automated test case generation (TCG) based on a program’s structure is introduced. Secondly, results from a project with industry partners on testing best practices are highlighted. Thirdly, embedding testing into e-assessment of programming exercises is described.

Automotive Embedded Systems Handbook

Systematisches Testen von Software - Eine neue Methode und eine effektive Teststrategie . Dissertation , GMD - Bericht Nr . 251 ... Testen , Analysieren und Verifizieren von Software — eine klassifizierende Übersicht der Verfahren .

Automotive Embedded Systems Handbook

A Clear Outline of Current Methods for Designing and Implementing Automotive Systems Highlighting requirements, technologies, and business models, the Automotive Embedded Systems Handbook provides a comprehensive overview of existing and future automotive electronic systems. It presents state-of-the-art methodological and technical solutions in the areas of in-vehicle architectures, multipartner development processes, software engineering methods, embedded communications, and safety and dependability assessment. Divided into four parts, the book begins with an introduction to the design constraints of automotive-embedded systems. It also examines AUTOSAR as the emerging de facto standard and looks at how key technologies, such as sensors and wireless networks, will facilitate the conception of partially and fully autonomous vehicles. The next section focuses on networks and protocols, including CAN, LIN, FlexRay, and TTCAN. The third part explores the design processes of electronic embedded systems, along with new design methodologies, such as the virtual platform. The final section presents validation and verification techniques relating to safety issues. Providing domain-specific solutions to various technical challenges, this handbook serves as a reliable, complete, and well-documented source of information on automotive embedded systems.

Informatik Wirtschaft Gesellschaft

Nach dem Ereignis ARRIVE 3 (4) sollen die Voraussetzungen für den gewählten Testfall erreicht sein. ... A. Spillner (Hrsg.): Testen, Analysieren und Verifizieren von Software Reihe Informatik Aktuell, Springer Verlag, Heidelberg, ...

Informatik     Wirtschaft     Gesellschaft


Testing Object Oriented Software

In P. Liggesmeyer, H. M. Sneed, and A. Spillner, editors, Testen, Analysieren und Verifizieren von Software, pages 168–177. GI, Springer-Verlag, 1992. J. Overbeck. Testaktivitäten im objektorientierten Software LebenSzyklus.

Testing Object Oriented Software

Addressing various aspects of object-oriented software techniques with respect to their impact on testing, this text argues that the testing of object-oriented software is not restricted to a single phase of software development. The book concentrates heavily on the testing of classes and of components or sub-systems, and a major part is devoted to this subject. C++ is used throughout this book that is intended for software practitioners, managers, researchers, students, or anyone interested in object-oriented technology and its impacts throughout the software engineering life-cycle.

Real World Solutions for Developing High Quality PHP Frameworks and Applications

... namely findability, accessibility, and legal conformity.2 Software quality is a multifaceted topic, as Peter Liggesmeyer states in the introduction to Software-Qualität: Testen, Analysieren und Verifizieren von Software, 2.

Real World Solutions for Developing High Quality PHP Frameworks and Applications

Learn to develop high-quality applications and frameworks in PHP Packed with in-depth information and step-by-step guidance, this book escorts you through the process of creating, maintaining and extending sustainable software of high quality with PHP. World-renowned PHP experts present real-world case studies for developing high-quality applications and frameworks in PHP that can easily be adapted to changing business requirements. . They offer different approaches to solving typical development and quality assurance problems that every developer needs to know and master. Details the process for creating high-quality PHP frameworks and applications that can easily be adapted to changing business requirements Covers the planning, execution, and automation of tests for the different layers and tiers of a Web application Demonstrates how to establish a successful development process Shares real-world case studies from well-known companies and their PHP experts With this book, you’ll learn to develop high-quality PHP frameworks and applications that can easily be maintained with reasonable cost and effort.

Encyclopedia of Software Engineering Three Volume Set Print

Beck, K. Test-Driven Development by Example; Addison Wesley: Boston, MA, 2003. Liggesmeyer, P. Software-Qualita ̈t, Testen: Analysieren und Verifizieren von Software; Springer-Verlag: Berlin, ...

Encyclopedia of Software Engineering Three Volume Set  Print

Software engineering requires specialized knowledge of a broad spectrum of topics, including the construction of software and the platforms, applications, and environments in which the software operates as well as an understanding of the people who build and use the software. Offering an authoritative perspective, the two volumes of the Encyclopedia of Software Engineering cover the entire multidisciplinary scope of this important field. More than 200 expert contributors and reviewers from industry and academia across 21 countries provide easy-to-read entries that cover software requirements, design, construction, testing, maintenance, configuration management, quality control, and software engineering management tools and methods. Editor Phillip A. Laplante uses the most universally recognized definition of the areas of relevance to software engineering, the Software Engineering Body of Knowledge (SWEBOK®), as a template for organizing the material. Also available in an electronic format, this encyclopedia supplies software engineering students, IT professionals, researchers, managers, and scholars with unrivaled coverage of the topics that encompass this ever-changing field. Also Available Online This Taylor & Francis encyclopedia is also available through online subscription, offering a variety of extra benefits for researchers, students, and librarians, including: Citation tracking and alerts Active reference linking Saved searches and marked lists HTML and PDF format options Contact Taylor and Francis for more information or to inquire about subscription options and print/online combination packages. US: (Tel) 1.888.318.2367; (E-mail) [email protected] International: (Tel) +44 (0) 20 7017 6062; (E-mail) [email protected]

Software Process and Product Measurement

Liggesmeyer, P.: Software Qualität – Testen, Analysieren und Verifizieren von Software. Spektrum Verlag (2002) 14. Chen, Y., Probert, R.L., Robeson, K.: Effective Test Metrics for Test Strategy Evolution. In: Lutfiyya, H., Singer, J., ...

Software Process and Product Measurement

improve modern software development approaches.

Software Technologies

Liggesmeyer, P.: Software-Qualität: Testen, Analysieren und Verifizieren von Software, 2nd edn. Spektrum Akademischer Verlag, Heidelberg (2009) 12. The HDF Group: HDF5, 05 April 2018. https://portal.hdfgroup.org/display/ HDF5/HDF5 13.

Software Technologies

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, held in Prague, Czech Republic, in July 2019. The 10 revised full papers were carefully reviewed and selected from 116 submissions. The topics covered in the papers include: business process modelling, IT service management, interoperability and service-oriented architecture, project management software, scheduling and estimating, software metrics, requirements elicitation and specification, software and systems integration, etc.

Systems and Software Quality

... Broekman B, Vroon M (2008) TMap Next, Ein praktischer Leitfaden fu ̈r ergebnisorientiertes Softwaretesten. dpunkt.verlag, Heidelberg Liggesmeyer P (2002) Software-Qualita ̈t: Testen, Analysieren und Verifizieren von Software.

Systems and Software Quality

Software and systems quality is playing an increasingly important role in the growth of almost all ─ profit and non-profit ─ organisations. Quality is vital to the success of enterprises in their markets. Most small trade and repair businesses use software systems in their administration and marketing processes. Every doctor’s surgery is managing its patients using software. Banking is no longer conceivable without software. Aircraft, trucks and cars use more and more software to handle their increasingly complex technical systems. Innovation, competition and cost pressure are always present in on-going business decisions. The question facing all these organisations is how to achieve the right quality of their software-based systems and products; how to get the required level of quality, a level that the market will reward, a level that mitigates the organisation’s risks and a level that the organisation is willing to pay for. Although a number of good practices are in place, there is still room for huge improvements. Thus, let us take a look into the two worlds of “Embedded systems” and “ICT systems” and let us learn from both worlds, from overlaps and individual solutions. The next step for industrialisation in the software industry is required now. Hence, three pillars will be focused in this book: (1) a fundamental notion of right software and systems quality (RiSSQ); (2) portfolio management, quality governance, quality management, and quality engineering as holistic approach over the three layers of an enterprise, i.e. strategic, tactical, and operational layer; and (3) an industrialisation framework for implementing our approach.

Software Product Lines Going Beyond

Proceedings of the International Workshop on Software Product Line Testing (SPLiT) 2004. Boston, USA. ... Liggesmeyer, P.: Software Qualität: Testen, Analysieren und Verifizieren von Software (in german), 2nd edn.

Software Product Lines  Going Beyond

This volume constitutes the refereed proceedings of the 14th International Software Product Line Conference, SPLC 2010, held on Jeju Island, South Korea, in September 2010.

Fahrerassistenzsysteme 2018

Testen, Analysieren und Verifizieren von Software, 2. Aufl. Spektrum, Akademischer Verlag, Heidelberg (2002) Connected Development in Driver Assistance – Paving the Way to Systematically Generated and Complete Tests 125 References.

Fahrerassistenzsysteme 2018

Der Tagungsband zur ATZlive-Veranstaltung "Fahrerassistenzsysteme 2018" thematisiert in Vorträgen u.a. welche fahrfremden Tätigkeiten der Fahrer im automatisierten Modus wie ausüben darf und wie sich die SAE-Level 3 und 4 voneinander abgrenzen lassen. Weitere Aspekte sind der Fahrer (Mensch) in der Interaktion mit dem Fahrzeug (Maschine) sowie die damit verbundenen Interdependenzen. Die Tagung ist eine unverzichtbare Plattform für den Wissens- und Gedankenaustausch von Forschern und Entwicklern aller Unternehmen und Institutionen, um wichtige Impulse für ihre tägliche Arbeit zu erhalten.

Computer Safety Reliability and Security

The number of test cases killing the remaining mutants is given in column RT of table 1. In the light of these considerations, the results of ... Liggesmeyer, P.: Software-Qualität – Testen, Analysieren und Verifizieren von Software.

Computer Safety  Reliability  and Security

This book constitutes the refereed proceedings of the 25th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2006. The 32 revised full papers were carefully reviewed and selected from 101 submissions. Topical sections include systems of systems, security and survivability analysis, nuclear safety and application of standards, formal approaches, networks dependability, coping with change and mobility, safety analysis and assessment, 6th FP integrated project DECOS, and modelling.

Software Measurement

[99] Lake, Al Use of Factor Analysis to Develop OOP Software Complexity Metrics. Annual Oregon Workshop on Software Metrics, ... [103] Liggesmeyer, P.; Sneed, H.M.; Spillner, A.(Editor) Testen, Analysieren und Verifizieren von Software.

Software Measurement

Software developers are faced with the challenge of making software systems and products of ever greater quality and safety, while at the same time being faced with the growing pressure of costs reduction in order to gain and maintain competitive advantages. As in any scientific and engineering discipline, reliable measurement is essential for talking on such a challenge. "Software measurement is an excellent abstraction mechanism for learning what works and what doesn't" (Victor Basili). Measurement of both software process and products provides a large amount of basic information for the evaluation of the software development processes or the software products themselves. Examples of recent successes in software measurement span multiple areas, such as evaluation of new development methods and paradigms, quality and management improvement programs, tool-supporting initiatives and company wide measurement programs. The German Computer Science Interest (GI) Group of Software Metrics and the Canadian Interest Group in Software Metrics (CIM) have attended to these concerns in the recent years. Research initiatives were directed initially to the definition of software metrics and then to validation of the software metrics themselves. This was followed by more and more investigation into practical applications of software metrics and by critical analysis of the benefits and weaknesses of software measurement programs. Key findings in this area of software engineering have been published in some important books, such as Dumke and Zuse's Theory and Practice of Software Measurement, Ebert and Dumke's Software Metrics in Practice and Lehner, Dumke and Abran's Software Metrics.

A Framework of Software Measurement

Annual Oregon Workshop on Software Metrics, March 22-24, 1992, Silver Falls, Oregon, USA. Lake, Al: Use of Factor Analysis to ... Liggesmeyer, P.; Sneed, H.M.; Spillner, A.(Editor): Testen, Analysieren und Verifizieren von Software.

A Framework of Software Measurement


Certifying Software Component Performance Specifications

[Lav03] R. M. Laverty, “ROBOCOP — robust open component based software architecture for configurable devices project — deliverable ... [Lig09] P. Liggesmeyer, Software-Qualität: Testen, Analysieren und Verifizieren von Software, 2nd ed.

Certifying Software Component Performance Specifications


Model Driven Online Capacity Management for Component Based Software Systems

Software-Qualität: Testen, Analysieren und Verifizieren von Software. Spektrum Akademischer Verlag, 2002. (cited on page 40) [Lilja 2005] D. J. Lilja. Measuring Computer Performance: A Practitioner's Guide. Cambridge University Press ...

Model Driven Online Capacity Management for Component Based Software Systems

Capacity management is a core activity when designing and operating distributed software systems. Particularly, enterprise application systems are exposed to highly varying workloads. Employing static capacity management, this leads to unnecessarily high total cost of ownership due to poor resource usage efficiency. This thesis introduces a model-driven online capacity management approach for distributed component-based software systems, called SLAstic. The core contributions of this approach are a) modeling languages to capture relevant architectural information about a controlled software system, b) an architecture-based online capacity management framework based on the common MAPE-K control loop architecture, c) model-driven techniques supporting the automation of the approach, d) architectural runtime reconfiguration operations for controlling a system’s capacity, as well as e) an integration of the Palladio Component Model. A qualitative and quantitative evaluation of the approach is performed by case studies, lab experiments, and simulation.

Software Process Definition and Management

Carnegie Mellon Software Engineering Institute (2002) Capability maturity model integration 1.2. http://www.sei.cmu.edu/cmmi/. Accessed 9 Jun 2011 7. Liggesmeyer P (2009) Software-Qualit€at: Testen, Analysieren und Verifizieren von ...

Software Process Definition and Management

The concept of processes is at the heart of software and systems engineering. Software process models integrate software engineering methods and techniques and are the basis for managing large-scale software and IT projects. High product quality routinely results from high process quality. Software process management deals with getting and maintaining control over processes and their evolution. Becoming acquainted with existing software process models is not enough, though. It is important to understand how to select, define, manage, deploy, evaluate, and systematically evolve software process models so that they suitably address the problems, applications, and environments to which they are applied. Providing basic knowledge for these important tasks is the main goal of this textbook. Münch and his co-authors aim at providing knowledge that enables readers to develop useful process models that are suitable for their own purposes. They start with the basic concepts. Subsequently, existing representative process models are introduced, followed by a description of how to create individual models and the necessary means for doing so (i.e., notations and tools). Lastly, different possible usage scenarios for process management are highlighted (e.g. process improvement and software process simulation). Their book is aimed at students and researchers working on software project management, software quality assurance, and software measurement; and at practitioners who are interested in process definition and management for developing, maintaining, and operating software-intensive systems and services.

Product Focused Software Process Improvement

Knauss, E., El Boustani, C.: Assessing the Quality of Software Requirements Specifications. ... Testen, Analysieren und Verifizieren von Software Investigating the Impact of SRS Quality on Project Success 41 References.

Product Focused Software Process Improvement

On behalf of the PROFES Organizing Committee we are proud to present the proce- th ings of the 10 International Conference on Product Focused Software Process - provement (PROFES 2009), held in Oulu, Finland. Since the first conference in 1999, the conference has established its place in the software engineering community as a respected conference that brings together participants from academia and industry. The roots of PROFES are in professional software process improvement motivated by product and service quality needs. The conference addresses both the solutions found in practice as well as relevant research results from academia. To ensure that PROFES retains its high quality and focus on the most relevant research issues, the conference has actively maintained close collaboration with industry and sub- quently widened its scope to the research areas of collaborative and agile software development. A special focus for 2009 was placed on software business to bridge research and practice in the economics of software engineering. This enabled us to cover software development in a more comprehensive manner and tackle one of the most important current challenges identified by the software industry and software research community – namely, the shift of focus from “products” to “services. ” The current global economic downturn emphasizes the need for new methods and so- tions for fast and business-oriented development of products and services in a gl- ally distributed environment.

Evaluation of Novel Approaches to Software Engineering

15. 16. 17. 18. 19. 20. 21. 22. Liggesmeyer, P.: Software-Qualität. Testen, Analysieren und Verifizieren von Software. Spektrum Akademischer Verlag (2002) Martin, R.C.: Agile Software Development, Principles, Patterns, and Practices.

Evaluation of Novel Approaches to Software Engineering

This book contains a collection of thoroughly refereed papers presented at the 5th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2010, held in Athens, Greece, in July 2010. The 19 revised and extended full papers were carefully selected from 70 submissions. They cover a wide range of topics, such as quality and metrics; service and Web engineering; process engineering; patterns, reuse and open source; process improvement; aspect-oriented engineering; and requirements engineering.