[Résumé] Le présent document décrit les exigences qualité des logiciels, sur cette base, l'article décrit le logiciel de développement LOGISCOPE assurance de la qualité du travail.Comment les différentes étapes de développement de logiciels utilisant ces outils pour s'assurer que le développement de la fiabilité et la maintenabilité du logiciel.L'utilisation rationnelle de LOGISCOPE aidera l'équipe de développement à travers la certification ISO9001, mais aussi de renforcer l'équipe de développement afin de faciliter les niveaux CMM.SCADE Logiscope outils de conception et sera utilisé en combinaison pour rendre le logiciel répondre aux IEC880 RTCA/DO-178B, IEC1508, et GJB-2786 de sécurité - exigences critiques des systèmes de qualité des logiciels.
1. Exigences de qualité du logiciel
Software, une grande partie importante du système, des logiciels embarqués, désigne le logiciel dans le cadre du système intégré dans le système, dans le cadre du système en utilisant un logiciel que l'exigence la plus importante est la sécurité et la fiabilité.En particulier, en particulier dans le domaine militaire.
Par conséquent, nous devons utiliser des méthodes efficaces et des outils logiciels à soutenir et à répondre au développement de logiciels embarqués, tests de logiciels et d'évaluation, et d'autres unités pour s'assurer de mener des activités d'assurance qualité logicielle.C'est, disposent des outils logiciels appropriés pour soutenir les développeurs afin d'assurer dans les plus brefs délais, à un moindre coût, le développement de logiciels de haute qualité pour répondre aux besoins des clients, tout en réduisant les coûts de maintenance après la livraison du produit.
Statistiques sur le projet actuel, vous trouverez dans les différentes phases de découverte et de modifier le coût d'une erreur est différent, le tableau suivant montre les données spécifiques [1].
phase de développement logiciel
Phase de codage
Test
La phase d'entretien
Les coûts de découverte et de changement de l'erreur
1 fois
4 fois
16 fois
D'autre part, les statistiques montrent qu'un projet, 80% des erreurs sont souvent causées par les 20% de la programme.Par conséquent, la façon de reconnaître et d'identifier efficacement les 20% des pièces est très important.
L'expérience nous apprend aussi que les procédures d'erreur nombreuses, sa structure, l'algorithme, le style de programme est souvent très complexe.
Le tableau suivant est à divers stades des activités de développement logiciel (évaluation et de test) ont constaté que les cas d'erreur [1]:
Erreurs détectées activités
1000 lignes par nombre d'erreurs trouvées
SRR
2.5
Design Review
5,0
révision du Code
10.0
Test d'intégration
3.0
Acceptance Test
2.0
Les produits logiciels avec d'autres produits industriels, la qualité dépend du processus de développement de logiciels pour le contrôle de qualité.Pour améliorer la qualité d'un bon logiciel, doivent être contrôlés à tous les stades.
LOGISCOPE est un ensemble d'outils.Il fonctionne grâce à l'élaboration de logiciels, revue de code, tests unitaires d'intégration /, l'essai du système, et la phase de maintenance de logiciels.
LOGISCOPE est le code source pour le travail.LOGISCOPE pour le codage, les tests et la maintenance.Par conséquent, l'accent LOGISCOPE est d'aider l'examen du code (révision) et la couverture des tests dynamiques (essais).
2 LOGISCOPE pour la phase de développement
2.1 La définition du modèle de qualité
Attention à la qualité de sociétés de développement logiciel, les programmeurs règles de programmation doivent être définis modèle d'évaluation [2] et de la qualité.Développé par la société pour assurer la stabilité du code source, entretien facile, une haute fiabilité et la portabilité.
RuleChecker 50 règles prédéfinies de la programmation:
* Nom de la convention (tels que: les variables locales en minuscules, etc);
* Dit que la Convention (tels que: l'instruction par ligne);
* Restrictions (telles que: ne peut pas utiliser GOTO déclarations ne peuvent pas être modifiés dans le compteur de boucle, etc);
Les utilisateurs peuvent choisir de ces règles, vous pouvez également utiliser Tcl, les scripts et les langages de programmation à définir de nouvelles règles.
Il prévoit également la sécurité de 50 - critique règles des systèmes de programmation.
Audit à ISO9126 [3] modèle comme base pour le modèle d'évaluation de la qualité.modèle d'évaluation de la qualité décrit de Halstend, la méthodologie de mesure McCabe Verilog et la qualité de la méthodologie, l'introduction des facteurs de qualité (maintenabilité, de réutilisabilité, etc) et des critères de qualité (la testabilité, la lisibilité, etc.)
Chef de projet ou peut être fondée sur des critères de gestion de la qualité, le cycle de vie des applications, les exigences du contrat, etc, la sélection et l'adoption des exigences du projet pour la qualité des modèles.
2,2 de vérification, d'examen et d'améliorer le code
RuleChecker avec les règles du code de vérification de la source sélectionnée.Programmation des règles qui ne répondent pas tout le code, et faites le code source pour améliorer l'interprétation et des recommandations.RulrChecker par un éditeur de texte pour accéder directement au code source et de la nécessité de corriger la position.
Vérification sera d'évaluer la qualité des logiciels et des exigences du modèle par rapport graphiquement le niveau de qualité des logiciels, par conséquent, la qualité du personnel peuvent se concentrer sur la nécessité de modifier la section de code.Mesurer la qualité des éléments de modèle et d'expliquer les incohérences et de proposer des méthodes correctives.
Une analyse détaillée de la qualité du logiciel, la vérification peut être une variété de représentation graphique:
* L'architecture du système d'application - graphe d'appel montre la relation entre le processus et la fonction.La demande de révision de conception;
* Chaque processus et la fonction de la structure logique - diagramme de flux de contrôle représente l'algorithme de chemin d'accès logique.Avec une représentation graphique de la complexité de la fonction d'évaluation;
* La cohérence et la qualité du modèle - Schéma Kiviat et graphique de sorte que le niveau de qualité choisi et la cohérence entre la référence est plus visuel.
3 LOGISCOPE pour les essais
3.1 La définition des critères de vérification
Dans la phase de test de logiciel, le plus important est de s'assurer que tous les chemins de code ont été entièrement couverts [4,5].Seuls ceux-ci, entièrement testé le logiciel est fiable.Surtout des logiciels de haute fiabilité.
Pour assurer la validité de l'essai doit être définie de manière objective les critères quantifiables et des stratégies pour déterminer quand mettre fin à la phase de test.
LOGISCOPE recommandé pour cet enseignement (IB), le chemin d'accès logique (DDP) et le chemin d'appel (PPP) de la couverture des tests.En plus de la sécurité - logiciels critiques, fournit également des MC / DC couverture de test [5].
3.2 La validité de l'essai
TestChecker générer des informations pour chaque essai et cumulative des informations de couverture de test.Couverture affichage histogramme rapport et vérifier le fonctionnement en temps réel en vertu de modifications en ligne.Affiche le nouveau test à tout moment le test montre la couverture.
TestChecker permettre à tous l'efficacité des tests basés sur sa gestion.Les utilisateurs peuvent réduire ceux utilisés pour l'essai de tests de non régression.
3.3 Optimisation de l'essai
La première étape de la phase de test, la mise en œuvre du test fonctionnel (boîte noire) de test.L'objectif est de vérifier si la fonction souhaitée a été atteint.Dans les premiers tests, la couverture augmentera rapidement.En général la couverture de test décent de 70%.Cependant, pour améliorer ce ratio est très difficile.Principalement en raison du cas test test couvrant le même chemin.À ce moment, vous devez apporter quelques modifications à la stratégie de test.La mise en œuvre des réformes structurelles (boîte blanche) l'essai, c'est-à-pas effectué pour détecter le chemin logique, la définition de nouveaux cas de test couvrant ces chemins.
Dans la mise en œuvre de la période d'essai, lorsque les changements stratégie de test, la détection globale des facteurs clés dans l'utilisation des TestChecker pour améliorer l'efficacité.Utilisé en conjonction avec l'audit TestChecker peut aider les utilisateurs à analyser du code non testé.
Les utilisateurs peuvent afficher le code d'intérêt, et non couverts par la mise en œuvre de la trajectoire de l'information observée connexes.graphiques de l'information (graphe de flot de contrôle) et le texte (pseudo-code et les fichiers source) dans un formulaire, et la navigation dans l'intervalle établi association.
TestChecker a déclaré le nouveau système de test de gestion pour produire les documents pertinents, les commandes de démarrage personnalisée, et l'exécution automatique.
4 LOGISCOPE pour la phase d'entretien
compréhension généralisée des coûts de maintenance du système et le développement d'applications sont presque égales.L'expérience a montré que 50% de la maintenance du logiciel de temps dans la structure, la logique et la compréhension de la course.
LOGISCOPE peut réduire considérablement la compréhension du système de l'époque inconnue nécessaire.
Cadre de vérification du formulaire de demande d'un document (la relation entre les parties de documents) et d'appeler le graphique de la forme (la relation entre les fonctions et procédures) de visualisation.
La structure logique de la fonction de contrôler le graphe de flot affichée.Sélection sur le nœud de graphe de contrôle de flux, vous pouvez obtenir le code correspondant.
L'analyse des lignes, la navigation entre les différents niveaux pour promouvoir la compréhension de l'ensemble.
5 sur le support de l'espace intégré
LOGISCOPE soutenir une variété de méthodes d'essai.Surtout dans le domaine de l'aide du logiciel embarqué.
Est bien connu que les tests du logiciel système embarqué est le plus difficile.Parce que son développement est contre-compilées de manière.Sur la machine cible (Target), et ne pas avoir les informations d'espace disque d'essai.Doivent être testés dans l'information en temps réel via le câble réseau / port série atteint l'hôte (Host) sur, et affichage en temps réel en ligne.Par conséquent, l'instrumentation du code source et collecte d'informations sur la machine cible et de retourner sur la touche à un problème.
LOGISCOPE une bonne solution à ces technologies, un chef de file dans les outils intégrés essai sur le terrain.Il supporte une variété de système d'exploitation temps réel (RTOS) sur le test d'application, le test a également le soutien de la logique du système.Sa méthode de travail est la suivante:
Logiscope fournit VxWorks, pSOS, VRTX système d'exploitation temps réel, la bibliothèque de test.
6 sur l'aviation et aérospatiale / défense / support du champ des centrales nucléaires
Dans l'industrie aérospatiale de l'aviation /, la sécurité est la question la plus critique.Par conséquent, l'aéronautique européenne et les fabricants américains de l'aéronautique / utilisateurs et développé conjointement RTCA/DO-178B [5].LOGISCOPE sur "Commentaires et analyse de la Source Code» et «Analyse de la couverture structurels" des logiciels développés pour permettre RTCA/DO-178B standard A, B, C système à trois niveaux.
LOGISCOPE est la première à fournir des MC / DC (Modified Condition / Decision Coverage) outil de test.
VERILOG SCADE est un autre produit de la société soutient pleinement RTCA/DO-178B, IEC1508 [6], IEC880 [7] outil.SCADE et LOGISCOPE configuré la ligne de production afin d'assurer que l'aviation et de l'aérospatiale de sécurité critiques pour la sécurité et la fiabilité du logiciel système.
7. Logiciel de génération automatique de documentation et de la documentation des tests
Logiscope fournit automatique de l'outil de génération de documentation.Les utilisateurs peuvent examiner les résultats du code et les exigences des essais dynamiques de la situation en temps réel pour générer les documents d'un dossier fidèles du code de cas, et les résultats des essais dynamiques.Format du document peut être personnalisé selon les besoins des utilisateurs, tels que, GJB-438A [8].Par conséquent:
1) d'éviter les incohérences dans le code et la documentation;
2) les résultats des tests et de rapport d'essai d'éviter les incohérences;
3) pour réduire les développeurs et les testeurs écrire l'œuvre document.
8 Résumé
utilisation LOGISCOPE dans les plus brefs délais, améliorer la qualité et l'efficacité de soft.
LOGISCOPE en phase de développement, la recherche peut comparer les erreurs potentielles.
Dans le stade de l'examen du code, les erreurs de positionnement LOGISCOPE qui ont 80% des modules du programme.
Pas tester le code sur le positionnement, aider à trouver des failles LOGISCOPE caché dans le code n'est pas testé.
Les chefs de projet et des ingénieurs de qualité pour vérifier régulièrement avec LOGISCOPE la qualité des logiciels.
Employée à chaque LOGISCOPE stade, d'améliorer la pratique du génie logiciel, les programmeurs de formation écrire du bon code et les activités de test pour s'assurer que le système facile à maintenir, de réduire les risques.
Dans une relation contractuelle, l'entrepreneur peut utiliser LOGISCOPE défini des niveaux de qualité et de mise en œuvre de tests d'acceptation.Cheng Zhifang peut LOGISCOPE démontrer la qualité de leurs logiciels.
LOGISCOPE pour ISO/IEC9126 défini "Caractéristiques de la qualité";
LOGISCOPE pour l'ISO-9001 [9] de fournir les exigences (critères d'acceptation d'essai et de qulity);
LOGISCOPE fournit aux développeurs SEI / CMM [10] au niveau 2 (répétable) respecter les exigences nécessaires de qualité logicielle des pratiques clés et à promouvoir l'organisation de développement aussi rapidement que possible SEI / SMM des trois.