TelData. Version: A-Muster

Transkript

1 -Prüfung: Prüfprotokoll Systemelement- TelData Version: A-Muster Projektbezeichnung Artio Neues Projekt Projektleiter Herr Karlapp Verantwortlich Hr. Deynet Prüfer Erstellt am Zuletzt geändert :30 Bearbeitungszustand in Bearbeitung vorgelegt X fertig gestellt Dokumentablage Pruefprotokoll TelData.doc V-Modell-XT Version Version 1.2.1

2 Das V-Modell XT ist urheberrechtlich geschützt. Copyright 2006 V-Modell XT Autoren und andere. Alle Rechte vorbehalten. Das V-Modell XT ist unter der Apache License Version 2.0 freigegeben. Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License. Zuletzt geändert: :30 2/11

3 Weitere Produktinformationen Mitwirkend [nicht beteiligt] SW-Entwickler [nicht beteiligt] Systemintegrator Erzeugung Produktumfang eines SW-Moduls Implementierungs-, Integrations- und Prüfkonzept SW [Dateiname] SW-Architektur [Dateiname] Änderungsverzeichnis Änderung Nr. Datum Version Geänderte Kapitel Beschreibung der Änderung Autor Zustand Alle Initiale Produkterstellung Deynet Alle Sequenzdiagramme hinzugefügt Alle Gesamtes Dokument überarbeitet Deynet Deynet Einleitung korrigiert Deynet Prüfverzeichnis Die folgende Tabelle zeigt einen Überblick über alle Prüfungen sowohl Eigenprüfungen wie auch Prüfungen durch eigenständige Qualitätssicherung des vorliegenden Dokumentes. Datum Geprüfte Version Anmerkungen Prüfer Neuer Produktzustand Review beim FWD-JF Alle Review Deynet Zuletzt geändert: :30 3/11

4 Inhalt 1 Einleitung Prüfobjekt Prüfergebnisse Ergebnisanalyse und Korrekturvorschläge Prüffallzuordnung Zuletzt geändert: :30 4/11

5 Zuletzt geändert: :30 5/11

6 1 Einleitung Das Prüfprotokoll enthält die vom Prüfer verfassten Aufzeichnungen über den Verlauf der Prüfung, die Gegenüberstellung von Ist- und Soll-Ergebnissen, sowie die Analyse der identifizierten Ist-/Soll-Abweichungen und entsprechende Lösungsvorschläge. Dabei ist darauf zu achten, dass das Prüfergebnis reproduziert werden kann. Anzahl und Häufigkeit der Durchführung von Prüfungen und damit der Erstellung der zugehörigen Prüfprotokolle entsprechen den Vorgaben im QS-Handbuch und in den zugehörigen Implementierungs-, Integrations- und Prüfkonzepten. Zuletzt geändert: :30 6/11

7 2 Prüfobjekt Bei dem Prüfobjekt handelt es sich um das Telefonbuchmodul TelData in der ersten Iteration (A-Muster). Dieses dient dem Speichern und Auslesen von Telefonbucheinträgen. An dieser Stelle sei auf die SW-Spezifikation SW-Spezifikation TelData.doc und die Prüfspezifikation Prüfspezifikation TelData.doc verwiesen. Zuletzt geändert: :30 7/11

