[Abstract] Denne artikel diskuterer den software kvalitetskrav på dette grundlag, i artiklen diskuteres LOGISCOPE kvalitetssikring for softwareudvikling arbejde.Hvordan de forskellige stadier i softwareudvikling ved hjælp af disse værktøjer til at sikre, at udviklingen af software pålidelighed og vedligeholdelse.Rationel udnyttelse af LOGISCOPE vil bidrage til udviklingen holdet gennem ISO9001 certificering, men også styrke udviklingen team til at gøre det lettere at CMM niveauer.SCADE Logiscope og design værktøjer vil blive anvendt i kombination for at gøre softwaren opfylder RTCA/DO-178B, IEC1508, IEC880 og GJB-2786 sikkerheds - kritiske systemer software kvalitetskrav.
1. Software kvalitetskrav
Software, en stor vigtig del af systemet, indlejret software, refererer til den software som en del af systemet indlejret i systemet, som en del af systemet ved hjælp af software, at de mest kritiske krav er sikkerhed og pålidelighed.Især i især det militære område.
Derfor skal vi bruge effektive metoder og softwareværktøjer til at støtte og opfylde de indlejret software udvikling, test af software og evaluering, og andre enheder for at sikre, at de udfører software kvalitetssikring aktiviteter.Det vil sige, har den rette software værktøjer til støtte for udviklere for at sikre på kortest mulig tid, med de laveste omkostninger til udviklingen af software af høj kvalitet imødekomme kundernes behov, samtidig med at vedligeholdelsesomkostningerne efter levering af produktet.
Statistikker om selve projektet, vil du finde i de forskellige faser af opdagelse og ændre prisen på en fejl er en anden, af nedenstående tabel viser de specifikke data [1].
Software udviklingsfasen
Kodning fase
Afprøvning
Vedligeholdelsesfasen
Udgifter til opdagelse og ændre fejl
1 gange
4 gange
16 gange
På den anden side, viser statistikkerne, at et projekt, er 80% af fejl ofte forårsaget af de 20% af programmets.Derfor, at hvor effektivt genkende og identificere de 20% af de dele, er meget vigtig.
Erfaringen fortæller os også, at fejlen mange procedurer, dets struktur, algoritme, program stil er ofte meget komplekse.
Nedenstående tabel er i forskellige stadier af softwareudvikling aktiviteter (evaluering og afprøvning) fandt, at sagen af fejl [1]:
Fejl fundet aktiviteter
1000 linjer pr antallet af fejl
SRR
2.5
Design Review
5.0
Kode anmeldelse
10.0
Integration Test
3.0
Accept Test
2.0
Software produkter med andre industrielle produkter, dens kvalitet afhænger af softwareudvikling proces for kvalitetskontrol.At forbedre kvaliteten af en god software, skal kontrolleres i alle faser.
LOGISCOPE er et sæt af værktøjer.Den løber gennem softwareudvikling, kode review, enhed / integration test, system test, og software vedligeholdelsesfasen.
LOGISCOPE er kildekoden til arbejdet.LOGISCOPE til kodning, test og vedligeholdelse.Derfor LOGISCOPE fokus er at hjælpe kode-review (gennemsyn) og dynamiske dækning test (Test).
2 LOGISCOPE i udviklingsfasen
2,1 Definitionen af kvalitet model
Opmærksom på kvaliteten af software udvikling virksomheder, bør programmører programmering regler defineres [2] og kvalitetsvurdering model.Udviklet af virksomheden for at sikre stabiliteten i kildekoden, nem vedligeholdelse, høj pålidelighed og bærbarhed.
RuleChecker 50 foruddefinerede regler for programmering:
* Navn på konvention (som lokal variabler i små bogstaver, osv.);
* Said konventionen (såsom: instruktion pr linje);
* Begrænsninger (såsom: kan ikke bruge GOTO udsagn kan ikke ændres i løkken tæller, osv.);
Brugerne kan vælge mellem disse regler, kan du også bruge Tcl, scripting og programmeringssprog til at definere nye regler.
Det giver også for sikkerheden på 50 - kritiske systemer programmering regler.
Audit til ISO9126 [3]-modellen som grundlag for evaluering af kvaliteten model.Kvalitetsevaluering Modellen beskriver fra Halstend, McCabe Verilog målemetode og kvaliteten af metoden, indførelse af kvalitet faktorer (vedligeholdelsesevne, genanvendelighed, osv.) og kvalitetskriterier (testbarhed, læsbarhed mv).
Projektlederen eller kan være baseret på kriterier for kvalitetsstyring, ansøgning livscyklus, kontrakten krav mv, udvælgelse og vedtagelse af projekt krav til kvaliteten af modeller.
2,2 verifikation, revision og forbedre koden
RuleChecker med reglerne i den valgte kildekoden kontrol.Programmering regler, som ikke opfylder alle af koden, og gjorde kildekoden for at forbedre fortolkningen og anbefalinger.RulrChecker gennem en teksteditor til at få direkte adgang til kildekoden og behovet for at korrigere position.
Revisionen skal vurdere kvaliteten af den software krav model og sammenlignet grafisk vises niveauet af software kvalitet, derfor kan kvaliteten af personalet fokus på behovet for at ændre koden afsnit.Måle kvaliteten af model elementer og til at forklare uoverensstemmelser og foreslå korrigerende metoder.
En detaljeret analyse af software kvalitet, kan Audit være en bred vifte af grafisk repræsentation:
* Anvendelsen systemarkitekturen - kaldgrafen viser forholdet mellem proces og funktion.Udformning anmeldelse anvendelse;
* Hver proces og funktion af logiske struktur - kontrol flow diagram viser de logiske vej algoritme.Med en grafisk repræsentation af kompleksiteten af evalueringsfunktionen;
* Sammenhæng og kvalitet af modellen - Kiviat diagram og cirkeldiagram, så det valgte kvalitet og sammenhæng mellem referencen er mere visuelle.
3 LOGISCOPE til test
3,1 Definitionen af testkriterier
I softwaren testfase, vigtigst af er at sikre, at al kode stier er fuldt dækket [4,5].Kun de, fuldt ud testet software er pålidelige.Især høj pålidelighed software.
For at sikre gyldigheden af testen skal defineres objektivt målbare kriterier og strategier til at afgøre, hvornår for at afslutte testfase.
LOGISCOPE anbefales til undervisning (IB), den logiske sti (DDP) og indkaldelsen sti (PPP) af dækningen testen.Ud over sikkerheden - kritiske software giver også MC / DC dækning test [5].
3,2 Gyldigheden af testen
TestChecker generere oplysninger med hver test, og kumulative testdækning oplysninger.Dækningsgraden histogram display og afprøve drift under real-time online forandringer.Viser de nye test på noget tidspunkt prøven afspejles i dækning.
TestChecker give alle de prøver effektivitet baseret på dens forvaltning.Brugere kan reducere dem, der anvendes til ikke-regressionstest test.
3,3 Optimering af testen
Det første skridt i testfasen, gennemførelsen af testen er funktionel (sorte boks) afprøvning.Formålet er at kontrollere, om den ønskede funktion er opnået.I begyndelsen af test, vil dækning hurtigt stige.Generelt anstændigt testdækning på 70%.Men for at forbedre dette forhold er meget vanskeligt.Hovedsagelig på grund af testen prøvesag, der dækker samme vej.På dette tidspunkt, skal du foretage nogle ændringer i teststrategi.Gennemførelsen af strukturelle (hvid boks) test, dvs ikke udføres for at opdage den logiske sti, definition af nye test cases, der omfatter disse stier.
I forbindelse med gennemførelsen af testperioden, hvor teststrategi ændringer, omfattende registrering af de vigtigste faktorer i brugen af TestChecker at forbedre effektiviteten.Anvendes i forbindelse med revisionen vil TestChecker kan hjælpe brugerne til at analysere uafprøvede kode.
Brugere kan vise koden af interesse, og ikke omfattet af gennemførelsen af stien til den observerede relaterede oplysninger.Information grafik (kontrol flow graf) og tekst (pseudo-kode og kildefiler) i en form, og navigation i mellemtiden etableret foreningen.
TestChecker erklærede den nye test management system til at producere de relevante dokumenter, brugerdefinerede boot kommandoer, og automatisk udførelse.
4 LOGISCOPE til vedligeholdelsesfasen
Udbredt forståelse af ansøgningen systemvedligeholdelse og udvikling udgifterne er næsten lige.Erfaringen har vist, at 50% af den software vedligeholdelse af tid i strukturen, logik og forståelse for at køre.
LOGISCOPE kan reducere systemets forståelse af den ukendte nødvendige tid.
Revision led i anvendelsen form af et dokument (forholdet mellem dele af dokumenter) og kalder graf af formen (forholdet mellem funktioner og procedurer) visualisering.
Den logiske opbygning af funktionen til at styre strømmen grafen vises.Valgt på kontrol flow grafen knude, kan du få den tilsvarende kode.
Line analyse, at navigationen mellem de forskellige niveauer at fremme forståelsen af helheden.
5 om støtte fra indlejrede rummet
LOGISCOPE støtte for en række testmetoder.Især inden for indlejret software support.
Er velkendt, at test af indlejret system software er det sværeste.Fordi dens udvikling er cross-kompileret måde.På målet maskine (Target), og ikke har den ekstra plads rekord test information.Skal afprøves i real-time information via netværket kabel / seriel port nåede værten (Host) på, og real-time online display.Derfor kildekoden instrumentering og indsamling af oplysninger om målet maskinen og returnere nøglen til et problem.
LOGISCOPE en god løsning på disse teknologier, en leder i den integrerede field test værktøjer.Det understøtter en bred vifte af real-time operativsystem (RTOS) om anvendelse testning, testningen støtter også idéen i systemet.Dens arbejdsmetode er som følger:
Logiscope giver VxWorks, forpligtelse til offentlig tjeneste, VRTX real-time operativsystem, testen biblioteket.
6 om luftfart / Aerospace / forsvar / support af feltet af kernekraftværker
I luftfartssektoren / flyindustrien er sikkerhed det mest kritiske spørgsmål.Derfor er den europæiske og amerikanske luftfart / rumfart producenter og brugere i fællesskab udviklet RTCA/DO-178B [5].LOGISCOPE om "Anmeldelser og Analyse af Source Code" og "Strukturelle Dækning Analysis" software udviklet til, at RTCA/DO-178B standard A, B, C tre system-niveau.
LOGISCOPE er den første til at give MC / DC (ændret Tilstand / afgørelse Dækning) testværktøj.
Verilog SCADE er et andet produkt virksomheden støtter fuldt RTCA/DO-178B, IEC1508 [6], IEC880 [7] værktøj.SCADE og LOGISCOPE konfigureret produktionslinie til at sikre, at luftfart / rumfart sikkerhedskritiske systemsoftware sikkerhed og pålidelighed.
7. Software dokumentation og automatisk generering af test dokumentation
Logiscope giver automatisk dokumentation generation værktøj.Brugere kan gennemgå resultaterne af koden og dynamisk test af den enkelte situation i real tid at generere de dokumenter, som en trofast referat af sagen kode, og dynamisk testresultater.Dokument formatet kan tilpasses i henhold til brugernes behov, såsom GJB-438A [8].Derfor:
1) for at undgå uoverensstemmelser i koden og dokumentation;
2) testresultater og testrapport for at undgå uoverensstemmelser;
3) at reducere udviklere og testere skrive dokumentet arbejde.
8 Oversigt
LOGISCOPE brug på kortest mulig tid, forbedre kvaliteten og effektiviteten i blød.
LOGISCOPE i udviklingsfasen, kan søge finde potentielle fejl.
I koden undersøgelsesfase, at LOGISCOPE positionering fejl har 80% af programmets moduler.
Ikke teste koden på positionering, LOGISCOPE hjælpe med at finde skjulte fejl i koden er ikke testet.
Projektledere og kvalitet ingeniører til regelmæssigt at kontrollere med LOGISCOPE kvaliteten af softwaren.
Anvendes på hvert trin LOGISCOPE, forbedre praksis for software engineering, skriver uddannelse programmører god kode og test aktiviteter for at sikre, at systemet let at vedligeholde, reducerer risikoen.
I et kontraktforhold, kan kontrahenten bruge LOGISCOPE defineret kvalitetsniveau og gennemførelse af accept test.Cheng Zhifang kan LOGISCOPE demonstrere kvaliteten af deres software.
LOGISCOPE for ISO/IEC9126 definerede "Kvalitetsegenskaber";
LOGISCOPE til ISO-9001 [9] er der fastsat krav (test godkendelseskriterier og qulity poster);
LOGISCOPE giver udviklere med SEI / CMM [10] på niveau 2 (Repetérbart) følger den nødvendige software kvalitetskrav for den centrale praksis og fremme udviklingen organisationen så hurtigt som muligt SEI / SMM af de tre.