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.     

Ethylene-propylene copolymers by a supported Ziegler-Natta catalyst based on TiCl4/MgCl2

Ethylene-propylene copolymers have been prepared by using Ziegler-Natta catalysts based on TiCl₄, MgCl₂, PCl₃ and (n-Bu)₃PO₄. The catalysts TiCl₄/MgCl₂/PCl₃ and TiCl₄/MgCl₂/(n-Bu)₃PO₄ were prepared by reacting TiCl₄ with pretreated MgCl₂. The support was prepared by ball milling of MgCl₂ with varied amounts of PCl₃ or (n-Bu)₃PO₄. The addition of PCl₃ has remarkably increased the MgCl₂ surface area in comparison with (n-Bu)₃PO₄. The effects of PCl₃ and (n-Bu)₃PO₄ on ethylene homopolymerization, ethylene-propylene copolymerization and on copolymer properties were evaluated. The catalyst system containing PCl₃ permitted to synthesize propylene-ethylene copolymers with up to 75% (w/w) of propylene and provided control of copolymer crystallinity. The reduction of the copolymer molecular weight distribution suggested that PCl₃ acted as an internal donor, poisoning some active catalytic sites. Received: 2 April 1997/Revised: 6 June 1997/Accepted: 18 June 1997     

Gaussian,Lobatto and Radau positive quadrature rules with a prescribed abscissa

For a given $\theta \in (a,b)$ , we investigate the question whether there exists a positive quadrature formula with maximal degree of precision which has the prescribed abscissa $\theta $ plus possibly $a$ and/or $b$ , the endpoints of the interval of integration. This study relies on recent results on the location of roots of quasi-orthogonal polynomials. The above positive quadrature formulae are useful in studying problems in one-sided polynomial $L_1$ approximation.     

(CO2 + 2‐propanol) mixture as a foaming agent for polystyrene: A simple thermodynamic model for the high pressure VLE‐phase diagrams taking into account the foam vitrification

The equation of state model developed by Lacombe and Sanchez (J Phys Chem 1976, 80, 2352) is used in the form proposed later by Sanchez and Stone (Polymer Blends, Vol. 1: Formulation, 2000; Chapter 2) to correlate experimental vapor‐liquid equilibrium (VLE) data for the three binaries and the ternary systems. Experimental data from the binary systems carbon dioxide‐isopropyl alcohol (CO₂‐IPrOH), isopropyl alcohol‐polystyrene (IPrOH‐PS), and carbon dioxide‐polystyrene (CO₂‐PS) are used to calculate VLE properties for the ternary system CO₂‐IPrOH‐PS. Two‐dimensional VLE‐phase diagrams were calculated and used to describe from a thermodynamic point of view the pressure, volume, and temperature values that characterize a thermoplastic foam evolution process, from the extruder to the foaming die. For different initial mixture CO₂ + IPrOH concentrations, pressure reduction produces liquid foaming until the vitrification curve arrests the final foam volume expansion. The dependence of the vitreous transition with the system CO₂ + IPrOH concentration while foaming is represented by the Chow (Macromolecules 1980, 13, 362) equation. The calculation procedure is proposed as a design tool to reduce the amount of experimental data usually needed as a requirement previous to the design stage. © 2007 Wiley Periodicals, Inc. J Appl Polym Sci 104: 2663–2671, 2007     

The effect of pre-warming on performance during simulated firefighting exercise

This study examined the effect of active pre-warming on speed and quality of performance during simulated firefighting exercise. Twelve male firefighters performed two trials in counterbalanced order. They were either pre-warmed by 20-min cycling at 1.5 Watt kg⁻¹ body mass (WARM) or remained thermoneutral (CON) prior to a simulated firefighting activity. After the pre-warming, gastrointestinal temperature (P < 0.001), skin temperature (P = 0.002), and heart rate (P < 0.001) were higher in WARM than in CON. During the firefighting activity, rating of perceived exertion, thermal sensation and discomfort were higher for WARM than for CON. Finish time of the firefighting activity was similar, but the last task of the activity was completed slower in WARM than in CON (P = 0.04). In WARM, self-reported performance quality was lower than in CON (P = 0.04). It is concluded that pre-warming reduces the speed during the last part of simulated firefighting activity and reduces self-reported quality of performance.