Prof. Dr. Ina Schieferdecker

Im Auftrag des Landes Berlin untersuchte das Fraunhofer-Institut für Offene Kommunikationssysteme FOKUS im Rahmen des E-Government-Programms "ServiceStadt Berlin" die organisatorischen, rechtlichen und technischen Grundlagen für Open Data in der Hauptstadt. Hierbei wurde eine Konzeptstudie erarbeitet und in einem Online-Pilotsystem umgesetzt, dem ersten Open Data- Portal in Deutschland. Diese Studie dokumentiert neben den Rahmenbedingungen das Konzept zur Umsetzung, den Prototyp sowie erste Erfahrungen aus dem Pilotbetrieb. Fraunhofer FOKUS, das Fraunhofer-Institut für Offene Kommunikationssysteme, entwickelt und erforscht am Standort Berlin Kommunikations- und Informationstechnologien. Im Zentrum der Forschungsaktivitäten steht die Entwicklung von IT-Infrastrukturen und Netzwerken zur domain- und organisationsübergreifenden Kommunikation. Mit mehr als 20 Jahren Erfahrung stellt Fraunhofer FOKUS einen bedeutenden IT-Forschungspartner für die Telekommunikations-, Automobil- und Medienindustrie sowie für die öffentliche Verwaltung dar. Auf wissenschaftlicher Ebene gilt Fraunhofer FOKUS als renommierter Kooperationspartner in Forschungsprogrammen der Europäischen Kommission sowie nationaler Fördergeber.

Over the last few years, the scope of telecommunication services has increased dramatically making network infrastructure-related services a very competitive market. Additionally, the traditional telecoms are now using Internet technology to provide a larger range of services. The obvious outcome, is the increase in the number of subscribers and services demanded. Due to this complexity, the performance testing of continuously evolving telecommunication services has become a real challenge. More ecient and more powerful testing solutions are needed. This ability depends highly on the workload design and on the effcient use of hardware resources for test execution. The performance testing of telecommunication services raises an interesting problem: how to create adequate workloads to test the performance of such systems. Traditional workload characterization methods, based on requests/second, are not appropriate since they do not use proper models for traffic composition.In these environments, users interact with the network through consecutive requests, called transactions. Several transactions create a dialog. A user may demand in parallel two or more services and different behavioural patterns can be observed for different groups of users. This thesis proposes a performance testing methodology which copes with the afore mentioned characteristics. The methodology consists of a set of methods and patterns to realize adequate workloads for multi-service systems. The effectiveness of this methodology is demonstrated throughout a case study on IP Multimedia Subsystem performance testing.

Bürger wollen mehr wissen, und die öffentliche Hand geht allmählich dazu über, erhobene Daten zur Verfügung zu stellen. Nicht zuletzt in der Folge von Gesetzen zur Informationsfreiheit haben einige Städte der westlichen Welt damit begonnen; nun hat Berlin ein Datenportal eröffnet.

Overview about Model-based Security Testing Methods in ITEA project DIAMONDS.

Model-based testing (MBT) strives to automatically and systematically generate test cases. In this column, Ina Schieferdecker introduces MBT technologies and methods.

Das UML Testing Profile [UTP] ist eine grafische Modellierungssprache zur Definition, Dokumentation, Visualisierung, Implementierung und zum Austausch von modellbasierten Testspezifikationen auf Basis der UML [UML]. Der normative Teil der Spezifikation definiert das native UML-Profil des UTP1. Die Spezifikation des UTP als UML-Profil ist im Vergleich zu anderen Sprachen der UML-Familie [SysML, MARTE, SoaML] deutlich schlanker und kompakter, erfordert aber gleichzeitig profundes UML-Wissen, um die Potenziale von UTP voll ausschöpfen zu können. Ein Umstand, der die Akzeptanz des UTP bis heute behindert, da nur wenige Tester in den Konzepten der Modellierung im Allgemeinen ausreichend geschult und mit der UML im Besonderen vertraut sind. Dieser Artikel widmet sich daher neben einer kurzen Einführung in das UTP vor allem Fragen seiner Anwendbarkeit. Dabei stehen weniger spezifische Domänen, sondern eher grundsätzliche, testmodellspezifische Fragestellungen im Vordergrund.

Die Modellierung von Systemverhalten anhand von Zustandsdiagrammen, beispielsweise anhand der Unified Modeling Language, zählt inzwischen zu den etablierten Vorgehensweisen bei der Erstellung von softwareintensiven Systemen. Um Softwarekomponenten mit einem gewünschten Verhalten herzustellen, wird innerhalb eines modellgetriebenen Arbeitsflusses üblicherweise mit Ansätzen zur Kodeerzeugung gearbeitet. Solch ein Ansatz ermöglicht zwar die Erzeugung eines effizienten Laufzeitystems, allerdings ist das Systemverhalten dann durch die Artefakte des Erzeugungsprozesses statisch festgelegt. Änderungen am Verhaltensmodell ziehen notwendigerweise eine erneute Erzeugung, Übersetzung und das wiederholte Aufspielen der Anwendung nach sich. Bei der Entwicklung autonomer Systeme gehen wir davon aus, dass Systeme ihr Verhalten zur Laufzeit an sich ändernde Umgebungsbedingungen anpassen können. Da statische Artefakte kaum, oder nur sehr schwer, zur Laufzeit geändert werden können, verbietet sich ein Einsatz von Kodeerzeugung für die Erstellung autonomer Systeme. In dieser Arbeit untersuchen wir einen Lösungsansatz für dieses Problem. Anstelle von statischer Kodeerzeugung verwenden wir Techniken der dynamischen Programminterpretation für die Ausführung von Verhaltensmodellen. Damit ermöglichen wir die Änderung von Verhaltensmodellen auf der Ebene einzelner Modellelemente zur Laufzeit. Wir erreichen dieses Ziel durch die Ausarbeitung grundlegender Konzepte der Interpretation von Verhaltensmodellen und demonstrieren anhand von Implementierungen die Machbarkeit des Ansat zes. Wir erachten es nicht als ausreichend nur die generelle Durchführbarkeit zu zeigen, da die Nützlichkeit des Ansatzes von dem beabsichtigten Anwendungszweck eines Systems abhängt. Die Begutachtung unseres Ansatzes erfolgt dabei sowohl durch quantitative als auch durch qualitative Methoden. Zur quantitativen Betrachtung führen wir einen eigens entworfenen Benchmark-Test ein, der den Vergleich der Laufzeitverhalten von erzeugtem und interpretiertem Kode ermöglicht. Die qualitative Begutachtung stützt sich auf Fallstudien aus den Bereichen der Netzwerk- und Systemverwaltung. Wir stellen fest, dass die Interpretation von Verhaltensmodellen zur Laufzeit etwa um einen Faktor 20 langsamer ist als die Verwendung von Kodeerzeugung. Im Kontext der Netzwerk- und Systemverwaltung ist das allerdings unerheblich, da die Ausführungsgeschwindigkeit ausreichend für typische Aufgaben in diesen Gebieten ist. Eine Ausnahme davon bilden Anwendungen, die mit einem sehr hohen Datendurchsatz arbeiten oder die anfällig für kleinste Verzögerungen beim Datentransport sind.

