From woru at informatik.uni-osnabrueck.de Mon Jan 3 15:04:22 2011 From: woru at informatik.uni-osnabrueck.de (Wolfgang Runte) Date: Mon Jan 3 15:04:28 2011 Subject: [Sq10] Morgen und =?iso-8859-15?q?n=E4chste_Woche_keine_=DCbungen?= Message-ID: <4D21D766.6020506@informatik.uni-osnabrueck.de> Hallo SQler, ein frohes neues Jahr wünsche ich Euch allen. Die Testate zum 8. Übungsblatt diese Woche sind hoffentlich trotz der langen "Auszeit" gut angelaufen. ;-) Wie in einer vorhergehenden Mail auf dieser Liste bereits angedeutet: Da diese Woche kein neues Übungsblatt ausgegeben wird -- bzw. das für diese Woche angesetzte doppelte Übungsblatt 9+10 bereits im Dezember ausgegeben wurde, finden diese und auch in der nächsten Woche keine Übungen statt. Sollten Probleme hinsichtlich der Evaluierung der Testwerkzeuge auftreten, stehen die Tutoren und ich Euch direkt zur Verfügung. Das Übungsblatt 9+10 findet Ihr auf der Übungsseite verlinkt: http://www-lehre.inf.uos.de/~sq/2010/uebung.html Diese und die nächste Woche sind für die Bearbeitung der Werkzeugevaluierung vorgesehen. In der nächsten Woche werden dementsprechend keine Testate stattfinden. Nutzt die zusätzlich frei werdende Zeit (Übungen+Testate) für die Bearbeitung der Werkzeugpräsentationen! Die nächsten Testate (zu den Werkzeugpräsentationen) werden entsprechend von Mo. 17.01. bis Mi. 19.01. stattfinden. In der übernächsten Woche (Di., 18.01.) wird dann voraussichtlich auch das nachfolgende Übungsblatt 11 ausgegeben werden. Eine Terminübersicht, wann welche Werkzeuge von Euch an welchem Vorlesungstermin vorgestellt werden sollen (ab Ende Januar), folgt in den nächsten Tagen. Viele Grüße Wolfgang -- Dipl.-Inf. Wolfgang Runte woru@informatik.uni-osnabrueck.de Institut für Informatik +49-541-969-2487 (Fon) Universität Osnabrück +49-541-969-2799 (Fax) Albrechtstraße 28, Raum 31/317 http://www.inf.uos.de/woru D-49069 Osnabrück From elke.pulvermueller at informatik.uni-osnabrueck.de Mon Jan 10 15:37:37 2011 From: elke.pulvermueller at informatik.uni-osnabrueck.de (Elke Pulvermueller) Date: Mon Jan 10 15:35:24 2011 Subject: [Sq10] Raumaenderung am 12.01.11 Message-ID: <4D2B19B1.8090309@informatik.uni-osnabrueck.de> Liebe SQ-TeilnehmerInnen, am Mittw. 12.01.11 (12-13:30) haben wir eine einmalige Raumaenderung fuer die Vorlesung: Raum 31/450a Viele Gruesse, Elke Pulvermueller From woru at informatik.uni-osnabrueck.de Fri Jan 14 20:12:24 2011 From: woru at informatik.uni-osnabrueck.de (Wolfgang Runte) Date: Fri Jan 14 20:12:24 2011 Subject: [Sq10] Testate und Termine =?iso-8859-15?q?f=FCr_die_Werkzeugpr=E4sentat?= =?iso-8859-15?q?ionen?= Message-ID: <4D30A018.9020302@informatik.uni-osnabrueck.de> Hallo SQler, kurze Erinnerung: nächste Woche finden die Testate zu den Werkzeugevaluierungen statt. Während des Testats soll mit dem jeweiligen Tutor eine Präsentation/Besprechung der Folien und Beispiele am Bildschirm erfolgen. Der Testattermin ist neben der Bewertung also auch eine Vorbesprechung für Eure eigentliche Präsentation. Unter der folgenden Adresse habe ich die Termine für Eure Präsentationen hinterlegt: Damit nicht mehr als drei Präsentationen an einem Vorlesungstermin stattfinden, habe ich ein mehrere Präsentationen in die Übungen gelegt. Der zweite Übungstermin (12-14h) ist, so weit ich weiß, derjenige, den (fast?) alle wahrnehmen können. Wenn es Anmerkungen oder Probleme gibt bitte kurz melden. Ab Dienstag finden wieder ganz regulär die Übungen statt. Nächste Woche wird das 11. Übungsblatt ausgegeben. Viele Grüße Wolfgang -- Dipl.-Inf. Wolfgang Runte woru@informatik.uni-osnabrueck.de Institut für Informatik +49-541-969-2487 (Fon) Universität Osnabrück +49-541-969-2799 (Fax) Albrechtstraße 28, Raum 31/317 http://www.inf.uos.de/woru D-49069 Osnabrück From elke.pulvermueller at informatik.uni-osnabrueck.de Tue Jan 18 18:19:48 2011 From: elke.pulvermueller at informatik.uni-osnabrueck.de (Elke Pulvermueller) Date: Tue Jan 18 18:17:17 2011 Subject: [Sq10] Ankuendigung f. Don. 20.01. Message-ID: <4D35CBB4.8020806@informatik.uni-osnabrueck.de> Hallo an die SQ-Teilnehmenden, in der Vorlesungsstunde am Donnerstag 20.01. (wie immer ab 12:00 st) wird Herr Christian Ammann etwas zum Thema "Verifikation von UML Diagrammen am Beispiel von UML-Statecharts mit dem Model Checker Spin" vortragen. Zur Zeit promoviert Herr Ammann in einem Gemeinschaftsprojekt zwischen Fachhochschule und Universitaet in diesem Themengebiet. Er kann dadurch z.B. einen interessanten Einblick in eine Anwendungsmoeglichkeit fuer die Modellpruefung mit einem konkreten und sehr bekannten Werkzeug (Spin) geben. Viele Gruesse, Elke Pulvermueller From nikroege at uni-osnabrueck.de Wed Jan 19 10:04:49 2011 From: nikroege at uni-osnabrueck.de (=?ISO-8859-1?Q?Nils_Oliver_Kr=F6ger?=) Date: Wed Jan 19 10:04:56 2011 Subject: [Sq10] Frage zum =?iso-8859-1?q?=DCbungsblatt_11?= Message-ID: <4D36A931.2010709@uni-osnabrueck.de> Hallo Was genau ist denn mit einem statischen Backward-slicing gemeint? Ein Slice bezieht sich ja immer auf eine Variable an einer bestimmten Stelle. Sollen wir alle slices für die beiden Variablen angeben? Oder reicht es den slice für die jeweils letzte Verwendung anzugeben? Der enthält ja auch die anderen. Gruß Nils -- Nils Oliver Kröger Holsten-Mündruper Straße 21 49086 Osnabrück Tel: 0541 5801220 Mobil: 0176 20493426 Mail: nikroege@uni-osnabrueck.de Website: http://sites.google.com/site/nokroeger/ Blog: http://nokroeger.blogspot.com From elke.pulvermueller at informatik.uni-osnabrueck.de Wed Jan 19 14:20:20 2011 From: elke.pulvermueller at informatik.uni-osnabrueck.de (Elke Pulvermueller) Date: Wed Jan 19 14:17:43 2011 Subject: [Sq10] Pruefung Message-ID: <4D36E514.4040309@informatik.uni-osnabrueck.de> Hallo an die SQ-Teilnehmenden, unten ein paar wichtige Informationen zur Pruefung auch nochmal per Mailingliste. Es ist ausserdem eine kleine "Vorbereitung" in der Vorlesungsstunde am 2.2. geplant. Die Vorbereitung umfasst v.a. Fragen von Ihrer Seite und ein paar Hinweise, die ich zu einer muendlichen Pruefung in SQ noch geben kann. Viele Gruesse, Elke Pulvermueller ___TERMINE: Prüfungstermin 1: Zeit: Mittwoch, 9. Februar 2011, 09:00 - 18:00 Uhr Ort: Raum 31/318 Form: mündlich Prüfungstermin 2 (Wiederholungsprüfung): Zeit: Mittwoch, 6. April 2011, 9:00 - 16:00 Uhr Ort: Raum 31/318 Form: mündlich ___PRÜFUNGSVORAUSSETZUNGEN: Voraussetzungen jeweils für eine Prüfungsteilnahme (UND-Verknüpfung): 1. Erfolgreiche Anmeldung über OPIuM (die Anmeldefrist endet in der Regel eine Woche vor dem in OPIuM verzeichneten Prüfungstermin), Link-extern http://www.opium.uni-osnabrueck.de/ 2. Anmeldung im Informatik-Sekretariat (Terminwahl), Raum 31/323 3. Übungen wurden erfolgreich absolviert 4. Studentenausweis + offiziell gültigen Lichtbildausweis am Prüfungstag vorlegbar Bitte achten Sie für beide Prüfungstermine auf weitere Ankündigungen über die Mailingliste! ___FREQUENTLY ASKED QUESTIONS: Ihre Frage: Ist es möglich, dass ich die Prüfung ausschließlich am zweiten Termin absolviere? Wird der erste Termin dann als Fehlversuch gewertet oder nicht? Antwort: Für eine verbindliche Aussage fragen Sie bitte im jeweiligen Prüfungsamt nach. Wenn das Prüfungsamt dazu grünes Licht gegeben hat, können Sie auch von meiner Seite aus erst die zweite Prüfung machen. Bedenken Sie aber, dass sich ein großer zeitlicher Abstand tendenziell immer schlecht auswirkt (also nochmal die Ermutigung von meiner Seite, die erste Prüfung mitzumachen). Ihre Frage: Wie genau muss ich es mit OPIuM handhaben, wenn ich trotzdem unbedingt nur den zweiten Prüfungstermin wahrnehmen möchte? Antwort: Sie können (wenn das Prüfungsamt grünes Licht gegeben hat) komplett die erste Prüfung überspringen (d.h. zum ersten Termin nicht anmelden und nicht zur Prüfung kommen). Falls es also nur die zweite Prüfung sein soll, dann melden Sie sich über OPIuM (entsprechende Fristen beachten!) und im Informatik-Sekretariat nur für die zweite Prüfung an. In aller Regel endet für den ersten und zweiten Prüfungstermin die An-/Abmeldefrist ca. eine Woche vor dem jeweiligen Prüfungstermin. From woru at informatik.uni-osnabrueck.de Wed Jan 19 15:14:18 2011 From: woru at informatik.uni-osnabrueck.de (Wolfgang Runte) Date: Wed Jan 19 15:14:11 2011 Subject: [Sq10] Frage zum =?ISO-8859-1?Q?=DCbungsblatt_11?= In-Reply-To: <7668_1295427897_p0J94tVf010097_4D36A931.2010709@uni-osnabrueck.de> References: <7668_1295427897_p0J94tVf010097_4D36A931.2010709@uni-osnabrueck.de> Message-ID: <4D36F1BA.7070505@informatik.uni-osnabrueck.de> Hallo zusammen, Nils Oliver Kröger schrieb: > Was genau ist denn mit einem statischen Backward-slicing gemeint? Ein mit dem "statisch" wollte ich nur sichergehen, dass niemand auf den Gedanken kommt, einen "dynamischen" Slice durchführen zu wollen. :-) > Slice bezieht sich ja immer auf eine Variable an einer bestimmten > Stelle. Sollen wir alle slices für die beiden Variablen angeben? Oder Es sind insgesamt drei Slices anzugeben: 1. Backward-Slice für die Variable i 2. Backward-Slice für die Variable res 3. Forward-Slice für die Variable i > reicht es den slice für die jeweils letzte Verwendung anzugeben? Der > enthält ja auch die anderen. Beim Backward-Slice wird bei der letzten Referenz der jeweiligen Variable begonnen, beim Forward-Slice bei der ersten Definition der jeweiligen Variable. Viele Grüße Wolfgang -- Dipl.-Inf. Wolfgang Runte woru@informatik.uni-osnabrueck.de Institut für Informatik +49-541-969-2487 (Fon) Universität Osnabrück +49-541-969-2799 (Fax) Albrechtstraße 28, Raum 31/317 http://www.inf.uos.de/woru D-49069 Osnabrück From woru at informatik.uni-osnabrueck.de Sat Jan 22 21:49:34 2011 From: woru at informatik.uni-osnabrueck.de (Wolfgang Runte) Date: Sat Jan 22 21:49:24 2011 Subject: [Sq10] =?iso-8859-15?q?SQ-=DCbungen_auf_einen_Termin_zusammenleg?= =?iso-8859-15?q?en?= Message-ID: <4D3B42DE.8090705@informatik.uni-osnabrueck.de> Hallo SQler, nachdem der erste Übungstermin (Di., 10-12h), der in der Vergangenheit kontinuierlich sehr schwach besuchte wurde, in der letzten Woche noch schwächer (nämlich gar nicht...) besucht wurde, würde ich gerne die beiden Übungen dienstags auf den zweiten Termin zusammenlegen. Meine sporadischen "Umfragen" in der Vergangenheit hatten ergeben, dass bis auf einen Teilnehmer alle anderen auch an dem zweiten Übungstermin teilnehmen können. Wenn doch etwas dagegen sprechen sollte bitte kurz melden. Ansonsten sind hiermit die beiden SQ-Übungen ab kommender Woche auf den zweiten Termin (Di., 12-14h) zusammengelegt. :-) Viele Grüße Wolfgang -- Dipl.-Inf. Wolfgang Runte woru@informatik.uni-osnabrueck.de Institut für Informatik +49-541-969-2487 (Fon) Universität Osnabrück +49-541-969-2799 (Fax) Albrechtstraße 28, Raum 31/317 http://www.inf.uos.de/woru D-49069 Osnabrück From woru at informatik.uni-osnabrueck.de Tue Jan 25 08:22:56 2011 From: woru at informatik.uni-osnabrueck.de (Wolfgang Runte) Date: Tue Jan 25 08:22:45 2011 Subject: [Sq10] Heute nur eine =?iso-8859-15?q?=DCbung?= Message-ID: <4D3E7A50.8050308@informatik.uni-osnabrueck.de> Hallo zusammen, nochmal zur Erinnerung: Heute und nächste Woche wird es nur noch einen Übungstermin "Software-Qualität" geben (Di. 12:00-14:00 Uhr, 69/E18). Heute in der Übung dann voraussichtlich die beiden Werkzeugpräsentationen zu "JUnit"/"CppUnit" und "CodeCover" sowie die Ausgabe und Vorstellung des 12. Übungsblattes. Viele Grüße Wolfgang -------- Original-Nachricht -------- Betreff: [Sq10] SQ-Übungen auf einen Termin zusammenlegen Datum: Sat, 22 Jan 2011 21:49:34 +0100 Von: Wolfgang Runte Antwort an: sq10@list.serv.uni-osnabrueck.de Organisation: Institut für Informatik, Universität Osnabrück An: SQ-Mailingliste Hallo SQler, nachdem der erste Übungstermin (Di., 10-12h), der in der Vergangenheit kontinuierlich sehr schwach besuchte wurde, in der letzten Woche noch schwächer (nämlich gar nicht...) besucht wurde, würde ich gerne die beiden Übungen dienstags auf den zweiten Termin zusammenlegen. Meine sporadischen "Umfragen" in der Vergangenheit hatten ergeben, dass bis auf einen Teilnehmer alle anderen auch an dem zweiten Übungstermin teilnehmen können. Wenn doch etwas dagegen sprechen sollte bitte kurz melden. Ansonsten sind hiermit die beiden SQ-Übungen ab kommender Woche auf den zweiten Termin (Di., 12-14h) zusammengelegt. :-) Viele Grüße Wolfgang -- Dipl.-Inf. Wolfgang Runte woru@informatik.uni-osnabrueck.de Institut für Informatik +49-541-969-2487 (Fon) Universität Osnabrück +49-541-969-2799 (Fax) Albrechtstraße 28, Raum 31/317 http://www.inf.uos.de/woru D-49069 Osnabrück From woru at informatik.uni-osnabrueck.de Thu Jan 27 16:01:46 2011 From: woru at informatik.uni-osnabrueck.de (Wolfgang Runte) Date: Thu Jan 27 16:01:31 2011 Subject: [Sq10] Abgabe der =?iso-8859-15?q?Werkzeugpr=E4sentationen?= Message-ID: <4D4188DA.1000305@informatik.uni-osnabrueck.de> Hallo SQler, damit ich Eure Werkzeugpräsentationen zum Herunterladen auf die SQ-Webseite stellen kann, schickt mir bitte nach Euren Vorträgen die endgültige Fassung Eures Abgabearchivs (wie auf dem Übungsblatt angegeben) zu: --- --- Erstellen Sie für die Abgabe ein Paket, in dem alle Bestandteile Ihrer Präsentation enthalten sind. In dem Paket befinden sich entsprechend die Vortragsfolien (Ursprungsformat und PDF) sowie die verwendeten Beispiele und Screenshots der Demo. Sofern das Installationspaket des evaluierten Werkzeugs nicht zu groß ist (bis max. 10 MB), legen Sie das Werkzeug selbst bitte ebenfalls im Abgabearchiv mit ab. --- --- ... pro Testatgruppe möchte ich _ein_ Archiv haben, in dem _alles_ Relevante enthalten sein soll: - Foliensatz (Originalformat und als PDF) - Screenshots (möglichst separat) - Beispiele als Quellcode - ggf. das Werkzeug selbst (wenn nicht zu groß, s.o.) Das Archiv soll im .zip oder .tar.gz/.tgz Format gepackt sein, damit gewährleistet ist, dass es alle Teilnehmer mit den gängigen Werkzeugen unproblematisch entpacken können. Sobald ich Eure finalen Versionen vorliegen habe, verlinke ich sie auf der SQ-Webseite. Viele Grüße Wolfgang -- Dipl.-Inf. Wolfgang Runte woru@informatik.uni-osnabrueck.de Institut für Informatik +49-541-969-2487 (Fon) Universität Osnabrück +49-541-969-2799 (Fax) Albrechtstraße 28, Raum 31/317 http://www.inf.uos.de/woru D-49069 Osnabrück From elke.pulvermueller at informatik.uni-osnabrueck.de Mon Jan 31 10:37:28 2011 From: elke.pulvermueller at informatik.uni-osnabrueck.de (Elke Pulvermueller) Date: Mon Jan 31 10:33:51 2011 Subject: [Sq10] Pruefungsvorbereitung Message-ID: <4D4682D8.7010801@informatik.uni-osnabrueck.de> Hallo SQ-Teilnehmende, in der Vorlesungsstunde diesen Mittwoch (02.02.11) werde ich nach den Vortraegen ein paar Vorbereitungshinweise fuer die muendl. Pruefung geben bzw. es koennen nochmal Fragen gestellt werden. Viele Gruesse, Elke Pulvermueller From woru at informatik.uni-osnabrueck.de Mon Jan 31 15:48:38 2011 From: woru at informatik.uni-osnabrueck.de (Wolfgang Runte) Date: Mon Jan 31 15:48:17 2011 Subject: [Sq10] =?iso-8859-15?q?Werkzeugpr=E4sentationen_und_Ablauf_in_de?= =?iso-8859-15?q?n_SQ-=DCbungen_morgen?= Message-ID: <4D46CBC6.6060906@informatik.uni-osnabrueck.de> Hallo SQler, morgen werden in der Übung zu Software-Qualität (69/E18, 12-14h) voraussichtlich zwei Werkzeugpräsentationen stattfinden. Neben dem geplanten "Sonar"-Vortrag wurde letzte Woche die Präsentation von "XRadar" kurzfristig verschoben: Folgender Ablauf ist geplant: - ab 12:15 Uhr: normale Übung (Nachbesprechung zum Übungsblatt 11) - ab 12:45 Uhr: Vortrag zu "Sonar" - ab 12:05 Uhr: Vortrag zu "XRadar" Viele Grüße Wolfgang -- Dipl.-Inf. Wolfgang Runte woru@informatik.uni-osnabrueck.de Institut für Informatik +49-541-969-2487 (Fon) Universität Osnabrück +49-541-969-2799 (Fax) Albrechtstraße 28, Raum 31/317 http://www.inf.uos.de/woru D-49069 Osnabrück From woru at informatik.uni-osnabrueck.de Mon Jan 31 16:28:22 2011 From: woru at informatik.uni-osnabrueck.de (Wolfgang Runte) Date: Mon Jan 31 16:28:01 2011 Subject: Fwd: [Sq10] =?ISO-8859-15?Q?Werkzeugpr=E4sentationen_und_Abl?= =?ISO-8859-15?Q?auf_in_den_SQ-=DCbungen_morgen?= Message-ID: <4D46D516.4090406@informatik.uni-osnabrueck.de> ... mit 12:05 Uhr für "XRadar" meinte ich natürlich 13:05 Uhr, sorry. Unten der korrigierte Ablauf. Viele Grüße Wolfgang -------- modifizierte Nachricht -------- Betreff: [Sq10] Werkzeugpräsentationen und Ablauf in den SQ-Übungen morgen Datum: Mon, 31 Jan 2011 15:48:38 +0100 Von: Wolfgang Runte Antwort an: sq10@list.serv.uni-osnabrueck.de Organisation: Institut für Informatik, Universität Osnabrück An: SQ-Mailingliste Hallo SQler, morgen werden in der Übung zu Software-Qualität (69/E18, 12-14h) voraussichtlich zwei Werkzeugpräsentationen stattfinden. Neben dem geplanten "Sonar"-Vortrag wurde letzte Woche die Präsentation von "XRadar" kurzfristig verschoben: Folgender Ablauf ist geplant: - ab 12:15 Uhr: normale Übung (Nachbesprechung zum Übungsblatt 11) - ab 12:45 Uhr: Vortrag zu "Sonar" - ab 13:05 Uhr: Vortrag zu "XRadar" Viele Grüße Wolfgang -- Dipl.-Inf. Wolfgang Runte woru@informatik.uni-osnabrueck.de Institut für Informatik +49-541-969-2487 (Fon) Universität Osnabrück +49-541-969-2799 (Fax) Albrechtstraße 28, Raum 31/317 http://www.inf.uos.de/woru D-49069 Osnabrück