Optimizing the Testing Process in Module Testing – Functional Testing Interface

Today's business environment has become increasingly unexpected and fast changing because of the global competition. This new environment requires the companies to organize their control differently, e.g. by logistic process thinking. Logistic process thinking in software engineering applies the principles of production process to immaterial products. Processes must be optimized, so that every phase adds value to the customer, and the lead times can be cut shorter to meet the new customer requirements. The purpose of this thesis is to examine and optimize the testing processes of software engineering concentrating on module testing, functional testing and their interface. The concept of logistic process thinking is introduced through production process, value added model and process management. Also theory of testing based on literature is presented, concentrating on module testing and functional testing. The testing processes of the Case Company are presented together with the project models in which they are implemented. The real life practices in module testing and functional testing and their interface are examined through interviews. These practices are analyzed against the processes and the testing theory, through which ideas for optimizing the testing process are introduced. The project world of the Case Company is also introduced together with two example testing projects in different life cycle phases. The examples give a view of how much effort of the project is put in different types of testing.

Functional testing in TETRA system

Terrestrial Trunked Radio (TETRA) on moderni digitaalinen matkapuhelinjärjestelmän standardi, joka on suunniteltu täyttämään erityisesti viranomaisten vaativat tarpeet turvallisuuden ja luotettavuuden suhteen. Ohjelmiston testaus on tärkeä osa sen laadun takaamiseksi. Testaus on jaettu useisiin vaiheisiin ja se kattaa koko ohjelmiston elinkaaren: ohjelmiston kehittelystä alkaen asiakkaalle lähetettyyn valmiiseen tuotteeseen saakka. Toiminnallisuustestauksen suorittaa joko ohjelmiston suunnittelijat tai erillinen testausryhmä käyttäen Nokia TETRA-järjestelmän testauslaboratoriota. Testauksen tarkoituksena on varmistaa, että ohjelmisto, sen aliohjelmat ja ominaisuudet täyttävät niille annetut toiminnalliset ja laadulliset vaatimukset. Tämä diplomityö antaa yleiskuvan toiminnallisuustestausprosessista Nokia TETRA järjestelmän laboratoriossa. Se tarjoaa esimerkkitestitapauksen avulla kokonaiskuvan siitä, kuinka toiminnallisuustestausprosessi suoritetaan alusta loppuun.

Immunophenotyping and remodeling process in small airways of idiopathic interstitial pneumonias: functional and prognostic significance

Background and Aims: To test whether different degrees of immunologic and fibrotic airway remodeling processes occur in idiopathic interstitial pneumonias (IIPs), with impact on functional tests and survival, we studied the collagen/elastic system and immune cell density in the bronchiolar interstitium of lungs with the major types of IIPs. Materials and Methods: Histochemistry, immunohistochemistry and morphometric analysis were used to evaluate collagen/elastic fibers and immune cells in the bronchiolar interstitium of open lung biopsies of patients with cryptogenic organizing pneumonia [COP/organizing pneumonia (OP) = 10], acute interstitial pneumonia [AIP/diffuse alveolar damage (DAD) = 20], nonspecific interstitial pneumonia (NSIP/NSIP = 20) and idiopathic pulmonary fibrosis/usual interstitial pneumonia (UIP) = 20. Results: OP lungs presented a significant increase in collagenous/elastic fibers and in the total density of immune cells in the bronchiolar interstitium compared to controls, DAD, NSIP and UIP. We observed a significant increase in CD4, CD8 and CD20 lymphocytes, as well as in neutrophils, macrophages and plasma cells in OP. The increased amount of elastic fibers in the bronchiolar interstitium from OP lungs has a direct association with forced vital capacity (FVC) (r(s) = 0.99, P = 0.03). The most important survival predictor was CD20+ lymphocytes in the bronchiolar interstitium. In decreasing order, patients with UIP [Odds Ratio (OR) = 35.01], high forced expiratory volume in 1 s (FEV1)/FVC FVC (OR = 7.01), increased CD20+ lymphocytes (OR = 4.44) and collagenous/elastic fiber densities (OR = 2.03 and OR = 1.49, respectively) in the bronchiolar interstitium were those who had the greatest risk of death, followed by those with AIP, NSIP and COP. Conclusion: Different degrees of immunologic and fibroelastotic airway remodeling processes occur in the major types of IIPs with impact on physiological tests and survival.

Pulmonary function testing in quadriplegic subjects