Over the last two decades, the number of healthcare services at the edge of the traditional medical care and computer technologies has increased dramatically, making eHealth infrastructure-related services ubiquitous. Services such as telemedicine, telehealth, Electronic Health Record (EHR) systems are common terms and practices in the actual medical-care sector. A main characteristic of Healthcare Information Systems (HISs) is that they are very data-intensive systems. In this respect, a major problem is the lack of product interoperability. Many vendors provide solutions, which are rather provider-centric approaches (i.e., proprietary protocols and message formats), hence, interoperability is not regarded. The interoperability can be evaluated by means of interoperability testing. The publication of standards such as the Health Level Seven Messaging Standard (HL7) for defining a common message-structuring scheme for message exchange between medical information systems, or the adoption of the Integrating the Healthcare Enterprise (IHE) integration profiles for specifying use cases that implementers should follow, is an important step in enabling interoperable HISs. These standards and recommendations are the basis for interoperability testing. This thesis develops an interoperability testing methodology and its realisation concepts for coping with the aforementioned issues in HISs. The main problem addressed in this thesis is how to design a test system that can deal with very data-intensive systems and, at the same time, is capable of emulating the interacting parties. The challenge in this approach is how to automatically customise and configure the test platform to simulate an interoperability scenario by instantiating test components programmed in advance to simulate the behaviour of particular interacting entities as required by the test scenarios. The methodology consists of three main parts: 1) the test design process 2) the message event patterns which are used to derive test simulators and 3) the conceptual architecture for a test framework. The developed interoperability testing methodology is instantiated in a test framework based on the TTCN-3 test technology. An important component of the realization of the test system is based on the semantic mapping of HL7 version 2.x message structures to TTCN-3 message types that preserves the ontology. A set of derivation algorithms for providing TTCN-3 test behaviours and configurations completes the abstract definition of test scripts. The framework also provides means of communication with System under Test (SUT) and is capable to dynamically adapt to any test configuration as required by test scenarios. The effectiveness of the developed interoperability testing methodology is demonstrated throughout two case studies. The first case study investigates the interoperability of systems from the IHE Patient Care Devices (PCD) domain. The second applies the methodology to another domain, namely IHE IT Infrastructure (ITI). While the first case study realised within a research project shows the suitability of the developed methodology, the second case study demonstrates its feasibility directly in an industrial context.

The level of pervasiveness and complexity of software and computing systems has been growing continuously since their introduction. New technologies emerge at regular base, covering ever more aspects of our daily life and leading to shorter product delivery cycles. These ongoing trends are posing new challenges to traditional software testing approaches, because despite those constraints, software products are required to meet a certain level of quality prior to their deployment. Otherwise, confidence in new technologies and products could be harmed, potentially leading to their commercial failure. Therefore, tests have to be developed within harsher time constraints for increasingly complex systems. This thesis introduces a new approach of test development for reactive software systems combining model-driven engineering (MDE) of testcases and test design patterns, that addresses the previously mentioned challenges. The approach is labelled Pattern-Oriented Model-Driven Testing and provides a high potential for automation, through which the development of tests for software systems can significantly be improved, both quantitatively and qualitatively. The thesis presents a catalogue of test design patterns, along with a methodology for the proposed approach. The methodology is based on a new notation called Unified Test Modeling Language (UTML), specifically designed to support pattern-oriented model-driven testing. UTML is a Domain-Specific Modeling Language (DSML)for designing test objectives, test architectures, test data and test behaviour at a high level of abstraction, using predefined test design patterns. The result are so-called abstract test models, that can then be subsequently refined through a series of iterative transformation processes into executable test sequences, scripts or documentation artifacts. To illustrate the approach and to evaluate its impact on the testing process, several case studies from various application domains are discussed.

