Software-Test für Embedded Systems

Ein Praxishandbuch für Entwickler, Tester und technische Projektleiter

Author: Stephan Grünfelder

Publisher: dpunkt.verlag

ISBN: 3960881495

Category: Computers

Page: 410

View: 8013

Dieses Buch beschreibt alle wichtigen praxistauglichen Methoden des Software-Tests für eingebettete Systeme und zeigt, wie sie sich in ein planungsgesteuertes bzw. agiles Projekt eingliedern lassen. Dabei werden die Teststufen in chronologischer Reihenfolge behandelt und die Erläuterungen mit zahlreichen Beispielen aus Projekten mit und ohne Sicherheitsrelevanz illustriert. Behandelt werden u. a. folgende Themen: • Statische Code-Analyse • Unit-Tests • Hardware/Software-Integrationstests • Software/Software-Integrationstests • Systemtests • Data Race Testing • Schedulability und Echtzeittests • Normen und Haftungsrisiko Persönliche Bewertungen von Testmethoden, Erfahrungsberichte und eine Diskussion von Testwerkzeugen am Ende jedes Kapitels geben dem Leser wichtige Orientierungshilfen bei der Umsetzung des Stoffs und beim Kauf von Werkzeugen. Verständnisfragen mit Antworten sowie Übungsbeispiele mit Lösungen erleichtern die Verwendung des Buches im Hochschulbereich und geben auch dem Leser aus dem industriellen Umfeld die Möglichkeit zur Selbstkontrolle. Die Buchkapitel sind weitgehend unabhängig voneinander aufgebaut. Sie erlauben das Lesen der Kapitel in einer beliebigen Reihenfolge und machen das Buch auch als Nachschlagewerk wertvoll. Neu in der 2. Auflage: • Aktualisierung auf die neuesten Tools und Normen – insbesondere ISO 29119 • Neues Kapitel zu Trace-Daten im Testumfeld • Zusätzliche Erfahrungsberichte

Model-Based Testing for Embedded Systems

Author: Justyna Zander,Ina Schieferdecker,Pieter J. Mosterman

Publisher: CRC Press

ISBN: 135183391X

Category: Computers

Page: 688

View: 3695

What the experts have to say about Model-Based Testing for Embedded Systems: "This book is exactly what is needed at the exact right time in this fast-growing area. From its beginnings over 10 years ago of deriving tests from UML statecharts, model-based testing has matured into a topic with both breadth and depth. Testing embedded systems is a natural application of MBT, and this book hits the nail exactly on the head. Numerous topics are presented clearly, thoroughly, and concisely in this cutting-edge book. The authors are world-class leading experts in this area and teach us well-used and validated techniques, along with new ideas for solving hard problems. "It is rare that a book can take recent research advances and present them in a form ready for practical use, but this book accomplishes that and more. I am anxious to recommend this in my consulting and to teach a new class to my students." —Dr. Jeff Offutt, professor of software engineering, George Mason University, Fairfax, Virginia, USA "This handbook is the best resource I am aware of on the automated testing of embedded systems. It is thorough, comprehensive, and authoritative. It covers all important technical and scientific aspects but also provides highly interesting insights into the state of practice of model-based testing for embedded systems." —Dr. Lionel C. Briand, IEEE Fellow, Simula Research Laboratory, Lysaker, Norway, and professor at the University of Oslo, Norway "As model-based testing is entering the mainstream, such a comprehensive and intelligible book is a must-read for anyone looking for more information about improved testing methods for embedded systems. Illustrated with numerous aspects of these techniques from many contributors, it gives a clear picture of what the state of the art is today." —Dr. Bruno Legeard, CTO of Smartesting, professor of Software Engineering at the University of Franche-Comté, Besançon, France, and co-author of Practical Model-Based Testing

Component-Based Software Development for Embedded Systems

An Overview of Current Research Trends

Author: Colin Atkinson,Christian Bunse,Hans-Gerhard Gross,Christian Peper

Publisher: Springer Science & Business Media

ISBN: 3540306447

Category: Computers

Page: 344