Study design: Cross-sectional study. Objective: Pulmonary functional capacity in 23 Brazilian quadriplegic subjects (ASIA A), aged 30 (9.5) years, weight 66 (10.75) kg, height 176 (7) cm, was investigated at 42 ( 64) months postinjury. Setting: University Hospital-UNICAMP, Campinas, Brazil. Method: Subjects performed forced vital capacity ( FVC) and maximal voluntary ventilation (MVV) tests while seated in their standard wheelchairs. Forced Expired Volume after 1 s (FEV1) and FVC/FEV1 ratio were calculated from these tests. Values obtained were compared to three prediction equations from the literature that are used specifically for spinal cord subjects and include different variables in their formulae, such as age, gender, height, postinjury time and injury level. Data are expressed as median (interquartile interval). Differences between values were demonstrated by median confidence interval with significance level set at a 0.05. Results: Obtained data were statistically different from prediction equation results, with FVC 3.11 ( 0.81), 4.46 (0.28), 4.16 (0.33), 4.26 (0.42); FEV1 2.77 (1.03), 3.67 (0.21), 3.66 (0.30), 3.45 (0.39) and MVV 92 (27), 154.2 (11.9), 156.6 (14),157.3 (16.8), where the first value is obtained experimentally and the second, third and fourth values correspond to predicted values. The results obtained from spirometry test in this study differed significantly from the results obtained when prediction equations were used. Conclusion: The use of prediction equations developed to estimate pulmonary function in wheelchair users significantly overestimates pulmonary function of quadriplegic individuals with complete lesions (ASIA group A), in comparison to measured values.

A proposal for a repertoire of software testing methods

Nowadays software testing and quality assurance have a great value in software development process. Software testing does not mean a concrete discipline, it is the process of validation and verification that starts from the idea of future product and finishes at the end of product’s maintenance. The importance of software testing methods and tools that can be applied on different testing phases is highly stressed in industry. The initial objectives for this thesis were to provide a sufficient literature review on different testing phases and for each of the phases define the method that can be effectively used for improving software’s quality. Software testing phases, chosen for study are: unit testing, integration testing, functional testing, system testing, acceptance testing and usability testing. The research showed that there are many software testing methods that can be applied at different phases and in the most of the cases the choice of the method should be done depending on software type and its specification. In the thesis the problem, concerned to each of the phases was identified; the method that can help in eliminating this problem was suggested and particularly described.

Model-based testing of software systems : functionality and performance

Software is a key component in many of our devices and products that we use every day. Most customers demand not only that their devices should function as expected but also that the software should be of high quality, reliable, fault tolerant, efficient, etc. In short, it is not enough that a calculator gives the correct result of a calculation, we want the result instantly, in the right form, with minimal use of battery, etc. One of the key aspects for succeeding in today's industry is delivering high quality. In most software development projects, high-quality software is achieved by rigorous testing and good quality assurance practices. However, today, customers are asking for these high quality software products at an ever-increasing pace. This leaves the companies with less time for development. Software testing is an expensive activity, because it requires much manual work. Testing, debugging, and verification are estimated to consume 50 to 75 per cent of the total development cost of complex software projects. Further, the most expensive software defects are those which have to be fixed after the product is released. One of the main challenges in software development is reducing the associated cost and time of software testing without sacrificing the quality of the developed software. It is often not enough to only demonstrate that a piece of software is functioning correctly. Usually, many other aspects of the software, such as performance, security, scalability, usability, etc., need also to be verified. Testing these aspects of the software is traditionally referred to as nonfunctional testing. One of the major challenges with non-functional testing is that it is usually carried out at the end of the software development process when most of the functionality is implemented. This is due to the fact that non-functional aspects, such as performance or security, apply to the software as a whole. In this thesis, we study the use of model-based testing. We present approaches to automatically generate tests from behavioral models for solving some of these challenges. We show that model-based testing is not only applicable to functional testing but also to non-functional testing. In its simplest form, performance testing is performed by executing multiple test sequences at once while observing the software in terms of responsiveness and stability, rather than the output. The main contribution of the thesis is a coherent model-based testing approach for testing functional and performance related issues in software systems. We show how we go from system models, expressed in the Unified Modeling Language, to test cases and back to models again. The system requirements are traced throughout the entire testing process. Requirements traceability facilitates finding faults in the design and implementation of the software. In the research field of model-based testing, many new proposed approaches suffer from poor or the lack of tool support. Therefore, the second contribution of this thesis is proper tool support for the proposed approach that is integrated with leading industry tools. We o er independent tools, tools that are integrated with other industry leading tools, and complete tool-chains when necessary. Many model-based testing approaches proposed by the research community suffer from poor empirical validation in an industrial context. In order to demonstrate the applicability of our proposed approach, we apply our research to several systems, including industrial ones.