Dem Bereich des Traffic-Monitoring in IT- und Telekommunikations-Netzen kommt in der Forschung große Bedeutung zu, denn es spielt eine immer wichtigere Rolle bei der Entwicklung moderner Netze, die sich selbst konfigurieren und an Veränderungen in ihrer Nutzungsumgebung sowie an sich ändernde Bedingungen der Netzelemente anpassen können. Im Bereich der selbstverwaltenden IKT-Netze besteht Forschungsbedarf hinsichtlich des grundlegenden Entwurfs sowie der Funktionsprinzipien von Traffic-Monitoring-Komponenten und geeigneten Plattformen für multifunktionale selbstverwaltende IKT-Netze. In einem selbstverwaltenden IKT-Netz arbeiten die Netzelemente und Netz-Management-Systeme kooperativ zusammen, um selbstgesteuerte Prozesse wie Selbstkonfiguration und Selbstmanagement zu bewerkstelligen. Dies geschieht mit dem Ziel, den menschlichen Eingriff überflüssig und damit die Fehleranfälligkeit in einigen komplexeren Aspekten des Netzmanagements hinfällig zu machen bzw. zu minimieren. Im Gegensatz zu nicht selbstverwaltenden IKT-Netzen beanspruchen selbstverwaltende Netze eine höhere Rechnerleistung für die Berechnung von Entscheidungen, welche ein individuelles Netzelement oder das Netz als Ganzes in schwierigen Situationen oder bei Umgebungsveränderungen zu treffen hat. Dies geschieht auf der Basis großer, heterogener Datenmengen, die von den Monitoring-Komponenten gesammelt werden. In selbstverwaltenden Netzen findet unter Umständen ein höherer Informationsaustausch zwischen den Netzelementen (Routern, Hosts, Switches) statt als in nicht selbstverwaltenden Netzen. Um ein globales Selbstadaptionsverhalten des gesamten Netzes zu ermöglichen, müssen Informationen zwischen den Elementen und den Komponenten fließen, die die Daten für den globalen Netzstatus kumulieren, differenzierte Entscheidungen für das Netz berechnen und Monitoring-Informationen an die Netzelemente übermitteln. Es wird eine höhere Speicherkapazität als in nicht selbstverwaltenden Netzen benötigt, um die Statusinformationen des Netzes einschließlich historischer Statusinformationen zu speichern. Deshalb benötigen sie die intelligente und opportunistische Verwendung und Freigabe der verfügbaren Ressourcen der einzelnen Netzelemente wie auch des gesamten Netzes. Auch Flexibilität in Bezug auf die umgebungsabhängige Selbstadaptation der Netz-Funktionen wird erwartet. Um die intelligente und opportunistische Verwendung und Freigabe von Netzressourcen sowie die Selbstadaptation von Netz-Funktionen zu gewährleisten, wird vorgeschlagen, die Netzelemente in ihrem Funktionsablauf so zu konzipieren, dass sie unter anderem den bedarfsorientieren Abruf von Monitoring-Funktionen ermöglichen. Die Dissertation stellt ein bedarfsgesteuertes (on-demand) Monitoring-Paradigma (ODM) vor, dessen Eignung für die dynamische Informationserfassung in selbstverwaltenden Netzen untersucht und demonstriert wird. ODM berücksichtigt die Notwendigkeit, Netzressourcen im gesamten Netz intelligent und opportunistisch einzusetzen, wie auch die, dass Monitoring-Komponenten in der Lage sein müssen, ihre Monitoring-Fähigkeit im Netz selbst zu beschreiben. Die Fähigkeit der Selbstbeschreibung ermöglicht es, dass automatische Tasks eine Monitoring-Komponente mit den gewünschten Kapazitäten bedarfsgesteuert ansteuern, einen Monitoring-Prozess auslösen, die Durchführung dieser Prozesse steuern; Ressourcen der angesteuerten Komponente freigeben, wenn das Monitoring nicht mehr benötigt ist. Die in der Dissertation entwickelten Ergebnisse umfassen: eine mathematische Basis für ODM; Entwurf und Funktionsprinzipien des ODM-Paradigmas; Prinzipien, die einer Komponente Selbstbeschreibungsfähigkeit in Bezug auf Funktionsvermögen und Netzanbindung zuweisen, um so Netz-Funktionen zu ermöglichen, die ein Monitoring an gewünschten Komponenten ermöglichen; eine Sprache zur Beschreibung des Funktionsvermögens; eine Sprache zur Beschreibung des erwünschten Monitoring-Verhaltens; das Konzept des SNMPMIBs für dynamische Monitoring-Datenmodelle; eine Zugriffskontrolle für Monitoring-Anfragen und eine Realisierung des ODM-Paradigmas im Rahmen des GANA-Referenzmodells (Generic Autonomic Network Architecture). Ein ODM-Prototyp dient als Nachweis des grundlegenden Konzepts. Zudem wurden ODM-Metriken berechnet. Dazu wurde eine Methodologie zur Verwendung von Schätzungen zur Ressourcenanforderung hinsichtlich des Warteschlangenverhaltens und der Bearbeitung von Monitoring-Anfragen sowie zur Optimierung der Zulassungskontrolle einer ODM-Komponente entwickelt. Es wurden Beispiele für Netz-Funktionen entwickelt, die den Einsatz und die Anwendbarkeit von ODM demonstrieren. Es werden Vorschläge zur intelligenten und opportunistischen Verwendung von Ressourcen bei ODM-fähigen Traffic-Monitoring-Komponenten erarbeitet. Die Berechnungen und Fallbeispiele mit bedarfsgesteuerten SNMP MIBs verdeutlichen, dass ODM implementierbar und praxistauglich ist.

