[Abstract] Dieses Papier der Software Qualitätsanforderungen diskutiert, auf dieser Grundlage werden die Artikel Logiscope Qualitätssicherung für Software-Entwicklung arbeiten.Wie wirken sich die verschiedenen Phasen der Software-Entwicklung mit Hilfe dieser Tools, um sicherzustellen, dass die Entwicklung der Software-Zuverlässigkeit und Wartbarkeit.Die rationelle Nutzung von Logiscope wird das Entwicklungsteam durch die Zertifizierung nach ISO9001 helfen, aber auch die Förderung der Entwicklungs-Team auf der CMM Level zu erleichtern.SCADE Logiscope und Design-Tools werden in Kombination verwendet werden, um die Software erfüllen die RTCA/DO-178B, IEC1508, IEC880, und GJB-2786 Sicherheit - Systeme Software Qualitätsanforderungen.
1. Software Qualitätsanforderungen
Software, ein großer wichtiger Teil des Systems, Embedded Software, bezieht sich auf die Software als Teil des Systems in das System eingebettet ist, als Teil des Systems mit einer Software, die kritischste Anforderung ist die Sicherheit und Zuverlässigkeit.Insbesondere vor allem im militärischen Bereich.
Deshalb müssen wir nutzen wirksame Methoden und Softwaretools zur Unterstützung und erfüllen die Entwicklung von Embedded Software, Software-Test und Bewertung sowie andere Einheiten, um sicherzustellen, dass sie Software-Qualitätssicherung Tätigkeit durchzuführen.Das heißt, die entsprechenden Software-Tools für Entwickler zu unterstützen, um in der kürzest möglichen Zeit zu gewährleisten, mit den geringsten Kosten, die Entwicklung von hochwertiger Software auf die Kundenbedürfnisse zu erfüllen und gleichzeitig die Wartungskosten zu reduzieren nach Lieferung des Produkts.
Statistiken über die tatsächlichen Projektkosten, sehen Sie in den verschiedenen Phasen der Entdeckung zu finden und ändern Sie die Kosten für einen Fehler ist anders, zeigt die folgende Tabelle die Daten [1].
Software-Entwicklung Phase
Coding Phase
Testen
Erhaltungsphase
Die Kosten für die Entdeckung und ändern Sie den Fehler
1 mal
4 mal
16 Mal
Auf der anderen Seite zeigen die Statistiken, dass ein Projekt, 80% der Fehler werden oft von den 20% des Programms verursacht.Deshalb, wie man effektiv erkennen und identifizieren die 20% der Teile ist sehr wichtig.
Erleben Sie sagt uns auch, dass der Fehler viele Verfahren, seiner Struktur, Algorithmus, Programm-Stil ist oft sehr komplex.
Die folgende Tabelle ist in verschiedenen Stadien der Software Entwicklung (Evaluierungs-und Testzwecke) festgestellt, dass der Fall eines Fehlers [1]:
Fehler gefunden Aktivitäten
1000 Zeilen pro Anzahl der gefundenen Fehler
SRR
2.5
Design Review
5.0
Code-Überprüfung
10.0
Integrationstest
3.0
Acceptance Test
2.0
Software-Produkte mit anderen industriellen Produkten, hängt seine Qualität auf dem Software-Entwicklungsprozess für die Qualitätskontrolle.Zur Verbesserung der Qualität eines guten Software muss auf allen Stufen gesteuert werden.
Logiscope ist ein Satz von Werkzeugen.Er verläuft durch das Software-Entwicklung, Code-Review, Einheit / Integrationstest, Systemtest und Software-Wartung Phase.
Logiscope ist der Quellcode für die Arbeit.Logiscope für die Codierung, Test und Wartung.Daher ist Logiscope Fokus auf Code-Review (Überprüfung) und dynamische Erfassung Test (Testing) zu helfen.
2 Logiscope für die Entwicklungsphase
2.1 Die Definition von Qualität Modell
Augenmerk auf die Qualität der Software-Entwicklung, sollten die Programmierer Programmierung Regeln [2] und Qualitätsbewertung Modell definiert werden.Entwickelt von der Firma, um die Stabilität des Quellcodes, einfache Wartung, hohe Zuverlässigkeit und Portabilität zu gewährleisten.
RuleChecker 50 vordefinierte Regeln der Programmierung:
* Name der Konvention (wie etwa lokale Variablen in Kleinbuchstaben, etc.);
* Sprach der Konvention (wie zum Beispiel: Unterricht pro Zeile);
* Einschränkungen (z. B.: kann nicht GOTO-Anweisungen können nicht in der Schleifenzähler usw. geändert werden verwendet);
Benutzer können wählen, von diesen Regeln, können Sie auch Tcl, Script-und Programmiersprachen, um neue Regeln zu definieren.
Es bietet auch für die Sicherheit der 50 - kritische Systeme Programmierung Regeln.
Audit zu ISO9126 [3]-Modell als Grundlage für die Bewertung der Qualität Modell.Qualitätsbewertung Modell beschreibt aus Halstend, McCabe VERILOG Messmethodik und die Qualität der Methodik, die Einführung der Qualität Faktoren (Wartbarkeit, Wiederverwendbarkeit, etc.) und qualitativen Kriterien (Testbarkeit, Lesbarkeit, etc.).
Projektleiter oder können sich auf Kriterien des Qualitätsmanagements, Applikations-Lebenszyklus-, Vertrags-Anforderungen, etc., Auswahl und Annahme von Anforderungen an das Projekt für die Qualität der Modelle basieren.
2.2 Eichung, Prüfung und Verbesserung der Code
RuleChecker mit den Regeln des ausgewählten Quellcode Verifikation.Programmierung Regeln, die nicht den gesamten Code, und machte den Quellcode, um die Interpretation und Empfehlungen zu verbessern.RulrChecker durch einen Texteditor, um direkten Zugriff auf den Quellcode und die Notwendigkeit, die Position zu korrigieren.
Audit wird die Bewertung der Qualität der Software-Anforderungen und Modell verglichen grafisch die Höhe der Software-Qualität angezeigt werden, daher kann die Qualität der Mitarbeiter konzentrieren, dass die Code-Abschnitt ändern.Messen Sie die Qualität von Modell-Elementen und Inkonsistenzen zu erklären und korrektive Methoden vorschlagen.
Eine detaillierte Analyse der Software-Qualität, können Audit eine Vielzahl von grafischen Darstellung werden:
* Die Anwendung Systemarchitektur - Call Graph zeigt die Beziehung zwischen Prozess und Funktion.Die Design-Review-Anwendung;
* Jeder Prozess und die Funktion der logischen Struktur - Ablaufsteuerung Diagramm zeigt den logischen Pfad-Algorithmus.Mit einer grafischen Darstellung der Komplexität der Auswertung Funktion;
* Konsistenz und Qualität des Modells - Kiviat Diagramm und Kreisdiagramm, so dass die ausgewählte Qualität und Kohärenz zwischen den Verweis mehr visuelle ist.
3 Logiscope zum Testen
3.1 Die Definition der Prüfkriterien
In der Software-Test-Phase, das wichtigste ist, um sicherzustellen, dass alle Code-Pfade wurden vollständig abgedeckt [4,5].Nur diejenigen, vollständig getestete Software ist zuverlässig.Besonders hohe Zuverlässigkeit Software.
Um die Gültigkeit des Tests müssen objektiv definiert werden quantifizierbare Kriterien und Strategien zu bestimmen, wann die Testphase zu beenden.
Logiscope empfohlen für den Unterricht (IB), dem logischen Pfad (DDP) und der Aufruf-Pfad (PPP) der Berichterstattung zu testen.Neben der Sicherheit - kritische Software bietet auch MC / DC Reichweite Prüfung [5].
3.2 Die Gültigkeit des Tests
TestChecker generieren Informationen für jeden Test und kumulative Testabdeckung Informationen.Deckungsgrad Histogramm-Display und der Testbetrieb mit Echtzeit-Online-Änderungen.Zeigt der neue Test jederzeit den Test in der Berichterstattung wider.
TestChecker erlauben alle Tests auf ihre Wirksamkeit Management.Benutzer können diese reduzieren für Nicht-Regressionstests Test verwendet.
3,3 Optimierung der Test
Der erste Schritt in der Testphase, ist die Durchführung der Prüfung funktionellen (Black Box) Tests.Das Ziel ist zu prüfen, ob die gewünschte Funktion erreicht wurde.In ersten Tests, wird Berichterstattung stark zunehmen.Generell menschenwürdige Testabdeckung von 70%.Doch dieses Verhältnis zu verbessern ist sehr schwierig.Vor allem aufgrund der Prüfung Testfall für den gleichen Weg.Zu diesem Zeitpunkt müssen Sie einige Änderungen an der Teststrategie zu machen.Die Umsetzung der strukturellen (weißer Kasten) Tests, das heißt, nicht durchgeführt werden, um den logischen Weg, die Definition neuer Testfälle für diese Wege zu erkennen.
Bei der Durchführung der Testphase, wenn die Teststrategie Veränderungen, umfassende Erkennung von Schlüsselfaktoren bei der Verwendung von TestChecker die Effizienz zu verbessern.In Verbindung mit dem Audit wird TestChecker kann den Nutzern helfen, ungetestete Code zu analysieren.
Benutzer können den Code von Interesse, und nicht durch die Umsetzung der Pfad der beobachteten Informationen abgedeckt.Infografiken (Ablaufsteuerung Grafik) und Text (Pseudo-Code und Quelldateien) in einer Form, und die Navigation in der Zwischenzeit etabliert Vereins.
TestChecker erklärte der neue Test-Management-System, die einschlägigen Dokumente, angepasste Boot-Befehle, und die automatische Ausführung zu produzieren.
4 Logiscope für die Erhaltungsphase
Die weit verbreitete Verständnis der Anwendung System Wartungs-und Entwicklungskosten sind fast gleich.Die Erfahrung hat gezeigt, dass 50% der Software-Wartung der Zeit in der Struktur, Logik und Verständnis läuft.
Logiscope stark herabsetzen kann das System das Verständnis der unbekannten Zeit benötigt.
Audit Rahmen des Antragsformulars eines Dokuments (die Beziehung zwischen Teilen von Dokumenten) und Call Graph der Form (die Beziehung zwischen Funktionen und Prozeduren) Visualisierung.
Die logische Struktur der Funktion zur Kontrolle der Strömung Graphen angezeigt.Ausgewählte auf die Ablaufsteuerung Graph Knoten, können Sie den entsprechenden Code.
Line-Analyse, um die Navigation zwischen den verschiedenen Ebenen fördern das Verständnis des Ganzen.
5 auf die Unterstützung der Embedded-Bereich
Logiscope unterstützen eine Vielzahl von Prüfmethoden.Besonders im Bereich der Embedded-Software zu unterstützen.
Ist bekannt, dass das Testen von Embedded Systems Software am schwierigsten ist.Weil seine Entwicklung ist Cross-Weise zusammengestellt.Auf dem Zielrechner (Target) und nicht über den zusätzlichen Platz Datensatz Test Informationen.Muss in Echtzeit Informationen über das Netzwerkkabel / serielle Schnittstelle getestet werden erreicht der Gastgeber (Host) auf, und Echtzeit-Online-Anzeige.Daher geben Sie den Quellcode Instrumentierung und Erfassung von Informationen auf dem Zielcomputer und der Schlüssel zu einem Problem.
Logiscope eine gute Lösung, um diese Technologien, ein führendes Unternehmen im Embedded-Bereich Test-Tools.Es unterstützt eine Vielzahl von Echtzeit-Betriebssystem (RTOS) auf die Anwendung zu testen, der Test unterstützen auch die Logik des Systems.Seine Arbeitsweise ist wie folgt:
Logiscope stellt VxWorks, pSOS, VRTX Echtzeit-Betriebssystem, den Test hinzugefügt.
6 auf der Luft-u. Raumfahrt / Verteidigung / Unterstützung im Bereich der nuklearen Kraftwerken
In der Luft-und Raumfahrtindustrie ist Sicherheit die wichtigste Frage.Daher ist die europäische und amerikanische Luft-und Raumfahrtindustrie Hersteller und Anwender gemeinsam RTCA/DO-178B [5] entwickelt.Logiscope auf "Bewertung und Analyse des Source Code" und "Strukturelle Coverage Analysis"-Software entwickelt, um RTCA/DO-178B Standard A, B, C drei System-Ebene zu ermöglichen.
Logiscope ist die erste, MC / DC (Modified Condition / Decision Coverage) Test-Tool bieten.
VERILOG SCADE ist ein weiteres Produkt des Unternehmens voll unterstützt RTCA/DO-178B, IEC1508 [6], IEC880 [7] Werkzeug.SCADE und konfiguriert Logiscope der Fertigungslinie zu gewährleisten, dass die Luftfahrt / Raumfahrt sicherheitskritische System-Software Sicherheit und Zuverlässigkeit.
7. Software-Dokumentation und die automatische Generierung von Test-Dokumentation
Logiscope eine automatische Dokumentation Generation Tool.Benutzer können die Ergebnisse von den Code und dynamische Prüfungen Anforderungen der Situation in Echtzeit an die Dokumente zu erzeugen, die eine getreue Aufzeichnung der Fall Code und dynamische Testergebnisse.Document-Format können nach den Bedürfnissen der Nutzer, wie GJB-438A [8] angepasst werden.Deshalb:
1) zu vermeiden, Unstimmigkeiten in den Code und Dokumentation;
2) Prüfergebnisse und Prüfbericht Inkonsistenzen zu vermeiden;
3) Verringerung der Entwickler und Tester schreiben das Dokument zu arbeiten.
8 Zusammenfassung
Logiscope Einsatz in der kürzest möglichen Zeit, verbesserte Qualität und Effizienz der weich.
Logiscope in der Entwicklungsphase, kann die Suche nach potenziellen Fehlern zu suchen.
In der Code-Review Bühne, Logiscope Positionierung Fehler, die 80% der Programm-Module.
Nicht testen den Code auf der Positionierung, wo Logiscope helfen versteckte Mängel in der Code nicht getestet.
Projektleiter und Ingenieure Qualität regelmäßig überprüfen Logiscope mit der Qualität der Software.
Gebrauchte auf jeder Stufe Logiscope, die Verbesserung der Praxis des Software-Engineering, schreiben Ausbildung Programmierer guten Code und Test-Aktivitäten, um das System leicht zu pflegen sicherzustellen, Risiken zu reduzieren.
In einem Vertragsverhältnis, kann der Auftragnehmer Logiscope definiert Qualitätsstufen und Durchführung von Abnahmetests.Cheng Zhifang kann Logiscope Nachweis der Qualität ihrer Software.
Logiscope für ISO/IEC9126 definiert "Qualitätsmerkmale";
Logiscope für die ISO-9001 [9] enthält die Anforderungen (Test Akzeptanzkriterien und qulity Aufzeichnungen);
Logiscope bietet Entwicklern SEI / CMM [10] auf Stufe 2 (wiederholbar) folgen die erforderliche Software Qualitätsanforderungen der wichtigsten Praktiken, und fördern die Entwicklung Organisation so schnell wie möglich SEI / SMM der drei.