Many real-time systems are developed and maintained through the use of commercial software products, such as Matlab and MatrixX, that automatically generate source code based on graphical control systems models. Testing these real-time models and the real-time software generated from them presents special problems during maintenance not faced with other forms of software. Very importantly, many of the models and software systems have to be tested through the use of simulations. Huge input and output data sets, the need for testing over a long duration of time (weeks or months), and computationally intensive requirements are just a few of the difficulties. For testing during maintenance in such situations, this paper draws upon field experience to present a set of test types and a strategy for selecting test types used to create series of input values to serve as test cases. Also this paper presents strategies for applying these test types, using the assistance of a free, widely available testing tool that automates test case generation, executes the simulations, and supports the analysis of the test results.

Title: Teaching and Testing Writing. On the Common State School Leaving Exam in German Language. Author: Martina Kolářová Department: Institute of German Studies, Faculty of Arts, Charles University in Prague Superviser: doc. PhDr. Marie Vachková, Ph.D. Abstract: This thesis deals with the topic of writing ability in lessons of German as a foreign language in a context of a State-school leaving exam in German language. New model of this exam is managed centrally and its global character influences the school study in all grammar schools. The thesis concentrates on the way in which this exam influences the study and which consequences it has for the writing ability of students. The research gains the data mainly from the point of view of teachers, but it considers the student's point of view too and analyses results of their written exams. The concern in this topic is based on the current situation of modification of the state-school leaving exam in foreign languages and the criticism of its benefits for students and their study. The foreign language testing has a long tradition and counts to detailed researched fields of didactics which allows a global view on the issues in context of other foreign language exams and on teaching fields connected with testing which creates a theoretical frame of this thesis....