Die Forschung auf dem Gebiet der Selbstverwaltenden Netzwerke (Self-Managing Networks) gewann in den vergangenen Jahren an Stellenwert. Manche Forschungsinitiativen basieren auf dem sogenannten clean-slate approach (bei diesem Ansatz wird das Netzwerk und seine Komponenten von Grund auf neu entwickelt) für die Netzwerke der Zukunft (z.B. die Internet(s) der Zukunft). Ein weiterer Ansatz, besteht darin, existierende Technologien weiterzuentwickeln und neue Kommunikationsparadigmen inkrementell in vorhandene Netzwerkmodelle und Architekturen einzuführen. Für beide Arten von Forschungsinitiativen ist eine der wichtigsten Fragen die folgende: Wie kann man die etablierte und sehr erfolgreiche FCAPS Netzwerk Management Framework einsetzen und so erweitern, daß die Anforderungen der neu en Netzwerkarchitekturen für Selbstverwaltenden Netzwerke (Self- Managing Networks) erfüllt werden? FCAPS steht für Fault-Management, Configuration- Management, Accounting-Management, Performance-Management und Security- Management. Ein Framework, genannt UniFAFF, wurde in den letzten Jahren entworfen und versucht die obige Frage im Bezug auf den Prozess der Entwicklung des heutigen Fault- Managements, dessen Prozesse nicht autonom sind (d.h. daß sie nicht automatisch über speziell entwickelte Strukturen, z.B. control loop(s), miteinander kommunizieren), in Richtung Autonomes Fault-Management, wie es bei den Selbstverwaltenden Netzwerke (Self- Managing Networks) erforderlich ist, zu beantworten. UniFAFF steht für Unified Framework for Implementing Autonomic Fault-Management and Failure-Detection for Self-Managing Networks. UniFAFF definiert eine Menge von Kriterien, auf deren Basis das Framework spezifiziert wurde, und präsentiert eine generische Architektur, die auf der Basis von aktuellen Forschungsarbeiten und Paradigmen auf dem Gebiet des Fault-Managements und der Fehlererkennung (Failure-Detection) entwickelt wurde. Die nächste Stufe in der Entwicklung der UniFAFF ist die Evaluation von verschiedenen Konzepten, Komponenten und Schnittstellen der generischen Architektur. Diese Diplomarbeit ist der erste Versuch das UniFAFF Framework zu implementieren. Im praktischen Teil dieser Arbeit wurden die wichtigsten Komponenten entwickelt, und entsprechende Algorithmen für die effiziente Verbreitung von Informationen über verschiedene Alarmmeldungen und Zwisc henfälle in dem Netzwerk umgesetzt und evaluiert, wobei der Fokus auf gossiping und flooding Algorithmen gesetzt worden ist. Die Komponenten und Mechanismen, entwickelt im Laufe dieser Arbeit, wurden in einer ANA Netzwerkumgebung getestet. ANA ist ein Netzwerktyp, der auf den vorher erklärten clean-slate approach basiert. Die generische Architektur der UniFAFF würde aber auch eine evolutionäre Anwendung im Bereich der bestehenden, sich weiterentwickelnden Netzwerke, ermöglichen. Diese Diplomarbeit präsentiert Szenarien, die die Bedeutung von Autonomes Fault-Management illustrieren, und verschafft einen Ausblick sowohl auf die offenen Themen bezogen auf dem Bereich des Autonomen Fault- Managements, als auch auf die offenen Punkte der UniFAFF, die im Rahmen dieser Diplomarbeit nicht behandelt wurden.

Over the last few years, the scope of telecommunication services has increased dramatically making network infrastructure-related services a very competitive market. Additionally, the traditional telecoms are now using Internet technology to provide a larger range of services. The obvious outcome, is the increase in the number of subscribers and services demanded. Due to this complexity, the performance testing of continuously evolving telecommunication services has become a real challenge. More ecient and more powerful testing solutions are needed. This ability depends highly on the workload design and on the effcient use of hardware resources for test execution. The performance testing of telecommunication services raises an interesting problem: how to create adequate workloads to test the performance of such systems. Traditional workload characterization methods, based on requests/second, are not appropriate since they do not use proper models for traffic composition.In these environments, users interact with the network through consecutive requests, called transactions. Several transactions create a dialog. A user may demand in parallel two or more services and different behavioural patterns can be observed for different groups of users. This thesis proposes a performance testing methodology which copes with the afore mentioned characteristics. The methodology consists of a set of methods and patterns to realize adequate workloads for multi-service systems. The effectiveness of this methodology is demonstrated throughout a case study on IP Multimedia Subsystem performance testing.

Das europäische Forschungsprojekt D-MINT wurde in der Zeit vom 01.04.2007 bis 31.12.2009 finanziell gefördert durch das Bundesministerium für Bildung und Forschung. Dieser Bericht beschreibt das Projekt und fasst insbesondere die erreichten Ergebnisse und den Nutzen bei den beteiligten deutschen Projektpartnern zusammen.

This Quick Reference Card summarizes language features to support users of TTCN-3. For TTCN-3 edition 4.2.1 (2010-07) and extensions. The latest version is available online at http://www.blukaktus.com/TTCN3-QRC.html.

In diesem Beitrag berichten wir über unsere Erfahrungen mit der Testbeschreibungssprache TTCN-3 (Testing and Test Control Notation). Durch den Einsatz von neu entwickelten Werkzeugen konnte eine TTCN-3 Test Suite für GIOP/IIOP, dem standardisierten CORBA Interoperabilitätsprotokoll, erfolgreich implementiert werden. Die Verbesserungen von TTCN-3 gegenüber seinem Vorgänger, der Tree and Tabular Combined Notation (TTCN-2), sind hier von besonderem Interesse. In diesem Beitrag wird die GIOP Test Suite beschrieben, ihr Entwurf und ihre Implementierung erklärt sowie ein Vergleich mit einer TTCN-2 Test Suite für GIOP hergestellt. Mit unserem Vergleich sprechen wir insbesondere diejenigen Testentwickler an, die bereits technische Erfahrung haben mit wenigstens einer der TTCN Versionen.

Die Entwicklung einer MSC (Message Sequence Chart) basierten graphischen Repräsentationsform für TTCN (Tree and Tabular Combined Notation) ist Bestandteil eines ETSI Projekts STF 156 zur 'Specification of a Message Sequence Chart/UML format, including validation for TTCN-3'. Wichtige Sprachkonstrukte von TTCN können direkt in entsprechende MSC Konstrukte übersetzt werden. Jedoch hat es sich herausgestellt, daß die von der ITU standardisierte Spezifikationssprache MSC ohne Erweiterungen und Modifikationen nicht mächtig genug ist, hinreichend transparente und lesbare graphische Darstellungen für TTCN Testbeschreibungen zu ermöglichen. Für eine zufriedenstellende Lösung wurden High-level MSC in Anlehnung an Hypertext-ähnliche Spezifikationen neu interpretiert. MSC Referenzen können nun ebenso in der expandierten (entfalteten) Form dargestellt werden. Des weiteren können nicht-expandierte MSC Referenzen anstelle von einfachen Referenzennamen Hypertext-ähnliche Beschreibungen enthalten. Im Ergebnis dessen wird die bisherige strikte Trennung zwischen Basic MSC und High-level MSC aufgehoben. Eine solche Erweiterung von MSC kann vor allem mit angemessener Werkzeugunterstützung, die ähnlich zum Hypertext einfache Übergänge zwischen verschiedenen Detailstufen im MSC erlaubt, effizient genutzt werden. Daher wird der Begriff 'HyperMSC' für derart erweiterte High-level MSCs vorgeschlagen. Dieses Papier demonstriert, wie HyperMSCs von Standard-MSC Beschreibungen in einem evolutionären Prozess der schrittweisen Verbesserung und Vereinfachung abgeleitet werden.

