Extensively class tested, this text takes an innovative approach to explaining the process of software testing: it defines testing as the process of applying a few well-defined, general-purpose test criteria to a structure or model of the software. The structure of the text directly reflects the pedagogical approach and incorporates the latest innovations in testing, including techniques to test modern types of software such as OO, web applications, and embedded software.

Introduction to Software Testing: List of Figures

The amount of software in cars grows exponentially. Driving forces of this development are cheaper and more powerful hardware and the demand for innovations by new functions. The rapid increase of software and software based functionality brings various challenges (see [21], [23], [25], [26]) for the automotive industries, for their organization, key competencies, processes, methods, tools, models, product structures, division of work, logistics, maintenance, and long term strategies. From a software engineering perspective, the automotive industry is an ideal and fascinating application domain for advanced techniques. Although the automotive industry may adopt general results and solutions from the software engineering body of knowledge gained in other domains, the specific constraints and domain specific requirements in the automotive industry ask for individual solutions and bring various challenges for automotive software engineering. In cars we find literally all interesting problems and challenging issues of software and systems engineering.

Challenges in automotive software engineering

Combination strategies are test-case selection methods where test cases are identifled by combining values of the difierent test object input parameters based on some combinatorial strategy. This survey presents 15 difierent combination strategies, and covers more than 30 papers that focus on one or several combination strategies. We believe this collection represents most of the existing work performed on combination strategies. This survey describes the basic algorithms used by the combination strategies. Some properties of combination strategies, including coverage criteria and theoretical bounds on the size of test suites, are also included in this description. This survey paper also includes a subsumption hierarchy that attempts to relate the various coverage criteria associated with the identifled combination strategies. Finally, this survey contains short summaries of all the papers that cover combination strategies.

Combination Testing Strategies : A Survey

The amount of software in cars grows exponentially. Driving forces of this development are the availability of cheaper and more powerful hardware, as well as the demand for innovation through new functionality. The rapidly growing significance of software and software-based functionality is at the root of various challenges in the automotive industries. These concern their organization, definition of key competencies, processes, methods, tools, models, product structures, division of labor, logistics, maintenance, and long-term strategies. This paper pinpoints the idiosyncrasies of the domain, characterizes the essentials of automotive software, and discusses the challenges of automotive software engineering

https://mediatum.ub.tum.de/doc/1251761/file.pdf

Engineering Automotive Software

This paper contrasts two methods to verify timing constraints of real-time applications. The method of static analysis predicts the worst-case and best-case execution times of a task’s code by analyzing execution paths and simulating processor characteristics without ever executing the program or requiring the program’s input. Evolutionary testing is an iterative testing procedure, which approximates the extreme execution times within several generations. By executing the test object dynamically and measuring the execution times the inputs are guided yielding gradually tighter predictions of the extreme execution times. We examined both approaches on a number of real world examples. The results show that static analysis and evolutionary testing are complementary methods, which together provide upper and lower bounds for both worst-case and best-case execution times.

A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints

The automotive industry is one of the sectors which has been affected significantly by the industrial software revolution during the last few years. Competitive challenges, which are of major relevance for the growing number of software-based automotive innovations, are presented by a dramatic growth in system complexity, rising time and cost pressure, and high quality demands. All these requirements lead to a number of software-related challenges which will be of significant competitive importance for the automotive industry in the future. Asides from the question of whether an automotive company decides to develop software in-house or whether this is carried out by suppliers, every automotive key player has to hold or to build up specific software competencies. The most important competence areas are the software development process, software quality management including supplier cooperation, the overall architecture of the in-vehicle software, as well as the ability to specify, to integrate and to test the system.

Software technology in an automotive company - major challenges

Until now, a lot of computer-aided software testing tools have been developed. Most of them aim at the special support of several distinct test activities like test execu- tion, monitoring, and test evaluation. Tools which cover a wider range of activities and test phases have the decisive shortcoming that there is no methodological sup- port for the systematic design of test cases, particularly for the functional test. In summary, there is no sufficient overall support for all test activities. In order to overcome these shortcomings, the testing tool TESSY was developed. The most important strength of TESSY is that it provides support for the whole test- ing life cycle, with the main emphasis on test case determination, test data genera- tion, test execution, and test evaluation. Furthermore, there is powerful support for test organization and test documentation. Substantial components of TESSY are, for example, special window-based editors for the provision of essential environment information, for the graphical visualization of the test object's interface as well as for the interactive input of test data and expected results. During test execution, several basic activities, such as test driver generation, coverage analysis, and regression test- ing, are performed automatically. For the test evaluation, different criteria can be de- fined for the comparison of actual and expected results. However, the essential highlight of TESSY is given by the computer-aided test case design by means of the classification-tree editor CTE which was already presented at the EuroSTAR '93 conference. CTE supports the descriptive and systematic design of black-box test cases following the classification-tree method and has become an integral part of TESSY.

- Yet Another Computer-Aided Software Testing Tool?