From inverted pendulum to N-link chain: inertial sensors-based assessment of movement kinematics and dynamics for functional evaluation and rehabilitation

Despite several clinical tests that have been developed to qualitatively describe complex motor tasks by functional testing, these methods often depend on clinicians' interpretation, experience and training, which make the assessment results inconsistent, without the precision required to objectively assess the effect of the rehabilitative intervention. A more detailed characterization is required to fully capture the various aspects of motor control and performance during complex movements of lower and upper limbs. The need for cost-effective and clinically applicable instrumented tests would enable quantitative assessment of performance on a subject-specific basis, overcoming the limitations due to the lack of objectiveness related to individual judgment, and possibly disclosing subtle alterations that are not clearly visible to the observer. Postural motion measurements at additional locations, such as lower and upper limbs and trunk, may be necessary in order to obtain information about the inter-segmental coordination during different functional tests involved in clinical practice. With these considerations in mind, this Thesis aims: i) to suggest a novel quantitative assessment tool for the kinematics and dynamics evaluation of a multi-link kinematic chain during several functional motor tasks (i.e. squat, sit-to-stand, postural sway), using one single-axis accelerometer per segment, ii) to present a novel quantitative technique for the upper limb joint kinematics estimation, considering a 3-link kinematic chain during the Fugl-Meyer Motor Assessment and using one inertial measurement unit per segment. The suggested methods could have several positive feedbacks from clinical practice. The use of objective biomechanical measurements, provided by inertial sensor-based technique, may help clinicians to: i) objectively track changes in motor ability, ii) provide timely feedback about the effectiveness of administered rehabilitation interventions, iii) enable intervention strategies to be modified or changed if found to be ineffective, and iv) speed up the experimental sessions when several subjects are asked to perform different functional tests.

Detection of significant coronary artery disease by noninvasive anatomical and functional imaging.

BACKGROUND The choice of imaging techniques in patients with suspected coronary artery disease (CAD) varies between countries, regions, and hospitals. This prospective, multicenter, comparative effectiveness study was designed to assess the relative accuracy of commonly used imaging techniques for identifying patients with significant CAD. METHODS AND RESULTS A total of 475 patients with stable chest pain and intermediate likelihood of CAD underwent coronary computed tomographic angiography and stress myocardial perfusion imaging by single photon emission computed tomography or positron emission tomography, and ventricular wall motion imaging by stress echocardiography or cardiac magnetic resonance. If ≥1 test was abnormal, patients underwent invasive coronary angiography. Significant CAD was defined by invasive coronary angiography as >50% stenosis of the left main stem, >70% stenosis in a major coronary vessel, or 30% to 70% stenosis with fractional flow reserve ≤0.8. Significant CAD was present in 29% of patients. In a patient-based analysis, coronary computed tomographic angiography had the highest diagnostic accuracy, the area under the receiver operating characteristics curve being 0.91 (95% confidence interval, 0.88-0.94), sensitivity being 91%, and specificity being 92%. Myocardial perfusion imaging had good diagnostic accuracy (area under the curve, 0.74; confidence interval, 0.69-0.78), sensitivity 74%, and specificity 73%. Wall motion imaging had similar accuracy (area under the curve, 0.70; confidence interval, 0.65-0.75) but lower sensitivity (49%, P<0.001) and higher specificity (92%, P<0.001). The diagnostic accuracy of myocardial perfusion imaging and wall motion imaging were lower than that of coronary computed tomographic angiography (P<0.001). CONCLUSIONS In a multicenter European population of patients with stable chest pain and low prevalence of CAD, coronary computed tomographic angiography is more accurate than noninvasive functional testing for detecting significant CAD defined invasively. CLINICAL TRIAL REGISTRATION URL http://www.clinicaltrials.gov. Unique identifier: NCT00979199.

Effectiveness for Ddtecting faults within and outside the scope of testing techniques: an independent replication