View: 8708

Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embedded s- tems are safety- or security-critical such as in medical equipment, nuclear plants, and X-by-wire control systems in naval, ground and aerospace transportation - hicles. With the continuing shift from hardware to software, embedded systems are increasingly dominated by embedded software. Embedded software is complex. Its engineering inherently involves a mul- disciplinary interplay with the physics of the embedding system or environment. Embedded software also comes in ever larger quantity and diversity. The next generation of premium automobiles will carry around one gigabyte of binary code. The proposed US DDX submarine is e?ectively a ?oating embedded so- ware system, comprising 30 billion lines of code written in over 100 programming languages. Embedded software is expensive. Cost estimates are quoted at around US$15– 30 per line (from commencement to shipping). In the defense realm, costs can range up to $100, while for highly critical applications, such as the Space Shuttle, the cost per line approximates $1,000. In view of the exponential increase in complexity, the projected costs of future embedded software are staggering.

Testing Software and Systems

23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings

Author: Burkhart Wolff,Fatiha Zaidi

Publisher: Springer Science & Business Media

ISBN: 364224579X

Category: Computers

Page: 226

View: 7211

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2011, held in Paris, France, in November 2011. The 13 revised full papers presented together with 2 invited talks were carefully selected from 40 submissions. The papers address the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, controllers, and security infrastructures.

Radiation Effects on Embedded Systems

Author: Raoul Velazco,Pascal Fouillat,Ricardo Reis

Publisher: Springer Science & Business Media

ISBN: 140205646X

Category: Technology & Engineering

Page: 269

View: 4802

This volume provides an extensive overview of radiation effects on integrated circuits, offering major guidelines for coping with radiation effects on components. It contains a set of chapters based on the tutorials presented at the International School on Effects of Radiation on Embedded Systems for Space Applications (SERESSA) that was held in Manaus, Brazil, November 20-25, 2005.

Testing of Software and Communication Systems

21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings

Author: Manuel Nunez,Paul Baker,Mercedes G. Merayo

Publisher: Springer Science & Business Media

ISBN: 3642050301

Category: Computers

Page: 247

View: 7585

This volume contains the proceedings of TESTCOM/FATES 2009, a Joint Conference of the 21st IFIP International Conference on Testing of Com- nicating Systems (TESTCOM) and the 9th International Workshop on Formal Approachesto Testing of Software (FATES). TESTCOM/FATES 2009 was held in Eindhoven, The Netherlands, during November 2–4, 2009. In this edition, TESTCOM/FATES was part of the ?rst Formal Methods Week (FMweek). TESTCOM/FATES aims at being a forum for researchers, developers, and testers to review, discuss, and learn about new approaches, concepts, theories, methodologies, tools, and experiences in the ?eld of testing of communicating systemsandsoftware.TESTCOMhasa longhistory.Previouslyitwascalled- ternationalWorkshoponProtocolTest Systems (IWPTS) and changedits name latertoInternationalWorkshoponTestingofCommunicatingSystem(IWTCS). The previous events were held in Vancouver, Canada (1988); Berlin, Germany (1989);McLean,USA (1990);Leidschendam,TheNetherlands(1991);Montreal, Canada (1992); Pau, France (1993); Tokyo, Japan (1994); Evry, France (1995); Darmstadt,Germany(1996);Cheju Island,Korea(1997);Tomsk,Russia(1998); Budapest, Hungary (1999); Ottawa, Canada (2000); Berlin, Germany (2002); Sophia Antipolis, France (2003); Oxford, UK (2004); Montr´ eal, Canada (2005) andNew York,USA (2006).FATESalsohasits history.The previousworkshops were held in Aalborg, Denmark (2001); Brno, Czech Republic (2002); Montr´ eal, Canada (2003); Linz, Austria (2004); Edinburgh, UK (2005) and Seattle, USA (2006). TESTCOM and FATES became a joint conference in 2007: It has been held in Tallinn, Estonia (2007) and Tokyo, Japan (2008).

Testing of Software and Communicating Systems

19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings

Author: Alexandre Petrenko,Margus Veanes,Jan Tretmans,Wolfgang Grieskamp