Model-based testing is a recognized method for testing the functionality of a system under test. However, it is not only the functionality of a system that has to be assessed. Also the security aspect has to be tested, especially for systems that provide interfaces to the Internet. In order to find vulnerabilities that could be exploited to break into or to crash a system, fuzzing is an established technique in industry. Model-based fuzzing complements model-based testing of functionality in order to find vulnerabilities by injecting invalid input data into the system. While it focuses on invalid input data, we present a complementary approach called behavioral fuzzing. Behavioral fuzzing does not inject invalid input data but sends an invalid sequence of messages to the system under test . We start with existing UML sequence diagrams - e.g. functional test cases - and modify them by applying fuzzing operators in order to generate invalid sequences of messages. We present the identified fuzzing operators and propose a classification for them. A description of a case study from the ITEA-2 research project DIAMONDS as well as preliminary results are presented.

Open Data (OD) is an emerging trend that aims to facilitate the freedom and reuse of information. Therefore, tools, applications and platforms are required that enable the publishing and consumption of data. In this paper, we present our experience from the integration of components that should constitute an OD platform. The proposed solution is able to store datasets as linked data, to catalogue the datasets, and provides a portal with features for supporting community activities. Further, we exemplify the utilization of the proposed platform, by describing a touristic city guide web mashup that uses published Open Data. This application consumes data in machine readable format over APIs provided by the OD platform.

Quality of life in an urban environment depends strongly on ecological, social and mobility aspects. A major innovation in that context is given by the emergence of electric vehicles. Additionally, the explosive growth of social networks has shown how the Internet can be used to maintain and create communities, thereby bringing mutual benefits to the involved participants. Combining both, there is an obvious potential for the realization of collaborative electric vehicle sharing within a city. In this paper, we investigate one of the key aspects required to realize the vision of electric vehicle sharing - a cloud infrastructure for handling the required data. We propose a distributed architecture for the realization of such data cloud. Further, we demonstrate how ISP networks and the elect ric mobility data cloud can collaborate in order to provide efficient streaming of continuous data.

Advanced methods and tools for GUI software development allow a rapid and iterative process of prototyping and usability testing. Unfortunately, even with the support of test automation tools, testing of GUI software requires a lot of manual work, especially when the application under test is changing rapidly. In this paper we present an improved method and tool support for automated test modeling of Java GUI applications for model-based testing (MBT) purposes. The implemented GUI Driver tool generates structural models combined with a GUI state model presenting the behavior of the GUI application that is executed and observed automatically. The GUI Driver tool is combined with an open source MBT tool to form a tool chain to support automated testing of Java GUI applications. The models generated by the GUI Driver are used to generate test sequences with MBT tool, and the test sequences are then executed with the GUI Driver to generate a test report.

Security and model-based testing are no new topics but still under development and of high interest. In particular, their combination is still a challenge for academic work and industrial applications. Systematic and automated security testing include e.g. security functional testing, Model-based fuzzing, Risk-oriented testing and the usage of security test pattern. National and international standardization committees provide significant efforts by their working groups in the context of security testing. They cover fundamental frameworks but also detailed test specifications for concrete technologies. The range of activities is very large and includes classical concepts from security evaluation using common criteria (CCRA) but also European activities from ETSI addressing TVRA. The cont ribution gives an overview about important standardization taxonomies and activities as well as sample innovative industrial case studies, including tools and techniques that have been selected in the European ITEA project DIAMONDS.

Strong dependencies exist between innovations - standards and markets: Innovations influence standards and markets. Standards have impacts on markets and often are the basis for innovations. The market solutions are combined into standards. And new markets could be understood as an innovation. The testing technology TTCN-3 appears in all of these aspects. It is an established standard widely used in industry; it includes and brings up innovative concepts. This technology is evolving due to increasing industrial requirements and new research ideas. The roots of today's "Testing and Test Control Notation" (TTCN-3) started in the 80s. New tool and industrial test suite standards appeared shortly after its first publication by ISO. Initially used in telecommunication, today TTCN-3 i s applied for testing complex software in nearly all industrial domains. In particular, new application areas are automotive, medical, aerospace, and finance systems. TTCN-3 is a success story. Engineering departments of tool manufacturers and research institutes are using TTCN-3 as a target notation in the context of model-based testing. This year the European Standardization Institute (ETSI) has published several innovations that provide a standardized basis to the industry for innovative testing. Substantial work has been undertaken for "embedded TTCN-3" that includes real-time aspects and continuous systems. In the case of TTCN-3 the standardization bodies succeeded to create an engine for innovation and new markets. The tutorial provides the understanding of basic concepts t ogether with a presentation of latest concepts and new directions for the test technology TTCN-3.

Test automation encompasses all activities to automate various steps in the overall testing process including automation of test management, test generation, or test execution. The standardized Testing and Test Control Notation (TTCN-3) addresses selected challenges by defining a test specification language and a test system architecture that enables the implementation and execution of TTCN-3 test suites. Over the years, the standard has continuously being maintained and evolved. For example, concepts for static test configurations or for advanced parameterization and typing have been defined. The paper reviews the history and current status of TTCN-3 and concludes by giving an overview on recent extensions of TTCN-3 and future plans.

This contribution addresses systematic test development methods to include an algorithm to retrieve a test suite execution control in order to run test cases with high priority earlier than others. The approach uses a model that allows both the introduction of user-defined weightings for system features within the test model and an automatic calculation of the test ordering. Based on an algorithm for the calculation of test case weights first results from the application of a tool implementation in pilot projects have been described.

Automating the generation of object-oriented unit tests is a challenging task. This is mainly due to the complexity and peculiarities that the principles of object-orientation imply. One of these principles is the encapsulation of class members which prevents non-public methods and attributes of the class under test from being freely accessed. This paper suggests an improvement of our automated search-based test generation approach which particularly addresses the test of non-public methods. We extend our objective functions by an additional component that accounts for encapsulation. Additionally, we propose a modification of the search space which increases the efficiency of the approach. The value of the improvement in terms of achieved code coverage is demonstrated by a case study with 7 real-world test objects. In contrast to other approaches which break encapsulation in order to test non-public methods, the tests generated by our approach inherently guarantee that class invariants are not violated. At the same time, refactorings of the encapsulated class members will not break the generated tests