8 3 Prüfergebnisse Die Prüfung wurde mit CUnit anhand der im Kapitel 1 aufgeführten Prüfspezifikation durchgeführt. Die programmierten Prüffälle sind im Ordner \Prüfungen\TelData zu finden. Im Folgenden ist die Konsolen-Ausgabe während der Prüfung zu sehen. Die Namen der Suites zeigen an, in welchem Zustand sich das Telefonbuch befindet. CUnit : A Unit testing framework for C. Suite: init_null Test: Seq1... passed Test: Seq2... FAILED 1. - enerr==einvalidparameter Test: Seq3... passed Test: Seq3b... FAILED 1. - enerr==einvalidparameter Test: Seq4... passed Test: Seq5... passed Test: Seq5b... passed Test: Seq6... passed Test: Seq6b... passed Test: Seq7... passed Suite: init_1 Test: Seq1... passed Test: Seq2... passed Test: Seq3... passed Test: Seq3b... passed Test: Seq4... passed Test: Seq5... passed Test: Seq5b... passed Test: Seq6... passed Test: Seq6b... passed Test: Seq7... passed Suite: init_half Test: Seq1... passed Test: Seq2... passed Test: Seq3... FAILED 1. - CU_ASSERT_NSTRING_EQUAL(pstData1->abData,pstData2->abName,pstData CU_ASSERT_NSTRING_EQUAL(pstData1->abData,pstData2->abName,pstData CU_ASSERT_NSTRING_EQUAL(pstData1->abData,pstData2->abName,pstData1- Test: Seq3b... passed Test: Seq4... passed Test: Seq5... passed Test: Seq5b... passed Test: Seq6... passed Test: Seq6b... passed Test: Seq7... passed Suite: init_full Test: Seq1... passed Test: Seq2... passed Zuletzt geändert: :30 8/11

9 Test: Seq3... FAILED 1. - CU_ASSERT_NSTRING_EQUAL(pstData1->abData,pstData2->abName,pstData CU_ASSERT_NSTRING_EQUAL(pstData1->abData,pstData2->abName,pstData CU_ASSERT_NSTRING_EQUAL(pstData1->abData,pstData2->abName,pstData CU_ASSERT_NSTRING_EQUAL(pstData1->abData,pstData2->abName,pstData CU_ASSERT_NSTRING_EQUAL(pstData1->abData,pstData2->abName,pstData CU_ASSERT_NSTRING_EQUAL(pstData1->abData,pstData2->abName,pstData1- Test: Seq3b... passed Test: Seq4... passed Test: Seq5... passed Test: Seq5b... passed Test: Seq6... passed Test: Seq6b... passed Test: Seq7... passed Suite: init_full_1 Test: Seq1... passed Test: Seq2... passed Test: Seq3... FAILED 1. - CU_ASSERT_NSTRING_EQUAL(pstData1->abData,pstData2->abName,pstData CU_ASSERT_NSTRING_EQUAL(pstData1->abData,pstData2->abName,pstData CU_ASSERT_NSTRING_EQUAL(pstData1->abData,pstData2->abName,pstData CU_ASSERT_NSTRING_EQUAL(pstData1->abData,pstData2->abName,pstData CU_ASSERT_NSTRING_EQUAL(pstData1->abData,pstData2->abName,pstData CU_ASSERT_NSTRING_EQUAL(pstData1->abData,pstData2->abName,pstData1- Test: Seq3b... passed Test: Seq4... passed Test: Seq5... passed Test: Seq5b... passed Test: Seq6... passed Test: Seq6b... passed Test: Seq7... passed --Run Summary: Type Total Ran Passed Failed suites 5 5 n/a 0 tests asserts Tests completed with return value 0. Zuletzt geändert: :30 9/11

10 4 Ergebnisanalyse und Korrekturvorschläge Suite: init_null CUnit-Funktion Identifizierte Ursache Seq2 Der Fehler tritt bei der Funktion engettelentries auf. Wird beim Aufruf der Funktion der Startindex > 0 gewählt, so wird trotzdem eok zurück gegeben (obwohl das Telefonbuch leer ist und ein solcher Index nicht existiert). Seq3b Siehe Seq2. Suite: init_half CUnit-Funktion Identifizierte Ursache Seq3 Der Fehler tritt bei der Funktion engettelentries auf. Der Name der Telefonbucheinträge, deren Länge größer oder gleich 20 ist, werden nicht korrekt zurück geliefert. Korrekturvorschlag: Die Länge eines Namens im Telefonbuch ist auf 20 begrenzt. Beim Einfügen eines längeren Eintrags sollte das Telefonbuch die überlangen Zeichen abschneiden, die neue Länge (also 20) aber wieder zurück geben (dies geschieht bisher nicht). Suite: init_full_1 CUnit-Funktion Identifizierte Ursache Seq3 Siehe Suite init_half, Seq3 Suite: init_full CUnit-Funktion Identifizierte Ursache Seq3 Siehe Suite init_half, Seq3 Zuletzt geändert: :30 10/11

11 5 Prüffallzuordnung CUnit-Suite Zustand des Telefonbuchs init_null Kein Eintrag im Telefonbuch vorhanden. init_1 Ein Eintrag im Telefonbuch vorhanden. init_half Das Telefonbuch ist halb gefüllt. init_full_1 Das Telefonbuch ist, bis auf einen Eintrag, ganz gefüllt. init_full Das Telefonbuch ist ganz gefüllt. CUnit-Funktion Prüffall-Nr. in Prüfspezifikation Seq1 1a, 1b Seq2 2 Seq3 3a Seq3b 3b Seq4 4 Seq5 5a Seq5b 5b Seq6 6a Seq6b 6b Seq7 7 Zuletzt geändert: :30 11/11