Model-based testing of software and systems: recent advances and challenges

Model-based testing is focused on testing techniques which rely on the use of models. The diversity of systems and software to be tested implies the need for research on a variety of models and methods for test automation. We briefly review this research area and introduce several papers selected from the 22nd International Conference on Testing Software and Systems (ICTSS).     

Risk in Transport Investments

We discuss how the standard Cost-Benefit Analysis should be modified in order to take risk (and uncertainty) into account. We propose different approaches used in finance (Value at Risk, Conditional Value at Risk, Downside Risk Measures, and Efficiency Ratio) as useful tools to model the impact of risk in project evaluation. After introducing the concepts, we show how they could be used in CBA and provide some simple examples to illustrate how such concepts can be applied to evaluate the desirability of a new project infrastructure.     

The influence of different centralised pre-packaging systems on the shelf-life of fresh pork

The influence of different centralised pre-packaging systems (PVC, modified atmosphere packaging (MAP), 25% CO(2) and 75% O(2), vacuum skin packaging (VSP) and the mother bag concept, 100% CO(2)) on the shelf-life (0, 7, 14 and 21 days at 0°C) of fresh pork was determined using microbiological, colour, odour and acceptability characteristics. All the packaging treatments were equally efficient for the first 4 days of retail display. In the extended shelf-life study (7, 14 and 21 days) the mother bag centralised packaging system gave the most promising shelf-life results (21 days) and was also judged superior in terms of odour. Modified atmosphere packaging (14 days) and VSP (7 days) may be considered as other possible options.     

Operator stress and monitoring practices

This study attempted to identify the major sources of work-related stress among telephone operators, with special emphasis on computer monitoring and telephone surveillance. A cross-sectional random sample of over 700 telephone operators participated in a questionnaire survey (response rate = 88%). The survey included items designed to measure perceived stress, management practices, specific job stressors and monitoring preferences. Call-time pressure items were most strongly linked to job stress by operators, with 70% reporting that difficulty in serving a customer well and still keeping call-time down contributed to their feelings of stress to a large or very large extent. About 55% of operators reported that telephone monitoring contributed to their feelings of job stress. If given the opportunity, 44% of operators stated they would prefer not to be monitored by telephone at all, while 23% stated they would prefer some monitoring; 33% had no preference. The setting of inappropriate individual-call-time objectives, which may be consistently unachievable for some operators and which create conflict between management demands for quantity and quality and also between workers values concerning quality and productivity demands, appears to be the most stress-inducing aspect of the job. In terms of telephone surveillance, the issues of timeliness and specificity of feedback appear to be less important than call-time pressure.     

Deciding bisimilarity is<Emphasis Type="Italic">P</Emphasis>-complete

In finite labelled transition systems the problems of deciding strong bisimilarity, observation equivalence and observation congruence areP-complete under many—oneNC-reducibility. As a consequence, algorithms for automated analysis of finite state systems based on bisimulation seem to be inherently sequential in the following sense: the design of anNC algorithm to solve any of these problems will require an algorithmic breakthrough, which is exceedingly hard to achieve.     

MMP1 and MMP11 Expression in Peripheral Blood Mononuclear Cells upon Their Interaction with Breast Cancer Cells and Fibroblasts

Tumor-infiltrating immune cells phenotype is associated with tumor progression. However, little is known about the phenotype of the peripheral blood mononuclear cells (PBMC) from breast cancer patients. We investigated MMP1 and MMP11 expression in PBMC from breast cancer patients and we analyzed gene expression changes upon their interaction with cancer cells and cancer-associated fibroblasts (CAF). We measured the impact of PBMC on proinflammatory gene expression in breast cancer cells, normal fibroblast (NF), and CAF and the impact on proliferation and invasiveness capacity of breast cancer cells. Gene expression of MMP1 and MMP11 in PBMC from breast cancer patients (n = 54) and control (n = 28); expression of IL1A, IL6, IL17, IFNβ, and NFĸB in breast cancer cell lines (MCF-7 and MDA-MB-231); and, additionally, IL10 and MMP11 in CAF and NF were analyzed by qRT-PCR before and after co-culture. Our results show the existence of a subpopulation of breast cancer patients (25.9%) with very high levels of MMP11 gene expression in PBMC. Also, gene expression of MMP1 and MMP11 increases in PBMC after co-culture with breast cancer cell lines, NF or CAF. PBMC from healthy or breast cancer patients induce an increased proliferation rate on MCF-7 and an increased invasiveness capacity of MDA-MB-231. Finally, we show a differential expression profile of inflammatory genes in NF and CAF when co-cultured with control or breast cancer PBMC. We have observed that MMPs’ expression in PBMC is regulated by the microenvironment, while the expression of inflammatory genes in NF or CAF is differentially regulated by PBMC. These findings confirm the importance of the crosstalk between stromal cells and suggest that PBMC would play a role in promoting aggressive tumor behavior.     

