[Abstract] Detta paper diskuterar krav programvara kvalitet, på grundval av detta diskuterar artikeln LOGISCOPE mjukvaruutveckling arbete kvalitetssäkring.Hur de olika stegen i programvaruutveckling med hjälp av dessa verktyg för att säkerställa att utvecklingen av mjukvara tillförlitlighet och underhåll.Rationell användning av LOGISCOPE kommer att bidra till laget genom ISO9001 certifiering, men också att stärka utvecklingsteam för att underlätta CMM nivå.SCADE Logiscope och designverktyg kommer att användas i kombination för att göra programvaran uppfyller RTCA/DO-178B, IEC1508, IEC880 och GJB-2786 säkerhet - kritiska system programvara kvalitetskrav.
1. Software kvalitetskrav
Software, en stor viktig del av systemet, inbäddad programvara, refererar till den programvara som en del av systemet inbyggda i systemet, som en del av systemet med hjälp av programvara som de mest kritiska kravet är ett säkert och tillförlitligt.I synnerhet, särskilt på det militära området.
Därför måste vi använda effektiva metoder och verktyg programvara för att stödja och möta den inbyggda programvaran utveckling, testning och utvärdering, och andra enheter för att säkerställa att de bedriver programutveckling kvalitetssäkring.Det är, har rätt programvara för att stödja utvecklare, för att säkerställa kortast möjliga tid, med minsta kostnad, till utvecklingen av högkvalitativ programvara möta kundernas behov och samtidigt minska underhållskostnaderna efter leverans.
Statistik om själva projektet, kommer du att hitta i de olika stadierna av upptäckten och ändra kostnaden för ett misstag är olika, visar följande tabell de särskilda uppgifter [1].
Programvara utvecklingsfasen
Kodning fas
Provning
Underhållsfasen
Kostnaderna för upptäckt och ändra fel
1 gånger
4 gånger
16 gånger
Å andra sidan visar statistiken att ett projekt är 80% av fel orsakas ofta av 20% av programmets.Därför att hur effektivt känna igen och identifiera de 20% av de delar som är mycket viktigt.
Erfarenheten säger oss också att felet många förfaranden, dess struktur, algoritm, program stil är ofta mycket komplex.
Följande tabell är i olika stadier av verksamhet programvaruutveckling (utvärdering och testning) fann att det rör sig om fel [1]:
Fel hittades aktiviteter
1000 linjer per antalet upptäckta fel
SRR
2.5
Design Review
5.0
Kodgranskning
10.0
Integration Test
3.0
Acceptance Test
2.0
Programvara produkter med andra industriprodukter, är kvaliteten beroende utvecklingsprocessen för software för kvalitetskontroll.För att förbättra kvaliteten på ett bra program, skall kontrolleras på alla stadier.
LOGISCOPE är en uppsättning verktyg.Den löper genom mjukvaruutveckling, kodgranskning, enhet / integrationstest, systemtest och programvara underhållsfas.
LOGISCOPE är källkoden för arbetet.LOGISCOPE för kodning, testning och underhåll.Därför är LOGISCOPE fokus att hjälpa kodgranskning (Review) och dynamisk täckning test (Test).
2 LOGISCOPE för utvecklingsfasen
2,1 Den definition av kvalitet modell
Uppmärksamhet åt kvaliteten av företag mjukvaruutveckling, bör programmerare regler för planeringen definieras [2] och kvalitetsbedömning modell.Som företaget utvecklat för att säkerställa stabiliteten i källkoden, enkelt underhåll, hög tillförlitlighet och portabilitet.
RuleChecker 50 fördefinierade regler för programmering:
* Namn på konventionen (t.ex. lokala variabler med små bokstäver, etc.);
* Said konventionen (t.ex. undervisning per rad);
* Begränsningar (t.ex. kan inte använda hoppsatser kan inte ändras i slingan disken, etc.);
Användare kan välja från dessa regler, kan du också använda Tcl, scripting och programmering språk för att definiera nya regler.
Det ger också för säkerheten i 50 - kritiska system regler för programplanering.
Kontroll för att ISO9126 [3]-modellen som underlag för kvalitetsutvärdering modell.Kvalitetsbedömning Modellen beskriver från Halstend, McCabe's mäter kvaliteten på vetenskap och metodologi Verilog i inledningen av kvalitetsfaktorer (underhåll, återanvändning etc.) och kvalitetskriterier (testbarhet, läsbarhet, etc.).
Projektledare eller kan grundas på kriterier för kvalitetsstyrning, applikationens livscykel, kontrakt krav etc., välja ut och anta projekt Kvalitetskrav av modeller.
2,2 verifiering, översyn och förbättra koden
RuleChecker med reglerna för den valda källkod kontroll.Programmering regler som inte uppfyller samtliga av koden, och gjorde källkoden för att förbättra tolkningen och rekommendationer.RulrChecker genom en textredigerare för att direkt få tillgång till källkoden och behovet av att korrigera positionen.
Revisionen kommer att utvärdera kvaliteten på programvaran krav modellen och jämfört visas grafiskt i programvaror kvalitet, därför kan kvaliteten på personalen fokuserar behovet av att modifiera koden avsnittet.Mäta kvaliteten av modell element och att förklara inkonsekvenser och föreslå förbättringar.
En detaljerad analys av programvara kvalitet, kan revision finnas olika grafisk återgivning:
* Ansökan systemarkitektur - ring diagram visar förhållandet mellan process och funktion.Den Design Review;
* Varje process och funktion den logiska strukturen - kontrollera flödet Diagrammet visar den logiska vägen algoritm.Med en grafisk representation av komplexiteten i utvärderingen funktion;
* Konsekvens och kvalitet av modellen - Kiviat diagram och cirkeldiagram så att den valda kvalitetsnivån och konsekvens mellan referens är mer visuella.
3 LOGISCOPE för provning
3,1 Definitionen av testning kriterier
I programvaran testfasen, det viktigaste är att se till att all kod vägar helt har täckts [4,5].Endast de, fullt testad programvara är tillförlitlig.Speciellt hög tillförlitlighet programvara.
För att säkerställa resultatens giltighet skall fastställas objektivt kvantifierbara kriterier och strategier för att avgöra när du vill avsluta testfas.
LOGISCOPE rekommenderas för undervisning (IB), den logiska vägen (DDP) och samtalet stig (PPP) av täckningen testet.Förutom säkerheten - kritiska programvara ger också MC / DC täckning test [5].
3,2 giltighet testet
TestChecker fram information för varje test och kumulativa testtäckning information.Täckningsgraden exponeringsmätare och provdrift under realtid online förändringar.Visar det nya testet när som helst testet återspeglas i täckning.
TestChecker att alla de tester effektivitet bygger på dess ledning.Användare kan minska dessa används för icke-regressionstestning test.
3,3 Optimering av testet
Det första steget i testfasen, är genomförandet av testet funktionella (svart låda) testning.Syftet är att kontrollera om önskad funktion har uppnåtts.I tidiga tester, kommer täckning öka snabbt.Generellt anständig test täckning av 70%.Men för att förbättra detta förhållande är mycket svårt.Främst på grund av provet testfall täcker samma väg.Vid denna tid måste du göra några ändringar på prov strategin.Genomförandet av strukturella (vit box) testning, dvs som inte utförts för att upptäcka den logiska vägen, definitionen av nya testfall som täcker dessa banor.
Vid genomförandet av testperioden, då den teststrategi förändringar, omfattande upptäckt av nyckelfaktorerna i användningen av TestChecker att förbättra effektiviteten.Används tillsammans med revisionsutskottet kommer TestChecker kan hjälpa användarna att analysera oprövade kod.
Användare kan visa koden är av intresse och som inte omfattas av tillämpningen av vägen av den observerade relaterad information.Information grafik (kontroll flödeskurvan) och text (pseudo-kod och källfiler) i en form och navigering under tiden etablerade föreningen.
TestChecker förklarade det nya systemet testledning att inkomma med handlingar, anpassade kommandon boot och automatiskt utförande.
4 LOGISCOPE för underhållsfasen
Utbredd förståelse av ansökan systemunderhåll och utvecklingskostnaderna är nästan lika.Erfarenheten har visat att 50% av programvaran underhåll av tid i struktur, logik och förståelse för löpning.
LOGISCOPE kan kraftigt minska systemets förståelse av de nödvändiga okänd tid.
Revision ramen för tillämpningen form av ett dokument (förhållandet mellan delar av handlingar) och kallar grafen av form (förhållandet mellan funktioner och rutiner) visualisering.
Den logiska strukturen i funktionen för att styra flödet grafen visas.Valda om kontroll flödeskurvan nod, kan du få motsvarande kod.
Line analys, till navigering mellan de olika nivåerna främja förståelse av helheten.
5 om stöd för inbäddade rymden
LOGISCOPE stödja en mängd olika testmetoder.Speciellt inom området för inbyggd mjukvara stöd.
Är väl känt att testning av inbyggda system mjukvara är den svåraste.Eftersom dess utveckling är över sammanställs sätt.På maskinen (TARGET), och inte har det extra utrymmet information rekord test.Skall testas i realtid via nätverkskabel / seriell port nått värden (Host) på, och i realtid på nätet visas.Därför källkoden instrumentering och insamling av information på maskinen och återgå nyckeln till ett problem.
LOGISCOPE en bra lösning på denna teknik, en ledare i den inbäddade verktyg fälttest.Den stöder en mängd olika realtid operativsystem (RTOS) om tillämpning provning skall också stödja systemets logik.Dess arbetssätt är följande:
Logiscope ger VxWorks, allmän trafikplikt, VRTX realtid operativsystem, test-bibliotek.
6 på flyg / flyg / försvar / support av området av kärnkraftverk
I Aviation / flygindustrin är säkerheten den mest kritiska frågan.Därför kan de europeiska och amerikanska flyg / rymd tillverkare och användare utvecklas gemensamt RTCA/DO-178B [5].LOGISCOPE på "Recensioner och analys av källkod" och "strukturell täckning Analysis" programvara utvecklas för att möjliggöra RTCA/DO-178B standard A, B, C tre systemnivå.
LOGISCOPE är den första att ge MC / DC (Ändrad Skick / kodgrentäckning) testverktyg.
Verilog SCADE är en annan produkt företaget helt stöder RTCA/DO-178B, IEC1508 [6], IEC880 [7] verktyg.SCADE och LOGISCOPE konfigurerat produktionslinje att säkerställa att luftfarten / flyg säkerhetskritisk säkerhetssystem mjukvara och tillförlitlighet.
7. Programvarudokumentation och automatisk generering av testdokumentationen
Logiscope tillhandahåller automatisk verktyg dokumentation generation.Användare kan granska resultaten av koden och dynamisk provning av situationen i realtid för att generera dokument som en trogen dokumentationen i ärendet koden och dynamisk testresultat.Dokumentformat kan anpassas efter användarnas behov, till exempel, GJB-438A [8].Därför:
1) för att undvika inkonsekvenser i kod och dokumentation;
2) testresultat och provningsrapport att undvika inkonsekvenser,
3) att minska utvecklare och testare skriver dokumentet arbete.
8 Sammanfattning
LOGISCOPE användning på kortast möjliga tid, förbättra kvaliteten och effektiviteten i mjuk.
LOGISCOPE i utvecklingsstadiet kan söka leta efter potentiella fel.
I kodgranskning skede LOGISCOPE positionering fel som har 80% av programmoduler.
Inte testa koden på positioneringen, LOGISCOPE hjälpa till att hitta dolda fel i koden inte är testad.
Projektledare och ingenjörer kvalitet att regelbundet kontrollera med LOGISCOPE kvaliteten på programvaran.
Används vid varje stadium LOGISCOPE, förbättra praxis för programvaruteknik, utbildning programmerare skriva bra kod och test för att säkerställa att systemet är lätt att underhålla, minska riskerna.
I ett avtalsförhållande, kan entreprenören använda LOGISCOPE definierade kvalitetsnivåer och genomförande av acceptanstester.Cheng Zhifang kan LOGISCOPE påvisa kvaliteten av deras mjukvara.
LOGISCOPE för ISO/IEC9126 definierade "Kvalitet egenskaper";
LOGISCOPE för ISO-9001 [9] ska kraven (testa kriterier för godkännande och register kvalitet på samtliga);
LOGISCOPE ger utvecklare med SEI / CMM [10] på nivå 2 (Repeterbar) följer den föreskrivna krav programvara kvalitet av de viktigaste metoderna och främja utvecklingen organisationen så snabbt som möjligt SEI / SMM av de tre.