Publisher: Springer Science & Business Media

ISBN: 3540730656

Category: Business & Economics

Page: 377

View: 1206

This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2007, and the 7th International Workshop on Formal Approaches to Testing of Software, FATES 2007, held in Tallinn, Estonia. It covers all current issues in testing communicating systems and formal approaches in testing of software, from classical telecommunication issues to general software testing.

Testing Software and Systems

24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings

Author: Brian Nielsen,Carsten Weise

Publisher: Springer

ISBN: 364234691X

Category: Computers

Page: 263

View: 9832

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods.

Component-Based Software Testing with UML

Author: Hans-Gerhard Gross

Publisher: Springer Science & Business Media

ISBN: 9783540267331

Category: Computers

Page: 316

View: 6643

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.


Einsatz von Lua in Embedded Systems

Author: Claus Kühnel,Daniel Zwirner

Publisher: BoD – Books on Demand

ISBN: 3907857151


Page: 190

View: 4752

Lua (portugiesisch f r Mond) ist eine Skriptsprache zum Einbinden in Programme, um diese leichter weiterentwickeln und warten zu k nnen. Eine der besonderen Eigenschaften von Lua ist die geringe Gr e des kompilierten Skript-Interpreters. Lua Programme werden vor der Ausf hrung in Bytecode bersetzt. Obwohl man mit Lua auch eigenst ndige Programme schreiben kann, ist Lua vorrangig als Skriptsprache von C-Programmen konzipiert. Der Lua Interpreter kann ber eine C-Bibliothek angesprochen werden, die auch ein API f r die Laufzeitumgebung des Interpreters f r Aufrufe vom C-Programm aus beinhaltet. Mittels des API k nnen verschiedene Teile des Programms in C und Lua geschrieben werden, w hrend Variablen und Funktionen in beiden Richtungen erreichbar bleiben (d.h. eine Funktion in Lua kann eine Funktion in C aufrufen und umgekehrt). Lua ist in ANSI-C implementiert und unterst tzt sowohl funktionale als auch objektorientierte Programmierung. Da der Lua Interpreter extrem schnell und hochgradig portabel ist und sich leicht in C-Programme einbetten l sst, ist er gerade f r Embedded Systems eine attraktive Alternative zu anderen Skript Interpretern. Obwohl er nur wenige Kilobyte umfasst, passt noch eine vollst ndige Garbage Collection hinein, die anfallenden Datenm ll automatisch aus dem Speicher wirft. Mit dieser Brosch re wollen wir an Hand unserer Erfahrungen die Leistungsmerkmale von Lua verdeutlichen und die Erweiterungsf higkeit anhand einiger Beispiele demonstrieren. In einem ersten Beispiel werden wir den auf einem PC installierten Lua Interpreter mit einer DLL erweitern, die die Ansteuerung eines ber USB angeschlossenen AD-DA-Subsystems erm glicht. Im einem zweiten Beispiel werden wir Lua in eine Anwendung auf einem Embedded System auf Basis eines Intel386 EX Prozessors mit ROM-DOS (kompatibel zu MS-DOS 6.22) einbetten und zeigen, dass Lua auch in Systemen mit knappen Ressourcen eingesetzt werden kann. Im dritten Beispiel werden wir die DOS-Applikation durch

Embedded Systems

New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986

Author: Richard E. Bührer

Publisher: Springer Science & Business Media

ISBN: 9783540185819

Category: Computers

Page: 207

View: 8389

This volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS '88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - complexity theory, in particular structural complexity, - concurrency and parellelism, - formal language theory, - semantics. Other areas treated in the proceedings include functional programming, inductive syntactical synthesis, unification algorithms, relational databases and incremental attribute evaluation.

Formal Methods and Software Engineering

10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Author: Shaoying Liu,Tom Maibaum

Publisher: Springer Science & Business Media

ISBN: 354088193X

Category: Computers

Page: 397

View: 5981

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.

Testing Software and Systems

25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Author: Hüsnü Yenigün,Cemal Yilmaz,Andreas Ulrich

Publisher: Springer