Traditionally the testing and test control notation TTCN has been used and accepted widely in the telecom industry. The new version TTCN-3 is intended to be applicable to a broader scope of communication and software systems. This paper describes the initial results of a research project with the aim of evaluating the use of TTCN-3 within the automative telematics domain. The paper addresses the use of TTCN-3 to specify the reusable test cases for the telematics domain, the development of a TTCN-3 test platform for telematics systems and future work required before the requirements of the industrial testing processes within the automotive industry can be met.

Das Europäische Forschungskonsortium für Informatik und Mathematik (ERCIM) hat gerade sein 10jähriges Jubiläum gefeiert und die ERCIM Arbeitsgruppe zu Formalen Methoden für Industrie-kritische Systeme (FMICS) organisiert bereits ihren fünften internationalen Workshop. FMICS Workshops wenden sich an interessierte Forscher aus ERCIM Instituten, Universitäten und der Industrie, die sich aktiv an der Anwendung formaler Methoden für industrielle Anwendungen beteiligen. Trotz der Vielzahl von Konferenzen und Workshops über formale Methoden erfreut sich FMICS wachsender Beliebtheit. Es ist der Gedanke von FMICS Workshops die Fachleute mit industrie-relevanten Themen anzusprechen, mit international anerkannten eingeladenen Vortragenden und mit hochqualifizierten technischen Beiträgen in Kombination mit einem Forum für den Austausch von Ideen. Der Workshop Charakter von FMICS wird auf der Basis niedriger Kosten durchgeführt. Diesmal wird FMICS direkt im Anschluß an ETAPS'2000 - den Europäischen Konferenzen für Softwaretheorie und -praxis in Berlin organisiert. Nach dem Start der FMICS Workshops 1996 in Oxford (UK) folgten Workshops 1997 in Cesena (I), 1998 in Amsterdam (NL) und 1999 in Trento (I). Im Jahr 2000 findet der Workshop beim GMD Forschungsinstitut für Offene Kommunikationssysteme (FOKUS) in Berlin statt. Der diesjährige Workshop umfaßt die Themengebiete Modelling, Verification, Testing und Software Entwicklung, MSC/SDL, sowie vielfältige Anwendungen und Fallstudien. Wir freuen uns sehr zwei interessante eingeladene Vorträge zu präsentieren: Günter Karjoth, IBM Zürich (CH), erörtert den Wert formaler Methoden für Sicherheitsaspekte wie Vertraulichkeit und Authentizität. Holger Hermanns, Universität Twente (NL), geht ein auf die Konstruktion und Überprüfung von Leistungs- und Zuverlässigkeitsmodellen. Abschießend möchten wir den Mitgliedern des Programmkommitees danken, insbesondere dem Vorsitzenden der FMICS Arbeitsgruppe Hubert Garavel, für die hervorragende Unterstützung bei der Vorbereitung des Workshops, außerdem den eingeladenen Vortragenden, den Autoren der Beiträge und den Gutachtern für ihre wissenschaftlichen Beiträge, den Mitarbeitern des GMD Fokus Competence Center TIP bei der Ausrichtung des Workshops, sowie ERCIM und der GMD für ihre finanzielle und organisatorische Unterstützung von FMICS.

Unter der Leitung von Herrn Dr. Both (Senatsverwaltung für Wirtschaft, Technologie und Frauen) setzen Fraunhofer FOKUS und BerlinOnline ein Portal für Berliner Daten um. Vorbilder sind dabei die englische Seite data.gov.uk und data.wien.gv.at aus Österreich. Die Kernidee der OpenData-Bewegung klingt banal, ist jedoch revolutionär: die Daten zu veröffentlichen, die den öffentlichen Institutionen ohnehin vorliegen. Dabei ist wichtig, dass die Informationen frei zugänglich und maschinenlesbar sind. Denn wenn sie von Dritten in neuen Visualierungen oder Anwendungen eingesetzt werden können, profitieren die Bürger in zweifacher Hinsicht: Erstens wird die Verwaltung transparent, Erfolge und Defizite sind für jeden einsehbar und nachvollziehbar. Zweitens können auf Grundlage der Daten Dienste erbracht werden, die ohne sie nicht möglich oder unwirtschaftlich wären. Auch und insbesondere mobile Anwendungen hängen stark von Umfang, Qualität und Aktualität der verwendeten Datenbestände ab. Als Beispiel sei hier ein mobiles Navigationssystem genannt, das Geographische Informationen, Öffnungszeiten und Mobilitätseinschränkungen von öffentlichen Institutionen zur Routenplanung berücksichtigt. Ein zentrales Verzeichnis maschinenlesbarer Daten, wie in diesem Projekt realisiert, ermöglicht es Entwicklern und Datenjournalisten vorhandene Bestände zu sichten und davon inspiriert neuartige Anwendungen zu erfinden. Entscheidend ist hier die Verschiebung der Innovation: nicht die Besitzer der Daten stellen diese für einen genau bestimmten Zweck zur Verfügung, sondern zunächst werden Informationen zweckfrei bereitgestellt, und jede Idee für deren Einsatz kann ausgeführt werden. Die Projektteilnehmer gehen dabei die ersten beiden Schritte des 5-Sterne-Prinzip von Tim Berners-Lee: Zunächst werden Datensätze zentral verzeichnet und unter möglichst offene Lizenzen gestellt. Nach Möglichkeit kommen Formate zum Einsatz, die von Maschinen verarbeitet werden können, wie XLS im Gegensatz zu PDF, DOC und HTML. Auch ist die Anzahl der Datensätze zunächst gering. Doch bis zur Vision von Berners-Lee Linked Open Data ist es noch ein weiter Weg: Danach werden alle geeigneten Datensätze in einem offenen, sematischen Standard zeitnah und qualitätsgeprüft veröffentlicht.