The Neurovascular Unit Dysfunction in Alzheimer’s Disease

Alzheimer’s disease (AD) is the most common neurodegenerative disease worldwide. Histopathologically, AD presents with two hallmarks: neurofibrillary tangles (NFTs), and aggregates of amyloid β peptide (Aβ) both in the brain parenchyma as neuritic plaques, and around blood vessels as cerebral amyloid angiopathy (CAA). According to the vascular hypothesis of AD, vascular risk factors can result in dysregulation of the neurovascular unit (NVU) and hypoxia. Hypoxia may reduce Aβ clearance from the brain and increase its production, leading to both parenchymal and vascular accumulation of Aβ. An increase in Aβ amplifies neuronal dysfunction, NFT formation, and accelerates neurodegeneration, resulting in dementia. In recent decades, therapeutic approaches have attempted to decrease the levels of abnormal Aβ or tau levels in the AD brain. However, several of these approaches have either been associated with an inappropriate immune response triggering inflammation, or have failed to improve cognition. Here, we review the pathogenesis and potential therapeutic targets associated with dysfunction of the NVU in AD.     

Ivabradine Induces Cardiac Protection against Myocardial Infarction by Preventing Cyclophilin-A Secretion in Pigs under Coronary Ischemia/Reperfusion

In response to cardiac ischemia/reperfusion, proteolysis mediated by extracellular matrix metalloproteinase inducer (EMMPRIN) and its secreted ligand cyclophilin-A (CyPA) significantly contributes to cardiac injury and necrosis. Here, we aimed to investigate if, in addition to the effect on the funny current (I(f)), Ivabradine may also play a role against cardiac necrosis by reducing EMMPRIN/CyPA-mediated cardiac inflammation. In a porcine model of cardiac ischemia/reperfusion (IR), we found that administration of 0.3 mg/kg Ivabradine significantly improved cardiac function and reduced cardiac necrosis by day 7 after IR, detecting a significant increase in cardiac CyPA in the necrotic compared to the risk areas, which was inversely correlated with the levels of circulating CyPA detected in plasma samples from the same subjects. In testing whether Ivabradine may regulate the levels of CyPA, no changes in tissue CyPA were found in healthy pigs treated with 0.3 mg/kg Ivabradine, but interestingly, when analyzing the complex EMMPRIN/CyPA, rather high glycosylated EMMPRIN, which is required for EMMPRIN-mediated matrix metalloproteinase (MMP) activation and increased CyPA bonding to low-glycosylated forms of EMMPRIN were detected by day 7 after IR in pigs treated with Ivabradine. To study the mechanism by which Ivabradine may prevent secretion of CyPA, we first found that Ivabradine was time-dependent in inhibiting co-localization of CyPA with the granule exocytosis marker vesicle-associated membrane protein 1 (VAMP1). However, Ivabradine had no effect on mRNA expression nor in the proteasome and lysosome degradation of CyPA. In conclusion, our results point toward CyPA, its ligand EMMPRIN, and the complex CyPA/EMMPRIN as important targets of Ivabradine in cardiac protection against IR.     

Insoluble Vascular Amyloid Deposits Trigger Disruption of the Neurovascular Unit in Alzheimer’s Disease Brains

Alzheimer’s disease (AD) is a neurodegenerative disease, characterized histopathologically by intra-neuronal tau-related lesions and by the accumulation of amyloid β-peptide (Aβ) in the brain parenchyma and around cerebral blood vessels. According to the vascular hypothesis of AD, an alteration in the neurovascular unit (NVU) could lead to Aβ vascular accumulation and promote neuronal dysfunction, accelerating neurodegeneration and dementia. To date, the effects of insoluble vascular Aβ deposits on the NVU and the blood–brain barrier (BBB) are unknown. In this study, we analyze different Aβ species and their association with the cells that make up the NVU. We evaluated post-mortem AD brain tissue. Multiple immunofluorescence assays were performed against different species of Aβ and the main elements that constitute the NVU. Our results showed that there are insoluble vascular deposits of both full-length and truncated Aβ species. Besides, insoluble aggregates are associated with a decrease in the phenotype of the cellular components that constitute the NVU and with BBB disruption. This approach could help identify new therapeutic targets against key molecules and receptors in the NVU that can prevent the accumulation of vascular fibrillar Aβ in AD.