The verification and validation activity plays a fundamental role in improving software quality. Determining which the most effective techniques for carrying out this activity are has been an aspiration of experimental software engineering researchers for years. This paper reports a controlled experiment evaluating the effectiveness of two unit testing techniques (the functional testing technique known as equivalence partitioning (EP) and the control-flow structural testing technique known as branch testing (BT)). This experiment is a literal replication of Juristo et al. (2013).Both experiments serve the purpose of determining whether the effectiveness of BT and EP varies depending on whether or not the faults are visible for the technique (InScope or OutScope, respectively). We have used the materials, design and procedures of the original experiment, but in order to adapt the experiment to the context we have: (1) reduced the number of studied techniques from 3 to 2; (2) assigned subjects to experimental groups by means of stratified randomization to balance the influence of programming experience; (3) localized the experimental materials and (4) adapted the training duration. We ran the replication at the Escuela Politécnica del Ejército Sede Latacunga (ESPEL) as part of a software verification & validation course. The experimental subjects were 23 master?s degree students. EP is more effective than BT at detecting InScope faults. The session/program andgroup variables are found to have significant effects. BT is more effective than EP at detecting OutScope faults. The session/program and group variables have no effect in this case. The results of the replication and the original experiment are similar with respect to testing techniques. There are some inconsistencies with respect to the group factor. They can be explained by small sample effects. The results for the session/program factor are inconsistent for InScope faults.We believe that these differences are due to a combination of the fatigue effect and a technique x program interaction. Although we were able to reproduce the main effects, the changes to the design of the original experiment make it impossible to identify the causes of the discrepancies for sure. We believe that further replications closely resembling the original experiment should be conducted to improve our understanding of the phenomena under study.

Effectiveness for detecting faults within and outside the scope of testing techniques: an independent replication

The verification and validation activity plays a fundamental role in improving software quality. Determining which the most effective techniques for carrying out this activity are has been an aspiration of experimental software engineering researchers for years. This paper reports a controlled experiment evaluating the effectiveness of two unit testing techniques (the functional testing technique known as equivalence partitioning (EP) and the control-flow structural testing technique known as branch testing (BT)). This experiment is a literal replication of Juristo et al. (2013). Both experiments serve the purpose of determining whether the effectiveness of BT and EP varies depending on whether or not the faults are visible for the technique (InScope or OutScope, respectively). We have used the materials, design and procedures of the original experiment, but in order to adapt the experiment to the context we have: (1) reduced the number of studied techniques from 3 to 2; (2) assigned subjects to experimental groups by means of stratified randomization to balance the influence of programming experience; (3) localized the experimental materials and (4) adapted the training duration. We ran the replication at the Escuela Polite?cnica del Eje?rcito Sede Latacunga (ESPEL) as part of a software verification & validation course. The experimental subjects were 23 master?s degree students. EP is more effective than BT at detecting InScope faults. The session/program and group variables are found to have significant effects. BT is more effective than EP at detecting OutScope faults. The session/program and group variables have no effect in this case. The results of the replication and the original experiment are similar with respect to testing techniques. There are some inconsistencies with respect to the group factor. They can be explained by small sample effects. The results for the session/program factor are inconsistent for InScope faults. We believe that these differences are due to a combination of the fatigue effect and a technique x program interaction. Although we were able to reproduce the main effects, the changes to the design of the original experiment make it impossible to identify the causes of the discrepancies for sure. We believe that further replications closely resembling the original experiment should be conducted to improve our understanding of the phenomena under study.

Online MBPeT dashboard : enabling performance testing as a service in the cloud

In this thesis, tool support is addressed for the combined disciplines of Model-based testing and performance testing. Model-based testing (MBT) utilizes abstract behavioral models to automate test generation, thus decreasing time and cost of test creation. MBT is a functional testing technique, thereby focusing on output, behavior, and functionality. Performance testing, however, is non-functional and is concerned with responsiveness and stability under various load conditions. MBPeT (Model-Based Performance evaluation Tool) is one such tool which utilizes probabilistic models, representing dynamic real-world user behavior patterns, to generate synthetic workload against a System Under Test and in turn carry out performance analysis based on key performance indicators (KPI). Developed at Åbo Akademi University, the MBPeT tool is currently comprised of a downloadable command-line based tool as well as a graphical user interface. The goal of this thesis project is two-fold: 1) to extend the existing MBPeT tool by deploying it as a web-based application, thereby removing the requirement of local installation, and 2) to design a user interface for this web application which will add new user interaction paradigms to the existing feature set of the tool. All phases of the MBPeT process will be realized via this single web deployment location including probabilistic model creation, test configurations, test session execution against a SUT with real-time monitoring of user configurable metric, and final test report generation and display. This web application (MBPeT Dashboard) is implemented with the Java programming language on top of the Vaadin framework for rich internet application development. The Vaadin framework handles the complicated web communications processes and front-end technologies, freeing developers to implement the business logic as well as the user interface in pure Java. A number of experiments are run in a case study environment to validate the functionality of the newly developed Dashboard application as well as the scalability of the solution implemented in handling multiple concurrent users. The results support a successful solution with regards to the functional and performance criteria defined, while improvements and optimizations are suggested to increase both of these factors.

