Das interne Testen ist eine Testfall-Designmethode, die die Steuerstruktur des Verfahrensdesigns benutzt, um Testfälle abzuleiten.
Fälle prüfen kann abgeleitet werden dem
1. Garantie, daß alle unabhängigen Wege innerhalb eines Moduls mindestens einmal ausgeübt worden sind, . übung 2 alle logischen Entscheidungen über ihre zutreffenden und falschen Seiten, 3. führen alle Schleifen an ihren Grenzen und innerhalb ihrer funktionsfähigen Grenzen durch und 4. übung interne Datenstrukturen, zum ihrer Gültigkeit sicherzustellen.
Die Natur der Software-Defekte
Logikstörungen und falsche Annahmen sind umgekehrt zur Wahrscheinlichkeit proportional, daß ein Programmweg durchgeführt wird. Die allgemeine Verarbeitung neigt, gut verstanden zu werden, während die spezielle Fallverarbeitung neigt, zu den Störungen vornübergeneigt zu sein.
Wir glauben häufig, daß ein logischer Weg nicht wahrscheinlich ist durchgeführt zu werden, wenn er regelmässig durchgeführt werden kann. Unsere unbewußten Annahmen über Steuerung fließen und Daten führen, um Störungen zu entwerfen, die nur ermittelt werden können, indem man Wegprüft.
Typographische Fehler sind gelegentlich.
Grundlage Weg-Prüfung
Diese Methode ermöglicht dem Entwerfer, ein logisches Kompliziertheit Maß eines Verfahrensdesigns abzuleiten und es wie ein Führer für das Definieren eines Grundlage Satzes Durchführung Wege zu verwenden. Fälle prüfen, die den Grundlage Satz werden garantiert, um jede Aussage im Programm mindestens einmal während der Prüfung durchzuführen ausüben.
Fluss-Diagramme
Flußdiagramme können benutzt werden, um Steuerfluß in ein Programm darzustellen und können in der Ableitung des Grundlage Satzes helfen. Jeder Flußdiagrammnullpunkt stellt eine oder mehrer Verfahrensaussagen dar. Die Ränder zwischen Nullpunkten stellen Fluß der Steuerung dar. Ein Rand muß an einem Nullpunkt enden, selbst wenn der Nullpunkt keine nützlichen Verfahrensaussagen darstellt. Eine Region in einem Flußdiagramm ist ein Bereich, der durch Ränder und Nullpunkte gesprungen wird. Jeder Nullpunkt, der eine Bedingung enthält, wird einen Prädikatnullpunkt genannt. Cyclomatic Kompliziertheit ist ein metrisches, das ein quantitatives Maß der logischen Kompliziertheit eines Programms liefert. Sie definiert die Zahl unabhängigen Wegen im Grundlage Satz und stellt folglich ein oberes Limit für die Zahl Tests zur Verfügung, die durchgeführt werden müssen.
Der Grundlage Satz
Ein unabhängiger Weg ist jeder möglicher Weg durch ein Programm, das mindestens einen neuen Satz Verarbeitung von Aussagen vorstellt (muß entlang mindestens einen neuen Rand im Weg bewegen). Der Grundlage Satz ist nicht einzigartig. Jede mögliche Zahl der unterschiedlichen Grundlage Sätze kann für ein gegebenes Verfahrensdesign abgeleitet werden. Cyclomatic Kompliziertheit, V (G), denn eine Flußgraph. g ist gleich
1. Die Zahl Regionen im Flußdiagramm. 2. V (G) = E - N + 2, wo E ist, die Zahl Rändern und N ist die Zahl Nullpunkten. 3. V (G) = P + 1, wo P die Zahl Prädikatnullpunkten ist.
Ableiten von Test-Fällen 1. Vom Design oder vom Quellenprogramm ein Flußdiagramm ableiten. 2. Die cyclomatic Kompliziertheit dieses Flußdiagramms feststellen.    Sogar ohne ein Flußdiagramm, kann V (G) festgestellt werden, indem man zählt die Zahl bedingten Aussagen im Code. 3. Einen Grundlage Satz linear unabhängige Wege feststellen.    Prädikatnullpunkte sind für die Bestimmung der notwendigen Wege nützlich. 4. Testfälle vorbereiten, die Durchführung jedes Weges im Grundlage Satz zwingen.    Jeder Testfall wird mit den erwarteten Resultaten durchgeführt und verglichen.
Automatisieren Grundlage der gesetzten Ableitung Die Ableitung des Flußdiagramms und des Satzes der Grundlage Wege ist Automatisierung zugänglich. Ein Software-Werkzeug, zum dies zu tun kann mit einer Datenstruktur entwickelt werden, die eine Diagrammmatrix genannt wird. Eine Diagrammmatrix ist eine quadratische Matrix deren Größe mit der Zahl Nullpunkten im Flußdiagramm gleichwertig ist. Jede Reihe und Spalte entsprechen einem bestimmten Nullpunkt und die Matrix entspricht den Anschlüssen (Ränder) zwischen Nullpunkten. Indem man ein Verbindung Gewicht jeder Matrixeintragung hinzufügt, können mehr Informationen über den Steuerfluß gefangengenommen werden. In seiner einfachsten Form ist das Verbindung Gewicht 1, wenn ein Rand und 0 besteht, wenn er nicht. Aber andere Arten Verbindung Gewichte können dargestellt werden:
ï ¿ ½ die Wahrscheinlichkeit, daß ein Rand durchgeführt wird, ï ¿ ½, welches die Bearbeitungszeit während der traversal Verbindung verbrauchte, ï ¿ ½ das Gedächtnis erfordert während der Verbindung traversal oder ï ¿ ½ die Betriebsmittel erfordert während der Verbindung traversal.
Graphentheoriealgorithmen können an diesen Diagrammmatrizen zur Hilfe in der Analyse angewendet werden, die notwendig ist, den Grundlage Satz zu produzieren.
Schleife Prüfung
Foki dieser Weißkasten-Technik ausschließlich auf der Gültigkeit des Schleife Konstruierens. Vier unterschiedliche Kategorien Schleifen können definiert werden:
Die folgenden Tests sollten an den einfachen Schleifen angewendet werden, in denen n die Höchstzahl der zulässigen Durchläufe durch die Schleife ist:
1. Zeilensprung die Schleife völlig, . nur Durchlauf 2 einmal durch die Schleife, 3. m Durchläufe durch die Schleife wo m < n="">
4. n - 1, n, n + 1 überschreitet durch die Schleife.
4. n - 1, n, n + 1 passes through the loop.
Genistete Schleifen
Die Prüfung der genisteten Schleifen kann nicht die Technik der einfachen Schleifen einfach verlängern, da diese eine geometrisch zunehmende Anzahl von Testfällen ergeben würde. Eine Annäherung für genistete Schleifen:
1. An der innersten Schleife beginnen. Alle weiteren Schleifen auf Minimalwerte einstellen.
2. Führung einfache Schleife Tests für die innerste Schleife beim Halten der äußeren Schleifen an ihrem Minimum. Tests für die out-of-range oder ausschließlichen Werte hinzufügen. 3. Außerhalb arbeiten, prüft das Leiten auf die folgende Schleife, beim Halten aller weiteren äußeren Schleifen am Minimum und an anderem Schleifen zu den typischen Werten nistete. 4. Fortfahren, bis alle Schleifen geprüft worden sind.
Verkettete Schleifen
Verkettete Schleifen können als einfache Schleifen geprüft werden, wenn jede Schleife Unabhängiges von den anderen ist. Wenn sie nicht (z.B. ist der Schleife Kostenzähler für einen der Schleife Kostenzähler für den anderen), unabhängig sind, dann kann die genistete Annäherung verwendet werden.
Unstrukturierte Schleifen
Dieser Art der Schleife sollte neu entworfen werden nicht geprüft worden!!! Andere weiße Kasten-Techniken Andere Techniken des internen Testens schließen ein:
1. Bedingungprüfung übt die logischen Bedingungen in einem Programm aus. 2. Datenfluß prüfend wählt Testwege entsprechend den Positionen von Definitionen und von Gebräuchen von Variablen im Programm vor.