General considerations; Security testing activities; Model-based security testing;The DIAMONDS project; Summary This document lists approaches dedicated to testing software security.

Strong dependencies exist between innovations - standards and markets: Innovations influence standards and markets. Standards have impacts on markets and often are the basis for innovations. The market solutions are combined into standards. And new markets could be understood as an innovation. The testing technology TTCN-3 appears in all of these aspects. It is an established standard widely used in industry; it includes and brings up innovative concepts. This technology is evolving due to increasing industrial requirements and new research ideas. The roots of today's "Testing and Test Control Notation" (TTCN-3) started in the 80s. New tool and industrial test suite standards appeared shortly after its first publication by ISO. Initially used in telecommunication, today TTCN-3 i s applied for testing complex software in nearly all industrial domains. In particular, new application areas are automotive, medical, aerospace, and finance systems. TTCN-3 is a success story. Engineering departments of tool manufacturers and research institutes are using TTCN-3 as a target notation in the context of model-based testing. This year the European Standardization Institute (ETSI) has published several innovations that provide a standardized basis to the industry for innovative testing. Substantial work has been undertaken for "embedded TTCN-3" that includes real-time aspects and continuous systems. In the case of TTCN-3 the standardization bodies succeeded to create an engine for innovation and new markets. The tutorial provides the understanding of basic concepts t ogether with a presentation of latest concepts and new directions for the test technology TTCN-3.

Test automation encompasses all activities to automated various steps in the overall testing process including automation of test management, test generation, or test execution. The standardized Testing and Test Control Notation (TTCN-3) addresses in particular test execution automation by defining a test specification language and a test system architecture that enables the implementation and execution of any correct TTCN-3 test suite. Over the years, the standard has continuously being maintained and evolved. In particular, concepts for advanced parameterization and typing and for real-time tests have been defined. The presentation will provide an introduction to TTCN-3 and present recent extensions.

Die Wurzeln der heute weit verbreiteten Testing and Test Control Notation (TTCN-3) stammen aus den 80er Jahren. Mit der erstmals von der ISO standardisierten Version kamen entsprechende Werkzeuge und Industriestandards auf den Markt. Ausgehend von der Telekommunikation dringt TTCN-3 mit zunehmender Komplexität heutiger Software in nahezu alle Domänen. TTCN-3 wurde Zielnotation für modellbasiertes Testen und entwickelt sich bereits weiter: 2010 werden von ETSI Neuerungen veröffentlicht, die der Industrie eine standardisierte Basis für innovatives Testen bereitstellt.