Optimization of production of anti-cancer vaccines based on dendritic cells

Cancer remains as one of the top killing diseases in first world countries. It’s not a single, but a set of various diseases for which different treatment approaches have been taken over the years. Cancer immunotherapy comes as a “new” breath on cancer treatment, taking use of the patients’ immune system to induce anti-cancer responses. Dendritic Cell (DC) vaccines use the extraordinary capacity of DCs’ antigen presentation so that specific T cell responses may be generated against cancer. In this work, we report the ex vivo generation of DCs from precursors isolated from clinical-grade cryopreserved umbilical cord blood (UCB) samples. After the thawing protocol for cryopreserved samples was optimized, the generation of DCs from CD14+ monocytes, i.e., moDCs, or CD34+ hematopoietic stem cells (HSCs), i.e, CD34-derived DCs, was followed and their phenotype and function evaluated. Functional testing included the ability to respond to maturation stimuli (including enzymatic removal of surface sialic acids), Ovalbumin-FITC endocytic capacity, cytokine secretion and T cell priming ability. In order to evaluate the feasibility of using DCs derived from UCB precursors to induce immune responses, they were compared to peripheral blood (PB) moDCs. We observed an increased endocytosis capacity after moDCs were differentiated from monocyte precursors, but almost 10-fold lower than that of PB moDCs. Maturation markers were absent, low levels of inflammatory cytokines were seen and T cell stimulatory capacity was reduced. Sialidase enzymatic treatment was able to mature these cells, diminishing endocytosis and promoting higher T cell stimulation. CD34-derived DCs showed higher capacity for both maturation and endocytic capacity than moDCs. Although much more information was acquired from moDCs than from CD34-derived DCs, we conclude the last as probably the best suited for generating an immune response against cancer, but of course much more research has to be performed.

Investigation Route of the Coronary Patient in the Public Health System in Curitiba, São Paulo and in Incor - IMPACT Study

Background: The investigation of stable coronary artery disease (CAD) and its treatment depend on risk stratification for decision-making on the need for cardiac catheterization and revascularization. Objective: To analyze the procedures used in the diagnosis and invasive treatment of patients with CAD, at the Brazilian Unified Health System (SUS) in the cities of Curitiba, São Paulo and at InCor-FMUSP. Methods: Retrospective, descriptive, observational study of the diagnostic and therapeutic itineraries of the Brazilian public health care system patient, between groups submitted or not to prior noninvasive tests to invasive cardiac catheterization. Stress testing, stress echocardiography, perfusion scintigraphy, catheterization and percutaneous or surgical revascularization treatment procedures were quantified and the economic impact of the used strategies. Results: There are significant differences in the assessment of patients with suspected or known CAD in the metropolitan region in the three scenarios. Although functional testing procedures are most often used the direct costs of these procedures differ significantly (6.1% in Curitiba, 20% in São Paulo and 27% in InCor-FMUSP). Costs related to the procedures and invasive treatments represent 59.7% of the direct costs of SUS in São Paulo and 87.2% in Curitiba. In InCor-FMUSP, only 24.3% of patients with stable CAD submitted to CABG underwent a noninvasive test before the procedure. Conclusion: Although noninvasive functional tests are the ones most often requested for the assessment of patients with suspected or known CAD most of the costs are related to invasive procedures/treatments. In most revascularized patients, the documentation of ischemic burden was not performed by SUS.

HygR and PurR plasmid vectors for episomal transfection of Trypanosoma cruzi

This work describes the development and functional testing of two episomes for stable transfection of Trypanosoma cruzi. pHygD contained the 5'- and 3'- flanking regions of the gene encoding the cathepsin B-like protease of T. cruzi as functional trans-splicing and polyadenylation signals for the hygR ORF. Evidence is presented to support extrachromosomal maintenance and organization as tandem repeats in transfected parasites. pPac was derived from pHygD by replacement of the entire hygR ORF with a purR coding region. The ability to modify pHygD and the availability of the complete DNA sequence make these plasmids useful tools for the genetic manipulation of T. cruzi.