An analysis of defect densities found during software inspections

Software inspection is a technical evaluation process for finding and removing defects in requirements, design, code, and tests. Detailed data was collected during the first three years of experience at JPL on 203 inspections. Statistics are discussed for this set of inspections. Included, on a per inspection basis, are averages of: staff time expended, pages covered, major defects found, minor defects found, and inspection team size. Analysis of variance showed a significantly higher density of defects during requirements inspections. It was also observed, that the defect densities found decreased exponentially as the work products approached the coding phase. Increasing the pace of the inspection meeting decreased the density of defects found. This relationship was observed to hold for both major and minor defect densities, although it was more pronounced for minor defects. Guidelines are provided for conducting successful software inspections based upon three years of JPL experience

Quality assurance program guidelines for application to and use by manufacturers of rail/guideway vehicles, buses, automatic train control systems, and their major subsystems

Guidelines are presented for a quality assurance system to be implemented by the manufacturer in support of designing, developing, fabricating, assembling, inspecting, testing, handling, and delivery of equipment being procured for use in public urban mass transit systems. The guidelines apply to this equipment when being procured for: (1) use in revenue service; (2) demonstration of systems that will be revenue producing or used by the public; (3) use as a prototype for follow-on operational/revenue producing equipment procurements; and (4) qualification tests

G4.5 Pamam Dendrimer-Risperidone: Biodistribution and Behavioral Changes in In Vivo Model

Dendritic polymers are considered as emerging and outstanding carriers as modern medicinal systems due to their derivatisable branched architecture and possibility to modify them in numerous ways. Here, G4.5 PAMAM dendrimers were obtained as carriers of the antipsychotic drug risperidone. Despite their extensive applicability in the pharmaceutical field, the use of dendrimers as carriers in biological systems is constrained due to their inherent associated toxicity. The biocompatibility of dendrimers and dendrimer-risperidone complexes was evaluated in vivo for biological performance. To this end, the pharmacokinetics and biodistribution after oral treatment of free risperidone and dendrimer-risperidone complexes were studied in healthy mice. Also, the behavioral changes such as locomotion, aggression, dominance in male and female mice were evaluated both after a single dose and after daily therapy for 8 days. Also, in vivo effects of risperidone and dendrimer-risperidone complexes on the locomotion of zebrafish larvae were explored. The data obtained suggest that the unmetabolized risperidone complexes increase the arrival to the brain after 90 minutes. On the other hand, behavioral studies showed an increase in the potency of the drug in animals treated with the complexesFil: Prieto, Maria Jimena. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Instituto Multidisciplinario de Biología Celular. Provincia de Buenos Aires. Gobernación. Comisión de Investigaciones Científicas. Instituto Multidisciplinario de Biología Celular. Universidad Nacional de La Plata. Instituto Multidisciplinario de Biología Celular; ArgentinaFil: del Rio Zabala, Nahuel Eduardo. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Instituto Multidisciplinario de Biología Celular. Provincia de Buenos Aires. Gobernación. Comisión de Investigaciones Científicas. Instituto Multidisciplinario de Biología Celular. Universidad Nacional de La Plata. Instituto Multidisciplinario de Biología Celular; ArgentinaFil: Marotta, Cristian Hernán. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Instituto Multidisciplinario de Biología Celular. Provincia de Buenos Aires. Gobernación. Comisión de Investigaciones Científicas. Instituto Multidisciplinario de Biología Celular. Universidad Nacional de La Plata. Instituto Multidisciplinario de Biología Celular; ArgentinaFil: Bichara, Darío Román. Fundación Instituto Leloir; ArgentinaFil: Simonetta, Sergio Hernan. Fundación Instituto Leloir; ArgentinaFil: Chiaramoni, Nadia Silvia. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Instituto Multidisciplinario de Biología Celular. Provincia de Buenos Aires. Gobernación. Comisión de Investigaciones Científicas. Instituto Multidisciplinario de Biología Celular. Universidad Nacional de La Plata. Instituto Multidisciplinario de Biología Celular; ArgentinaFil: Alonso, Silvia del Valle. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Instituto Multidisciplinario de Biología Celular. Provincia de Buenos Aires. Gobernación. Comisión de Investigaciones Científicas. Instituto Multidisciplinario de Biología Celular. Universidad Nacional de La Plata. Instituto Multidisciplinario de Biología Celular; Argentin

Validation and verification of expert systems

Validation and verification (V&V) are procedures used to evaluate system structure or behavior with respect to a set of requirements. Although expert systems are often developed as a series of prototypes without requirements, it is not possible to perform V&V on any system for which requirements have not been prepared. In addition, there are special problems associated with the evaluation of expert systems that do not arise in the evaluation of conventional systems, such as verification of the completeness and accuracy of the knowledge base. The criticality of most NASA missions make it important to be able to certify the performance of the expert systems used to support these mission. Recommendations for the most appropriate method for integrating V&V into the Expert System Development Methodology (ESDM) and suggestions for the most suitable approaches for each stage of ESDM development are presented

Transfer Learning-Based Crack Detection by Autonomous UAVs

Unmanned Aerial Vehicles (UAVs) have recently shown great performance collecting visual data through autonomous exploration and mapping in building inspection. Yet, the number of studies is limited considering the post processing of the data and its integration with autonomous UAVs. These will enable huge steps onward into full automation of building inspection. In this regard, this work presents a decision making tool for revisiting tasks in visual building inspection by autonomous UAVs. The tool is an implementation of fine-tuning a pretrained Convolutional Neural Network (CNN) for surface crack detection. It offers an optional mechanism for task planning of revisiting pinpoint locations during inspection. It is integrated to a quadrotor UAV system that can autonomously navigate in GPS-denied environments. The UAV is equipped with onboard sensors and computers for autonomous localization, mapping and motion planning. The integrated system is tested through simulations and real-world experiments. The results show that the system achieves crack detection and autonomous navigation in GPS-denied environments for building inspection

Implementation of Software Process Improvement Through TSPi in Very Small Enterprises

This article shows an experience in a very small enterprise related to improving software quality in terms of test and process productivity. A customized process from the current organizational process based on TSPi was defined and the team was trained on it. The pilot project had schedule and budget constraints. The process began by gathering historical data from previous projects in order to get a measurement repository. Then the project was launched and some metrics were collected. Finally, results were analyzed and the improvements verified