Die veranstaltung findet in Kooperation mit Fraunhofer FOKUS statt. Dozenten u.a. Dr. Tom Ritter (Fraunhofer FOKUS), Christian Hein (FOKUS), Michael Wagner (FOKUS).Softwareentwicklungsprozesse werden üblicherweise in verschiedene Phasen aufgeteilt, Beispiele hierfür sind die Anforderungsanalyse, die Entwurfsphase oder das Testen. Verschiedene Vorgehensmodelle wie das Wasserfallmodell oder das V-Modell beschreiben solche Prozesse und Phasen. Eine spezielle Ausprägung der Softwareentwicklung ist die modell-gestützte Softwareentwicklung, bei der in allen Phasen Modelle im Mittelpunkt stehen. Die Verwendung von Modellen ist dabei kein Selbstzweck: vielmehr ist sie bei großen und komplexen Entwicklungsprozessen ein wichtiges Hilfsmittel im Umgang mit der Komplexität des zu entwerfenden Systems und des Prozesses an sich. Häufig arbeiten mehrere hundert Entwickler verteilt an einem Projekt und eine Vielzahl verschiedener Werkzeuge wird verwendet.Um eine nahtlose Integration zwischen den verwendeten Werkzeugen zu erreichen, sowie die Arbeiten der Entwicklerteams zu synchronisieren ist es notwendig zu berücksichtigen wie Informationen von einem Werkzeug in einem anderen Werkzeug transparent wiederverwendet werden können. Einen möglichen Ansatz bietet der ModelBus (http://www.modelbus.org ). Der ModelBus wird seit 5 Jahren im Rahmen von mehreren europäischen Verbundprojekten am Fraunhofer Institut FOKUS entwickelt. Diese Software bietet verschiedene Dienste an, die auf Modellen arbeiten. So gibt es als Basisdienst ein Repository, in das alle Artefakte eines Entwicklungsprozesses abgespeichert werden. Es gibt Dienste für die Transformation von Modellen zu Modellen oder Verifikationsdienste für bestimmte Artefakte des Entwicklungsprozesses.Im Rahmen des Projektes werden zunächst die Grundprinzipien der Model-getriebenen Entwicklung vorgestellt. Darauf aufbauend sollen unter Berücksichtigung der erworbenen Kenntnisse eine Werkzeugkette erstellt werden und Daten zwischen den unterschiedlichen Werkzeugen ausgetauscht werden. Weiterhin können bei Bedarf zusätzliche Dienste und Werkzeuge für die Modell-getriebene Entwicklung in diesem Projekt implementiert werden.

Das Testen nimmt einen immer größeren Stellenwert in der Entwicklung und Qualitätssicherung software-basierter Systeme ein. Diese VL wird Basiskonzepte des Software-Testen erläutern und praxis-relevante Methoden zum Testmanagement, zum Testentwurf, zur Testspezifikation, Testgenerierung und Testbewertung vermitteln. Übungen helfen, den Stoff zu erfassen und praktisch anzuwenden.Folgende Themenblöcke werden behandelt:- Grundlagen des Softwaretestens- Testen im Softwarelebenszyklus- Statischer Test- Dynamischer Test- Testfallentwurfsverfahren- Testmanagement- TestwerkzeugeDie Vorlesung basiert auf dem ISTQB® (International Software Testing Qualification Board, www.istqb.org) Certified Tester Programm, einem weltweit anerkannten, standardisierten Aus- und Weiterbildungsschema für Software-Tester. Die VL vermittelt den Stoff des ISTQB Software Tester Foundation Level und weiterführende aktuelle Testmethoden und -techniken. Im Anschluss kann daher neben der Prüfung zur VL eine Prüfung zum Zertifikat Software Tester Foundation Level abgelegt werden. Dieses Zertifikat wird mittlerweile in vielen Stellenausschreibungen nachgefragt.

Die veranstaltung findet in Kooperation mit Fraunhofer FOKUS statt. Dozenten u.a. Dr. Tom Ritter (Fraunhofer FOKUS), Christian Hein (FOKUS), Michael Wagner (FOKUS).Softwareentwicklungsprozesse werden üblicherweise in verschiedene Phasen aufgeteilt, Beispiele hierfür sind die Anforderungsanalyse, die Entwurfsphase oder das Testen. Verschiedene Vorgehensmodelle wie das Wasserfallmodell oder das V-Modell beschreiben solche Prozesse und Phasen. Eine spezielle Ausprägung der Softwareentwicklung ist die modell-gestützte Softwareentwicklung, bei der in allen Phasen Modelle im Mittelpunkt stehen. Die Verwendung von Modellen ist dabei kein Selbstzweck: vielmehr ist sie bei großen und komplexen Entwicklungsprozessen ein wichtiges Hilfsmittel im Umgang mit der Komplexität des zu entwerfenden Systems und des Prozesses an sich. Häufig arbeiten mehrere hundert Entwickler verteilt an einem Projekt und eine Vielzahl verschiedener Werkzeuge wird verwendet.Um eine nahtlose Integration zwischen den verwendeten Werkzeugen zu erreichen, sowie die Arbeiten der Entwicklerteams zu synchronisieren ist es notwendig zu berücksichtigen wie Informationen von einem Werkzeug in einem anderen Werkzeug transparent wiederverwendet werden können. Einen möglichen Ansatz bietet der ModelBus (http://www.modelbus.org ). Der ModelBus wird seit 5 Jahren im Rahmen von mehreren europäischen Verbundprojekten am Fraunhofer Institut FOKUS entwickelt. Diese Software bietet verschiedene Dienste an, die auf Modellen arbeiten. So gibt es als Basisdienst ein Repository, in das alle Artefakte eines Entwicklungsprozesses abgespeichert werden. Es gibt Dienste für die Transformation von Modellen zu Modellen oder Verifikationsdienste für bestimmte Artefakte des Entwicklungsprozesses.Im Rahmen des Projektes werden zunächst die Grundprinzipien der Model-getriebenen Entwicklung vorgestellt. Darauf aufbauend sollen unter Berücksichtigung der erworbenen Kenntnisse eine Werkzeugkette erstellt werden und Daten zwischen den unterschiedlichen Werkzeugen ausgetauscht werden. Weiterhin können bei Bedarf zusätzliche Dienste und Werkzeuge für die Modell-getriebene Entwicklung in diesem Projekt implementiert werden.

In diesem Projekt werden Themen rund um die Methodik der Testentwicklung und Systembewertung behandelt. Insbesondere stehen die Werkzeugunterstützung und Entwicklung von Testlösungen mittels TTCN-3, mit dem Ziel der weiteren Testautomatisierung, im Vordergrund. Implementierungen erfolgen hauptsächlich mit Eclipse, Java und XML.

Das Testen nimmt einen immer größeren Stellenwert in der Entwicklung und Qualitätssicherung software-basierter Systeme ein. Diese VL wird Basiskonzepte des Software-Testen erläutern und praxis-relevante Methoden zum Testmanagement, zum Testentwurf, zur Testspezifikation, Testgenerierung und Testbewertung vermitteln. Übungen helfen, den Stoff zu erfassen und praktisch anzuwenden. Folgende Themenblöcke werden behandelt: -- Grundlagen des Softwaretestens -- Testen im Softwarelebenszyklus -- Statischer Test -- Dynamischer Test -- Testfallentwurfsverfahren -- Testmanagement -- Testwerkzeuge Die Vorlesung basiert auf dem ISTQB® (International Software Testing Qualification Board, www.istqb.org) Certified Tester Programm, einem weltweit anerkannten, standardisierten Aus- und Weiterbildungsschema für Software-Tester. Die VL vermittelt den Stoff des ISTQB Software Tester Foundation Level und weiterführende aktuelle Testmethoden und -techniken. Im Anschluss kann daher neben der Prüfung zur VL eine Prüfung zum Zertifikat Software Tester Foundation Level abgelegt werden. Dieses Zertifikat wird mittlerweile in vielen Stellenausschreibungen nachgefragt.

Es werden praxisorientiert Methoden und Werkzeuge der analytischen Qualitätssicherung vorgestellt, die in der industriellen Entwicklung von Automotive- Software Anwendung finden bzw. kurz vor der Einführung stehen. Neben Grundlagen und Fallbeispielen werden gängige Verfahren u.a. zur Fehlerfindung und Qualitätsbewertung, zu statischen und dynamischen Testverfahren und zur Modellbasierten Qualitätssicherung vorgestellt.

Es werden verschiedenen Projekte zur modellbasierten Systementwicklung angeboten: diese behandeln Aspekte der Systemmodellierung, der Anforderungsanalyse, der Prozessmodellierung, der Generierung von Entwicklungsartefakten, der Verifikation und Validierung, etc. Implementierungen erfolgen typischerweise in Eclipse, Java/C++ und/ oder XML.

Qualitätssicherung nimmt einen immer größeren Stellenwert in der Systementwicklung ein. Gerade für sicherheits- und geschäftskritische Systeme muß die Qualitätssicherung systematisch erfolgen. Dieses Seminar wird dazu neueste Entwicklungen, Methoden und Technologien vorstellen und bewerten. Hierbei werden die Teilnehmer anhand aktueller Publikationen Vorträge zur Qualitätssicherung eingebetteter Systeme erarbeiten.

In diesem Projekt werden Themen rund um die Methodik der Testentwicklung und Systembewertung behandelt. Insbesondere stehen die Werkzeugunterstützung und Entwicklung von Testlösungen mittels TTCN-3, mit dem Ziel der weiteren Testautomatisierung, im Vordergrund. Implementierungen erfolgen hauptsächlich mit Eclipse, Java und XML.