[Abstract] Dette notatet diskuterer programvaren kvalitetskrav, på bakgrunn av dette, drøfter artikkelen LOGISCOPE programvareutvikling kvalitetsarbeidet.Hvordan de ulike stadier i utvikling av programvare ved hjelp av disse verktøyene for å sikre at utviklingen av programvare pålitelighet og vedlikehold.Rasjonell bruk av LOGISCOPE vil hjelpe utviklingsteamet gjennom ISO9001 sertifisering, men også styrke utviklingen laget for å lette CMM nivå.SCADE Logiscope og design verktøy vil bli brukt i kombinasjon for å gjøre programvaren møte RTCA/DO-178B, IEC1508, IEC880, og GJB-2786 sikkerhets - kritiske systemer programvare kvalitetskrav.
En. Software kvalitetskrav
Software, en stor viktig del av systemet; innebygd programvare, refererer til programvaren som en del av systemet innebygd i systemet, som en del av systemet ved hjelp av programvare som de mest kritiske kravet er sikkerhet og pålitelighet.Spesielt, spesielt på det militære området.
Derfor må vi bruke effektive metoder og verktøy for å støtte og møte den innebygde programvareutvikling, software testing og evaluering, og andre enheter for å sikre at de utfører kvalitetssikring av programvare aktiviteter.Det er, har de riktige verktøy for å støtte utviklere for å sikre på kortest mulig tid, med minst kostnader, til utvikling av høy kvalitet programvare møte kundenes behov, samtidig som vedlikeholdskostnadene reduseres etter produkt levering.
Statistikk om selve prosjektet, vil du finne i de ulike stadier av funn og endre kostnadene ved en feil er forskjellig, viser følgende tabell de spesifikke data [1].
Programvareutvikling fase
Coding Fase
Testing
Vedlikehold Fase
Kostnadene for oppdagelse og endre feilen
1 ganger
4 ganger
16 ganger
På den annen side, viser statistikken at et prosjekt, er 80% av feil ofte forårsaket av den 20% av programmets.Derfor, å hvor effektivt gjenkjenne og identifisere de 20% av delene er svært viktig.
Erfaring forteller oss også at feilen mange prosedyrer, dets struktur, algoritme, program stil er ofte svært komplekst.
Tabellen nedenfor er i forskjellige stadier av programvare utviklingsaktiviteter (evaluering og testing) fant at ved feil [1]:
Feil funnet aktiviteter
1000 linjer per antall feil funnet
SRR
2.5
Design Review
5.0
Code gjennomgang
10.0
Integrasjon Testing
3.0
Acceptance Test
2.0
Software produkter med andre industriprodukter, avhenger kvaliteten på programvare utviklingsprosess for kvalitetskontroll.For å forbedre kvaliteten på en god programvare, må kontrolleres i alle ledd.
LOGISCOPE er et sett med verktøy.Den går gjennom programvareutvikling, code review, enhet / integrasjon testing, system testing, og programvare vedlikehold fase.
LOGISCOPE er kildekoden for arbeidet.LOGISCOPE for koding, testing og vedlikehold.Derfor er LOGISCOPE fokus å hjelpe code review (Review) og dynamisk dekning test (Testing).
2 LOGISCOPE for utbyggingsfasen
2.1 Definisjonen av kvalitet modell
Oppmerksomhet til kvaliteten på programvareutvikling selskaper, bør programmerere programmering regler defineres [2] og kvalitetsvurdering modell.Utviklet av selskapet for å sikre stabilitet i kildekoden, enkelt vedlikehold, høy pålitelighet og portabilitet.
RuleChecker 50 forhåndsdefinerte regler for programmering:
* Navn på konvensjonen (for eksempel: lokale variabler med små bokstaver, etc.);
* Said konvensjonen (for eksempel: undervisning per linje);
* Restriksjoner (eksempel: kan ikke bruke GOTO uttalelser kan ikke endres i loopen counter, etc.);
Brukerne kan velge fra disse reglene, kan du også bruke Tcl, scripting og programmeringsspråk for å definere nye regler.
Det gir også for sikkerheten til 50 - kritiske systemer programmering regler.
Revisjonen for å ISO9126 [3]-modellen som grunnlag for kvalitetsevaluering modellen.Kvalitetsvurdering modellen beskriver fra Halstend, McCabe's måle kvaliteten på vitenskap og metode Verilog i innføringen av kvaliteten faktorene (Maintainability gjenbruksverdien, etc.) og kvalitetskriterier (testbarhet, lesbarhet, etc.).
Prosjektleder eller kan være basert på kriterier om kvalitetsledelse, søknad livssyklus, kontrakt krav, etc., valg og innføring av prosjektet krav til kvaliteten på modellene.
2.2 verifisering, gjennomgå og forbedre koden
RuleChecker med reglene i den valgte kilden bekreftelsen.Programmering regler som ikke oppfyller all koden, og gjorde kildekoden til å forbedre tolkningen og anbefalinger.RulrChecker gjennom en tekst editor til å få direkte tilgang til kildekoden og behovet for å korrigere posisjonen.
Tilsyn vil være å vurdere kvaliteten på programvare modellen og sammenlignet grafisk nivået av programvare kvalitet, derfor kan kvaliteten på personalet fokus på behovet for å endre koden delen.Måle kvaliteten på modellen elementer og å forklare inkonsekvenser og foreslå korrigerende metoder.
En detaljert analyse av software kvalitet, kan revisjon være et utvalg av grafisk representasjon:
* Søknaden systemarkitektur - ring Grafen viser forholdet mellom prosess og funksjon.Utformingen anmeldelsen søknaden;
* Hver prosess og funksjon av den logiske strukturen - kontrollflyt diagram viser logiske banen algoritmen.Med en grafisk fremstilling av kompleksiteten i evalueringen funksjon;
* Konsistens og kvalitet av modellen - Kiviat diagram og sektordiagram slik at valgt kvalitetsnivå og konsistens mellom referansen er mer visuelle.
3 LOGISCOPE for testing
3.1 Definisjonen av testing kriterier
I programvaren testfasen, det viktigste er å sikre at all kode stier har blitt fullstendig dekket [4,5].Bare de, fullt testet programvaren er pålitelig.Spesielt høy pålitelighet programvare.
For å sikre gyldigheten av testen må defineres objektivt målbare kriterier og strategier for å bestemme når man skal avslutte testfasen.
LOGISCOPE anbefalt for instruksjon (IB), den logiske banen (DDP) og samtalen banen (PPP) i dekning test.I tillegg til sikkerheten - kritiske programvare gir også MC / DC dekning testing [5].
3.2 Gyldigheten av testen
TestChecker generere informasjon for hver test og kumulative test dekning informasjon.Dekning ratio histogramdisplay og test drift under sanntid endringer.Viser nye testen når som helst testen gjenspeiles i dekning.
TestChecker at alle tester effektivitet basert på forvaltningen.Brukerne kan redusere disse brukes til ikke-regresjonstesting test.
3.3 Optimalisering av testen
Det første trinnet i testfasen, er gjennomføringen av testen funksjonelle (black box) testing.Målet er å undersøke om ønsket funksjon er oppnådd.Tidlig i testing, vil dekningen raskt øke.Vanligvis anstendig test dekning på 70%.Men for å forbedre dette forholdet er svært vanskelig.Hovedsakelig på grunn av test test dekker samme bane.På dette tidspunktet, må du gjøre noen endringer på prøve strategien.Implementering av strukturell (hvit boks) testing, dvs. ikke gjennomført for å oppdage logiske banen, definisjonen av nye test tilfeller dekker disse stiene.
I gjennomføringen av testperioden, da testing strategi endringer, omfattende registrering av viktige faktorer i bruk av TestChecker å forbedre effektiviteten.Brukes i forbindelse med revisjon vil TestChecker kan hjelpe brukerne til å analysere utestet kode.
Brukere kan vise koden av interesse, og ikke omfattes av gjennomføringen av banen av den observerte relatert informasjon.Informasjon grafikk (kontrollflyt graf) og tekst (pseudo-kode og kildekode-filer) i en form, og navigasjon i mellomtiden etablerte foreningen.
TestChecker erklærte den nye testen styringssystem for å produsere relevante dokumenter, egendefinerte boot kommandoer, og automatisk utførelse.
4 LOGISCOPE for vedlikeholdsfasen
Utbredt forståelse av søknaden systemet vedlikehold og utviklingskostnader er nesten like.Erfaring har vist at 50% av programvaren vedlikehold av tid i struktur, logikk og forståelse av drift.
LOGISCOPE kan sterkt redusere systemets forståelse av ukjente tiden som kreves.
Tilsyn rammen av søknadsskjema for et dokument (forholdet mellom deler av dokumenter) og kaller graf på formen (forholdet mellom funksjoner og prosedyrer) visualisering.
Den logiske strukturen i funksjonen til å styre strømmen grafen vises.Valgt på kontrollflyt grafen node, kan du få den tilsvarende koden.
Line analyse, til navigering mellom de ulike nivåene fremme forståelse av helheten.
5 på støtte fra den innebygde plass
LOGISCOPE støtter en rekke testmetoder.Spesielt innen embedded software support.
Er godt kjent at testing av innebygde system programvare er den vanskeligste.Fordi utviklingen er kryss-kompilert måte.På målmaskinen (Target), og ikke har den ekstra plassen posten test informasjon.Må testes i real-time informasjon gjennom nettverkskabelen / seriell port nådd verten (Host) på, og real-time online display.Derfor kildekoden instrumentering og innsamling av informasjon på målmaskinen, og gå tilbake nøkkelen til et problem.
LOGISCOPE en god løsning på disse teknologiene, en leder i det innebygde feltet testverktøy.Den støtter en rekke real-time operativsystem (RTOS) på søknaden test, testen støtter også logikken i systemet.Dens arbeidsmetode er som følger:
Logiscope gir VxWorks, pSOS, VRTX sanntids operativsystem, testen biblioteket.
6 på luftfart / romfart / forsvar / support av feltet av kjernekraftverk
I luftfarten / romfartsindustrien, er sikkerheten det mest kritiske problemet.Derfor, den europeiske og amerikanske luftfart / romfart produsenter og brukere i fellesskap utviklet RTCA/DO-178B [5].LOGISCOPE på "Anmeldelser og analyse av Source Code" og "Strukturelle dekning Analysis" programvare som utvikles for å aktivere RTCA/DO-178B standard A, B, tre C systemnivå.
LOGISCOPE er den første til å gi MC / DC (Modifisert Tilstand / vedtak Dekning) testverktøy.
Verilog SCADE er et annet produkt selskapet har full støtte RTCA/DO-178B, IEC1508 [6], IEC880 [7] verktøyet.SCADE og LOGISCOPE konfigurert produksjonslinjen for å sikre at luftfarten / romfart sikkerhetskritisk system software sikkerhet og pålitelighet.
7. Software dokumentasjon og automatisk generering av test dokumentasjon
Logiscope gir automatisk generering av dokumentasjon verktøyet.Brukerne kan se gjennom resultatene av koden og dynamisk testing krav om situasjonen i sanntid for å generere dokumenter som en trofast rekord av saken koden, og dynamisk test resultater.Dokumentformat kan skreddersys etter brukernes behov, for eksempel, GJB-438A [8].Derfor:
1) å unngå uoverensstemmelser i koden og dokumentasjon;
2) testresultater og testrapport for å unngå uoverensstemmelser;
3) å redusere utviklere og testere skrive dokumentet arbeidet.
8 Sammendrag
LOGISCOPE bruk på kortest mulig tid, forbedre kvaliteten og effektiviteten av myke.
LOGISCOPE i utviklingsstadiet, kan de søke lete etter mulige feil.
I koden gjennomgangen, LOGISCOPE posisjonering feil som har 80% av programmet moduler.
Ikke teste koden på posisjonering, LOGISCOPE bidra til å finne skjulte feil i koden er ikke testet.
Prosjektledere og kvalitet ingeniører til å sjekke jevnlig med LOGISCOPE kvaliteten på programvaren.
Brukt på hvert trinn LOGISCOPE, forbedre praksisen med software engineering, opplæring programmerere skrive god kode og test aktiviteter for å sikre at systemet lett å vedlikeholde, redusere risiko.
I et kontraktsforhold, kan entreprenøren bruke LOGISCOPE definert kvalitet nivåer og gjennomføring av aksept testing.Cheng Zhifang kan LOGISCOPE demonstrere kvaliteten på programvaren deres.
LOGISCOPE for ISO/IEC9126 definerte "Quality Kjennetegn";
LOGISCOPE for ISO-9001 [9] gi kravene (test akseptkriterier og qulity poster);
LOGISCOPE gir utviklere SEI / CMM [10] på nivå 2 (Gjentagbar) følger den nødvendige programvaren kvalitetskrav av de viktigste praksis, og fremme utvikling organisasjonen så raskt som mulig SEI / SMM av de tre.