Um Software moglichst fehlerfrei entwickeln zu konnen, bedarf es einer Vielzahl aufeinander abgestimmter, sich gut erganzender konstruktiver, analytischer und organisatorischer Masnahmen Ein unverzichtbarer Bestandteil der Software-Prufung ist ein systematischer Test Ziel des Software-Tests ist es, durch Ausfuhrung des Testobjekts mit ausgewahlten Eingaben, Fehler in diesem zu finden Gleichzeitig soll ein bestandener Test Vertrauen in die korrekte Funktionsweise des Testobjekts begrunden Beide Ziele lassen sich nur durch ein systematisches und grundliches Vorgehen beim Software-Test erreichen Die wichtigste Aktivitat ist dabei die Ermittlung von Testfallen, mit denen der Test durchgefuhrt werden soll, da hier Art und Umfang der Prufung festgelegt werden und damit die Gute des Tests bestimmt wird Ein Testfall legt eine bestimmte Eingabekonstellation fest, mit der das Testobjekt getestet werden soll Er umfast eine Menge von Eingabewerten Ein Testfall abstrahiert von einem wirklichen Testdatum und bestimmt dieses nur soweit, wie dies fur die jeweils intendierte Prufung notwendig ist

Systematischer Software-Test mit der Klassifikationsbaum-Methode

Mit dem standig zunehmenden Einsatz von Rechnersystemen in sicherheitsrelevanten technischen Bereichen werden auch an die Software die gleichen hohen Zuverlassigkeits- und Sicherheitsanforderungen wie an konventionelle, Hardware-implementierte sicherheitsrelevante Systeme gestellt. Damit steigen die Anforderungen an die Qualitat der Software und ihren Entwicklungsprozes. Eine bedeutende Rolle bei der Entwicklung und Zulassung sicherheitsrelevanter Software kommt der Verifikation und Validation zu, wobei der systematische Test unverzichtbarer Bestandteil dieser Software-Prufung ist. Da die existierenden Standards und Richtlinien zur Qualitatssicherung und Zulassung, insbesondere zur Prufung sicherheitsrelevanter Software zwar systematische Tests, in der Regel aber keine konkreten Methoden und Verfahren vorschreiben, wird im vorliegenden Beitrag eine umfangreiche Untersuchung des State-of-the-Art auf dem Gebiet der Testmethoden und -verfahren einerseits und der Automatisierung des Tests andererseits vorgestellt. Ziel dieser Untersuchung ist, auf der Basis einer leistungs- und aufwandsorientierten Bewertung der verschiedenen Ansatze die Auswahl der im konkreten Anwendungsfall geeignetsten Methoden, Verfahren und Werkzeuge zu unterstutzen.

Systematisches Testen sicherheitsrelevanter Software - Methoden, Verfahren und Werkzeuge

Der dynamische Funktionalitatstest, bei dem das geforderte funktionale Verhalten des Testobjekts gepruft wird, ist eine grundlegende Methode, um einen im Sinne der Anwender applikationsorientierten Test zu unterstutzen [Howden 87, Grimm 88]. Der dynamische Aspekt, d.h. die Ausfuhrung des Testobjekts, gewahrleistet zugleich, das das reale, ablauforientierte Verhalten des Testlings gepruft wird.

Klassifikation von Software-Testmethoden

Popular Tasks used by Researchers

How can I help with your research?

Get more enhanced response by uploading the PDFs you want me to reference.

No relevant PDFs in your library

SciSpace is the AI research assistant for academics. Run systematic literature reviews on 280M+ papers, and write papers with cited sources. Trusted by 1M+ students, PhDs & researchers.

SciSpace | AI for Research

We encountered an error while loading the panel. Please try refreshing the page.

Something went wrong

Analyze PDFs

Code & Manuscripts

Funding & Grants

Literature & Patents

Medical & Clinical Data

Systematic Review

Visualize & Present

Web & Data

Build a Google Scholar-like website for your research.

Build a website

Create charts and images for your research

Create a Chart

Write a paper for submission to a journal

Draft a manuscript

Patent Search

Design eye-catching scientific posters in minutes.

Scientific Poster Generation

Systematic Literature Review

Anyone with the link can view this chat. You can switch it back to private anytime.

One task is running at the moment. Your messages will be shown right after.

Drag and drop or click here to browse

Loved by <highlight>1 million+</highlight> researchers

Extract a list of specific topics and their sources from unstructured text

Topics

Compare and analyze relevant papers that matches with your search

Papers

Get insights from PDFs and bookmarked papers from your library

My library

Recent searches

Try searching for:

Catch AI-generated content in scholarly and non-scholarly content

{ai} Detector

Ai Writer

Get PDF Summaries, highlighted text explanations 

Chat with PDF

Effortlessly create in-text citations and bibliographies in APA and 2,500 other formats

Citation generator

Get explanations, summaries, and answers on academic papers

Ease up your research workflow with {scispace}'s cohort of exciting AI tools

Elevate your academic writing skills and convey your ideas the way you want

Paraphraser

Explore our range of reading and writing tools

Your file is being prepared and should be ready in a few minutes. If it's a large file, it might take a bit longer. You can close this window, and we'll email you the file when it's done.

You have reached a maximum limit of <strong>{limit}</strong> columns in the table. Remove at least <strong>1</strong> column to add or create another one.

Klaus Grimm

Author Tools

Chat about Author