ISBN: 3642417078

Category: Computers

Page: 291

View: 5640

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013. The 17 revised full papers presented together with 3 short papers were carefully selected from 68 submissions. The papers are organized in topical sections on model-based testing, testing timed and concurrent systems, test suite selection and effort estimation, tools and languages, and debugging.

Basiswissen Softwaretest

Aus- und Weiterbildung zum Certified Tester - Foundation Level nach ISTQB-Standard

Author: Andreas Spillner,Tilo Linz

Publisher: dpunkt.verlag

ISBN: 3864912024

Category: Computers

Page: 312

View: 7385

Mit dem 'Certified-Tester'-Programm existiert ein international standardisiertes Aus- und Weiterbildungsschema für Softwaretester. Dieses Buch umfasst den benötigten Stoff zum Ablegen der Prüfung 'Certified Tester' (Foundation Level) nach dem Standard des International Software Testing Qualifications Board (ISTQB) und ist auch für das Selbststudium geeignet. Aus dem Inhalt: Grundlagen des Softwaretestens, Testen im Softwarelebenszyklus, Statischer und dynamischer Test, Testmanagement, Testwerkzeuge. Die 5. Auflage wurde überarbeitet und ist konform zum ISTQB-Lehrplan Version 2011. Abgedeckt wird damit auch der entsprechende deutschsprachige Foundation-Level-Lehrplan des German Testing Board, des Austrian Testing Board und des Swiss Testing Board.

Hardware and software design automation

Seventeenth Symposium on Microprocessing and Microprogramming (EUROMICRO 91), Vienna, September 2-5, 1991

Author: Antonio Núñez,Don Fay,Euromicro

Publisher: North Holland

ISBN: 9780444892560

Category: Computers

Page: 881

View: 4692

Krisenjahre und Aufbruchszeit

Alltag und Politik im französisch besetzten Baden 1945–1949

Author: Edgar Wolfrum,Peter Fäßler,Reinhard Grohnert

Publisher: Walter de Gruyter GmbH & Co KG

ISBN: 3486829947

Category: History

Page: 296

View: 8263

Frankreich: "Erbfeind" oder "Erneuerer"? Die französische Besatzungspolitik von 1945 bis 1949 galt lange als Hindernis für die deutsch-französische Freundschaft. Aber das Bild muß korrigiert werden. Die französische Politik zeichnete sich bei aller Widersprüchlichkeit durch Eigenständigkeit, Originalität und durch Reformansätze aus, die sich an den Zielen von Demokratisierung, Dezentralisierung und Denazifizierung orientierten. Ein Teil der Reformen versandete jedoch, weil sie den Alltagsbedürfnissen der Bevölkerung nicht entsprachen. Dies zeigen die Autoren am Beispiel des Landes Baden. Eindringlich schildern sie, Alltag und Alltagsnot der Menschen und bringen das in Zusammenhang mit der politischen Geschichte. Die Betroffenen empfanden die französischen Vorhaben trotz überzeugender Konzepte häufig als negativ. Diese Kluft wirkte noch lange nach. Ein Beispiel ist die in der französischen Besatzungszone praktizierte Spielart der Entnazifizierung, die "auto-épuration". Sie sollte nicht schematisch, sondern unter Würdigung der individuellen Umstände die wirklich Schuldigen treffen und zugleich, da die Deutschen selbst entscheidend am Verfahren beteiligt waren, eine gründliche Auseinandersetzung mit der Vergangenheit ermöglichen. Die Art der Verwirklichung ließ die "Selbst-Reinigung" scheitern, doch die Idee kann immer noch eine gewisse Plausibilität beanspruchen. Sie war nicht die einzige Besonderheit Nachkriegsbadens innerhalb der Besatzungszonen. Manches aus der Nachkriegszeit Badens ist vergessen worden, war aber keineswegs bedeutungslos. Dieses Buch hilft mit, es wieder bewußt zu machen.

Tests and Proofs

7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Author: Margus Veanes,Luca Vigano

Publisher: Springer

ISBN: 3642389163

Category: Computers

Page: 233

View: 3000

This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing.