[Abstract] Deze nota bespreekt de kwaliteit van de software eisen, op basis hiervan, het artikel bespreekt LOGISCOPE ontwikkeling van software voor kwaliteitsborging.Hoe verhouden de verschillende stadia in de ontwikkeling van software met behulp van deze instrumenten om ervoor te zorgen dat de ontwikkeling van software betrouwbaarheid en onderhoudbaarheid.Het rationeel gebruik van LOGISCOPE zal bijdragen aan de ontwikkeling team via de ISO9001-certificering, maar ook versterken van de ontwikkeling team om de CMM niveaus te faciliteren.SCADE Logiscope en ontwerp tools worden gebruikt in combinatie te maken van de software voldoen aan de RTCA/DO-178B, IEC1508, IEC880 en GJB-2786 veiligheid - kritische systemen software kwaliteit eisen.
1. Software kwaliteitseisen
Software, een groot belangrijk deel van het systeem; embedded software, verwijst naar de software als onderdeel van het systeem ingebed in het systeem, als onderdeel van het systeem met behulp van software die de meest kritische voorwaarde is voor de veiligheid en betrouwbaarheid.In het bijzonder, vooral op militair gebied.
Daarom moeten we gebruik van effectieve methoden en software tools te ondersteunen en te voldoen aan de embedded software ontwikkeling, software testen en evalueren, en andere eenheden om ervoor te zorgen dat ze Software Quality Assurance activiteiten uit te voeren.Dat wil zeggen, de juiste software tools om ontwikkelaars te ondersteunen, om de kortst mogelijke termijn te waarborgen, met de minste kosten de ontwikkeling van hoogwaardige software aan de behoeften van klanten te voldoen, terwijl het verminderen van de onderhoudskosten na levering van het product.
Statistieken over het eigenlijke project, vindt u in de verschillende stadia van de ontdekking en verandering van de kosten van een fout is anders, de volgende tabel worden de specifieke gegevens [1].
Software ontwikkelingsfase
Codering Fase
Testen
Onderhoudsfase
De kosten van de ontdekking en verandering de fout
1 keer
4 keer
16 keer
Aan de andere kant blijkt uit de statistieken dat een project, 80% van de fouten worden vaak veroorzaakt door de 20% van het programma.Daarom, om hoe effectief herkennen en identificeren van de 20% van de onderdelen is zeer belangrijk.
Ervaring leert ons ook dat de fout vele procedures, de structuur, algoritme, programma stijl is vaak zeer complex.
De volgende tabel wordt in verschillende stadia van ontwikkeling van software voor activiteiten (evaluatie en testen) vond dat het geval van fout [1]:
Fouten gevonden activiteiten
1000 lijnen per aantal fouten gevonden
SRR
2.5
Design Review
5.0
Code review
10.0
Integratie testen
3.0
Acceptatietest
2.0
Software producten met andere industriële producten, de kwaliteit ervan hangt af van het software ontwikkel proces voor kwaliteitscontrole.Ter verbetering van de kwaliteit van een goede software, moet worden gecontroleerd in alle stadia.
LOGISCOPE is een set van tools.Het loopt door de ontwikkeling van software, code review, unit / integratie testen, systeem testen en onderhoud van de software fase.
LOGISCOPE is de broncode voor het werk.LOGISCOPE voor het coderen, testen en onderhoud.Daarom LOGISCOPE focus is om te helpen code review (Review) en dynamische bereik te testen (testen).
2 LOGISCOPE voor de ontwikkelingsfase
2.1 De definitie van kwaliteit-model
Aandacht aan de kwaliteit van software ontwikkeling bedrijven moeten programmeurs programmering regels gedefinieerd kunnen worden [2] en de kwaliteit beoordeling model.Ontwikkeld door het bedrijf om de stabiliteit van de broncode, eenvoudig onderhoud, hoge betrouwbaarheid en draagbaarheid te garanderen.
RuleChecker 50 vooraf bepaalde regels van de programmering:
* Naam van de conventie (zoals: lokale variabelen in kleine letters, enz.);
* Zei de conventie (zoals: instructie per regel);
* Beperkingen (zoals: niet kunnen gebruiken GOTO verklaringen kunnen niet worden gewijzigd in de loop teller, enz.);
Gebruikers kunnen kiezen uit deze regels, dan kunt u ook gebruik maken van Tcl, scripting en programmeertalen om nieuwe regels te definiëren.
Het biedt ook voor de veiligheid van 50 - kritische systemen programmering regels.
Audit ISO9126 [3] model als basis voor de evaluatie van de kwaliteit model.Kwaliteitsbeoordeling model beschrijft van Halstend, McCabe Verilog meetmethode en de kwaliteit van de methodologie, de invoering van de kwaliteit factoren (onderhoudbaarheid, herbruikbaarheid, enz.) en kwaliteitscriteria (testbaarheid, leesbaarheid, enz.).
Projectleider of kan worden gebaseerd op criteria van kwaliteit beheer, applicatie levenscyclus, contract eisen, enz., selectie en de goedkeuring van het project eisen voor de kwaliteit van de modellen.
2,2 controle, toetsing en verbetering van de code
RuleChecker met de regels van de geselecteerde broncode verificatie.Programmering regels die niet voldoen aan alle van de code, en maakte de broncode om de interpretatie en de aanbevelingen te verbeteren.RulrChecker door middel van een tekst editor om rechtstreeks toegang tot de broncode en de noodzaak om de positie te corrigeren.
Audit wordt de evaluatie van de kwaliteit van de software-eisen model en vergeleken grafisch weergegeven het niveau van de kwaliteit van de software, en daarom kan de kwaliteit van het personeel aandacht op de noodzaak om de code sectie te wijzigen.Meten van de kwaliteit van het model elementen en om inconsistenties en corrigerende methoden voor te stellen te verklaren.
Een gedetailleerde analyse van software kwaliteit, kan Audit een verscheidenheid van grafische voorstelling:
* De toepassing systeemarchitectuur - oproep grafiek toont de relatie tussen proces en functie.De toetsing van het ontwerp te verwerpen;
* Elk proces en de functie van de logische structuur - control flow diagram toont de logische pad algoritme.Met een grafische weergave van de complexiteit van de evaluatie functie;
* Samenhang en kwaliteit van het model - Kiviat diagram en cirkeldiagram, zodat de gekozen kwaliteitsniveau en de samenhang tussen de referentie is meer visueel.
3 LOGISCOPE voor het testen van
3.1 De definitie van toetsingscriteria
In de software testfase, het belangrijkste is ervoor te zorgen dat alle code paden volledig zijn gedekt [4,5].Alleen die, volledig geteste software betrouwbaar is.Vooral een hoge betrouwbaarheid software.
Om ervoor te zorgen de geldigheid van de test moet objectief worden gedefinieerd kwantificeerbare criteria en strategieën om te bepalen wanneer de test fase te eindigen.
LOGISCOPE aanbevolen voor instructie (IB), het logische pad (DDP) en het gesprek pad (PPP) van de dekking te testen.In aanvulling op de veiligheid - kritieke software biedt ook MC / DC dekking testen [5].
3.2 De geldigheid van de test
TestChecker genereren informatie voor elke test en cumulatieve testdekking informatie.Dekkingsgraad histogramweergave en test de werking in real-time online veranderingen.Toont de nieuwe test op elk gewenst moment de test tot uiting in de dekking.
TestChecker laat alle tests effectiviteit op basis van het beheer ervan.Gebruikers kunnen verminderen die worden gebruikt voor niet-regressie testen test.
3.3 Optimalisatie van de test
De eerste stap in de testfase, de uitvoering van de test is functioneel (black box) testen.Het doel is om te controleren of de gewenste functie is bereikt.In het begin van het testen, zal de dekking snel toenemen.Het algemeen fatsoenlijke test dekking van 70%.Echter, om deze ratio te verbeteren is erg moeilijk.Voornamelijk als gevolg van de test test case voor de dezelfde weg.Op dit moment moet je een aantal wijzigingen in de teststrategie te maken.Tenuitvoerlegging van structurele (witte doos) testen, dat is niet uitgevoerd om de logische weg, de definitie van nieuwe test gevallen over deze paden te detecteren.
Bij de uitvoering van de test periode, toen de teststrategie veranderingen, uitgebreide detectie van de belangrijkste factoren in het gebruik van TestChecker om de efficiëntie te verbeteren.Gebruikt in combinatie met de Audit zal TestChecker kan gebruikers helpen om ongeteste code te analyseren.
Gebruikers kunnen de code van belang, en die niet vallen onder de uitvoering van het pad van de waargenomen gerelateerde informatie.Information graphics (control flow grafiek) en tekst (pseudo-code en de bron-bestanden) in een vorm, en navigatie in de tussentijd gevestigde vereniging.
TestChecker verklaarde de nieuwe test management systeem om de relevante documenten, aangepaste boot opdrachten en automatische uitvoering te produceren.
4 LOGISCOPE voor de onderhoudsfase
Wijdverbreide begrip van de toepassing onderhoud van het systeem en de ontwikkeling kosten zijn vrijwel gelijk.Ervaring heeft geleerd dat 50% van de software-onderhoud van de tijd in de structuur, logica en begrip van hardlopen.
LOGISCOPE kan sterk verminderen van het systeem inzicht in de benodigde onbekend tijdstip.
Audit kader van het aanvraagformulier van een document (de relatie tussen de delen van documenten) en bel grafiek van de vorm (de relatie tussen functies en procedures) visualisatie.
De logische structuur van de functie om de controle van de flow grafiek weergegeven.Geselecteerd op de control flow grafiek node, kunt u de bijbehorende code.
Line-analyse, om de navigatie tussen de verschillende niveaus bevordert het begrip van het geheel.
5 op de steun van de ingesloten ruimte
LOGISCOPE ondersteuning van een verscheidenheid van testmethodes.Vooral op het gebied van embedded software te ondersteunen.
Is bekend dat het testen van embedded systeem software is de meest moeilijke.Omdat de ontwikkeling ervan is cross-gecompileerde manier.Op de doelcomputer (Target), en niet over de extra ruimte record test informatie.Moeten worden getest in real-time informatie via de netwerkkabel / seriële poort bereikt de gastheer (Host) op, en real-time online display.Daarom is de broncode instrumentatie en het verzamelen van informatie over de doel-machine en terug de sleutel tot een probleem.
LOGISCOPE een goede oplossing voor deze technologieën, een leider in de ingesloten gebied testtools.Het ondersteunt een groot aantal real-time operating systeem (RTOS) inzake de toepassing test, de test ondersteunen ook de logica van het systeem.De werkwijze is als volgt:
Logiscope biedt VxWorks, pSOS, VRTX real-time operating systeem, de test bibliotheek.
6 op de luchtvaart / ruimtevaart / defensie / ondersteuning van het gebied van de nucleaire centrales
In de luchtvaart-en ruimtevaart-industrie, de veiligheid is de meest kritische punt.Daarom is de Europese en Amerikaanse luchtvaart-en ruimtevaart producenten en gebruikers gezamenlijk ontwikkeld RTCA/DO-178B [5].LOGISCOPE op "reviews en Analyse van de Bron Code" en "Structural Analysis Coverage" software ontwikkeld om RTCA/DO-178B standaard A, B, C drie systeem-niveau mogelijk te maken.
LOGISCOPE is de eerste MC / DC (modified condition / decision coverage) testing tool te bieden.
Verilog SCADE is een ander product van de onderneming staat volledig achter RTCA/DO-178B, IEC1508 [6], IEC880 [7] gereedschap.SCADE en LOGISCOPE geconfigureerd de productielijn dat de luchtvaart-en ruimtevaart voor de veiligheid kritieke systeemsoftware veiligheid en betrouwbaarheid.
7. Software documentatie en automatische generatie van testdocumentatie
Logiscope zorgt voor automatische documentatie generatie gereedschap.Gebruikers kunnen de resultaten bekijken van de code en dynamische testen eisen van de situatie in real-time om de documenten te genereren die een getrouw verslag van de zaak-code, en dynamische testresultaten.Document formaat kan worden aangepast aan de behoeften van de gebruikers, zoals GJB-438A [8].Daarom:
1) tot inconsistenties in de code en documentatie te voorkomen;
2) testresultaten en testrapport tegenstrijdigheden te voorkomen;
3) aan de ontwikkelaars en testers te verminderen schrijf het document werken.
8 Samenvatting
LOGISCOPE gebruik in de kortst mogelijke tijd, verbetert de kwaliteit en doelmatigheid van zacht.
LOGISCOPE in de ontwikkelingsfase, kan de zoektocht op zoek naar mogelijke fouten.
In de code stadium van het onderzoek LOGISCOPE positionering fouten die 80% van het programma modules.
Niet testen de code op de positionering, LOGISCOPE helpen bij het vinden verborgen gebreken in de code is niet getest.
Projectleiders en de kwaliteit ingenieurs regelmatig met check LOGISCOPE de kwaliteit van de software.
Gebruikt in elk stadium LOGISCOPE, het verbeteren van de praktijk van de software engineering, training programmeurs schrijven van goede code en test activiteiten om het systeem eenvoudig te onderhouden zorgen, risico's te beperken.
In een contractuele relatie, kan de aannemer gebruik LOGISCOPE omschreven kwaliteitsniveau en de uitvoering van acceptatie testen.Cheng Zhifang kan LOGISCOPE aantonen van de kwaliteit van hun software.
LOGISCOPE voor ISO/IEC9126 gedefinieerd "Kwaliteit Kenmerken";
LOGISCOPE voor de ISO-9001 [9] biedt de eisen (test aanvaardingscriteria en qulity records);
LOGISCOPE biedt ontwikkelaars SEI / CMM [10] op niveau 2 (Repeterend) volg de benodigde software kwaliteitseisen van de belangrijkste praktijken, en het bevorderen van de ontwikkeling organisatie zo snel mogelijk SEI / SMM van de drie.