Peter Liggesmeyer - Böcker

This book constitutes the refereed proceedings of the 23rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2004, held in Potsdam, Germany, in September 2004. The 24 revised full papers presented together with abstracts of 3 invited presentations were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on safety cases, reliability , human factors, transportation, software development, fault tree analysis, formal methods and systems, security and quality of services, and hazard and risk analysis.

Based on the Net.ObjectDays tradition of bringing together researchers from academia and industry on the one hand and system architects, developers, and users fromindustry andadministrationon the other hand, this year'sconference took an international research perspective, so that we see the ?rst volume of Net.ObjectDays main conference proceedings published in the Springer Lecture Notes in Computer Science series. This volume consists of 16 papers carefully selected in a rigorous reviewing process by an international program committee; to provide a concise overview, these papers are brie?y described. In the Languages and Models session, Beate Ritterbach proposes a new l- guage element for object-oriented programming languages that supports ar- trary value types. In her contribution Support for Value Types in an Object- OrientedProgramming Language shedescribesthecorrespondingkeywords,s- tax, and consistency checks, thereby giving an impression of the look and feel of value types from an application programmer's perspective. Walter Binder and Jarle Hulaas look at portable CPU accounting and control in Java, which is based on program transformation techniques.In their paper Self-accounting as Principle for Portable CPU Control in Java periodically the threads of an application component aggregate the information of their respective CPU c- sumption within a shared account; scheduling functions make sure applications do not exceed their allowed CPU share.

Rechenanlagen kommen inzwischen in nahezu allen Bereichen des tiiglichen Lebens zum Einsatz. Die Abhiingigkeiten vom zuverliissigen Betrieb der Anlagen haben im entsprechenden Umfang zugenommen. Ganze Industriezweige sind ohne Rechnerunterstiitzung nicht mehr arbeitsfllhig. Vor diesem Hintergrund gewinnt neben anderen QualitlitssicherungsmaBnahmen die Test- und Priifphase bei der Entwicklung von Softwaresystemen zunehmend an Bedeutung. Angeregt durch den Besuch von Tagungen in England und den USA, die sich ausschlieBlich mit dem Test von Softwaresystemen besch!iftigten, habe ich die Organisation eines Arbeitstreffens iibemommen, an dem Testinteressierte aus Deutschland teilnahmen. In anderen Liindem gibt es bereits Gruppen, die mehrmals im Jahr zusanunenkommen und Probleme des Softwaretests bearbeiten. Auf einem ersten Treffen von Testinteressierten im Juni 1991 ist beschlossen worden, regelmiiBige Treffen zu organisieren und den Arbeitskreis Testen, Analysieren und Verijizieren von Software in der Fachgruppe Software-Engineering in der Gesellschaft fi.ir Informatik zu grunden.Der vorliegende Band enthiilt ausge- wiihlte Beitriige vom ersten und zweiten Treffen des Arbeitskreises und gibt so einen guten Uberblick iiber die gegenwiirtigen Aktivitliten zum Thema Testen von Progranunen im deutschsprachigen Raum. 1m Arbeitskreis sind derzeit 50 Personen aktiv tiitig, wobei etwa zwei Drittel aus der Industrie und ein Drittel von Forschungsinstituten und Universitiiten kommen. Dieses Verhiiltnis zeigt auch die zunehmende Bedeutung der Softwarepriifung in der industriellen Entwicklung. Neben dem Testen von Softwaresystemen geh1lrt auch deren Analyse zu den QualitiitssicherungsmaBnah- men. Sie ist sogar oft unabdingbare Voraussetzung, urn iiberhaupt einen Test durchfiihren zu k1lnnen.