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.

Effect of air-temperature and diet composition on the drying process of pellets for japanese abalone (Haliotis discus hannai) feeding

The aim of this research was to study the effect of air-temperature and diet composition on the mass transfer kinetics during the drying process of pellets used for Japanese Abalone (Haliotis discus hannai) feeding. In the experimental design, three temperatures were used for convective drying, as well as three different diet compositions (Diets A, B and C), in which the amount of fishmeal, spirulin, algae, fish oil and cornstarch varied. The water diffusion coefficient of the pellets was determined using the equation of Fick's second law, which resulted in values between 0.84-1.94×10-10 m²/s. The drying kinetics was modeled using Page, Modified Page, Root of time, Exponential, Logarithmic, Two-Terms, Modified Henderson-Pabis and Weibull models. In addition, two new models, referred to as 'Proposed' models 1 and 2, were used to simulate this process. According to the statistical tests applied, the models that best fitted the experimental data were Modified Henderson-Pabis, Weibull and Proposed model 2, respectively. Bifactorial analysis of variance ANOVA showed that Diet A (fishmeal 44%, spirulin 9%, fish oil 1% and cornstarch 36%) presented the highest diffusion coefficient values, which were favored by the temperature increase in the drying process.

Assessing environmental impacts using a comparative LCA of industrial and artisanal production processes: "Minas Cheese" case

This study uses the Life Cycle Assessment (LCA) methodology to evaluate and compare the environmental impacts caused by both the artisanal and the industrial manufacturing processes of "Minas cheese". This is a traditional cheese produced in the state of Minas Gerais (Brazil), and it is considered a "cultural patrimony" in the country. The high participation of artisanal producers in the market justifies this research, and this analysis can help the identification of opportunities to improve the environmental performance of several stages of the production system. The environmental impacts caused were also assessed and compared. The functional unit adopted was 1 kilogram (Kg) of cheese. The system boundaries considered were the production process, conservation of product (before sale), and transport to consumer market. The milk production process was considered similar in both cases, and therefore it was not included in the assessment. The data were collected through interviews with the producers, observation, and a literature review; they were ordered and processed using the SimaPro 7 LCA software. According to the impact categories analyzed, the artisanal production exerted lower environmental impacts. This can be justified mainly because the industrial process includes the pasteurization stage, which uses dry wood as an energy source and refrigeration.

Prosessiteollisuuden sekoittimen elinkaariarviointi

Työn tavoitteena oli tehdä elinkaariarviointi (LCA) prosessiteollisuuden sekoittimelle Helmix HF-80 ja analysoida LCA-tulokset, vaikutus ilmaston lämpenemisen potentiaalin (GWP) suhteen, sekä tutkia GWP-vaikutuksen pienentämisen mahdollisuuksia. Tutkittavan sekoittimen mahdolliset käyttökohteet ovat sellu- ja paperiteollisuus, raskaiden jätenesteiden käsittely, sekä muut teollisuusalueet, joissa käytetään tämän tyyppisiä laitteita. Työssä on muun muassa käsitelty sekoitusprosessit, sekoituslaitteiden tyypit, niiden rakenteiden ominaisuudet, käyttötarkoitus, toimintaperiaatteet, sekä sellu- ja paperi-teollisuudessa käytettävien sekoittimien yleiskatsaus. Työssä on myös kuvattu elinkaariarviointi (LCA) -menetelmä ja sen käyttötarkoitus. Tärkeimmistä tuloksista voi mainita sen, että sekoittimen (ilman säiliötä, sähkömoottoria ja vaihteistoa) kokoelinkaaren ilmastonlämpenemisen potentiaali (GWP) on noin 750 000 kg CO2-Equiv. Sekoittimen tuotanto- ja kierrätysaikana syntyy vain 1200 kg CO2-Equiv. ja suurin osa 748 000 kg CO2-Equiv. johtuu sähköenergian kulutuksesta käytön aikana. Käyttöajan vaikutusta voisi pienentää arvoksi 0 kg CO2-Equiv. käyttämällä pelkästään uusiutuvaa energiaa. Jos tuotantoaikana käytetty energia myös korvataan uusiutuvalla energialla, niin GWP-arvo koko elinkaaren aikana laskee arvoon 1006 kg CO2eqv., mikä on vain 0,13 % saaduista tuloksista. Suurin osa tästä arvosta liittyy sekoittimen materiaalin, tässä tapauksessa ruostumattoman teräksen tuotantoon.

Sulphuric acid scarification effects on Brachiaria brizantha, B. humidicola and Panicum maximum seed dormancy release

Most tropical forage grass species have dormant seeds, which reduce percentages in germination tests. The objective of this study was to evaluate H2SO4 scarification effects on seed dormancy releasing, through germination time (T50) and variability among germination test replicates, in 630, 94 and 82 seed samples of B. brizantha, B. humidicola and P. maximum, respectively, tested at the Central Seed Testing Laboratory, Campinas, Brazil, from 1991 to 1999. Germination tests used two 4 x 100 replicates of intact and scarified seeds (15-, 10-, 5-minute treatments, respectively). Mean germination time (T50) and variability among germination replicates were also analysed. Statistical analysis was performed by t-test paired samples for means. Scarification promoted general decreases in T50, while variability among germination test replicates was reduced in B. brizantha. Scarification increase germination in B. brizantha and P. maximum, but is deleterious in B. humidicola.

Respiratory activity for the differentiation of vigor on soybean seeds lots

Currently, the highest interest with respect to the assessment of seed physiological quality is to obtain reliable results in a relatively short period of time. This initiative allows for prompt decisions during different phases of seed production primarily after physiological maturity. This research was performed to verify the efficiency and rapidity of the method of Pettenkofer to determine the respiratory activity and to differentiate vigor levels of soybean seed lots. Three lots of soybean seeds cv. 8000 were used. Seed performance was determined by respiratory activity, compared to the following tests: standard germination, germination first count, electrical conductivity, seedling emergence, seedling shoot and root length and total dry mass. Results ranked seed lots according to defferences in physiological quality. Seed imbibition and conditioning period in Pettenkofer's equipment were enough to detect differences in vigor among seed lots, showing that the determination of the respiratory activity is a promising procedure to identify differences in vigor levels among soybean seed lots.

Nursing students and older people nursing. Towards a future career

The purpose of this two-phased study is to examine the interest of nursing students in choosing a career in older people nursing. First, the scoping phase explores the different premises for choosing older people nursing as a career. Second, the evaluation phase investigates the outcomes of the developed educational intervention involving older people as promoters of choosing a career in older people nursing, factors related to these outcomes, and experiences with educational intervention. The ultimate goal is to encourage more nursing students to choose older people nursing as their career. The scoping phase applies an exploratory design and centres around a descriptive, cross-sectional survey, documentary research and a scoping literature review. The information sources for this phase include 183 nursing students, 101 newspaper articles and 66 research articles. The evaluation phase applies a quasi-experimental design and a pre-post-test design with a non-equivalent comparison group and a post-intervention survey. The information sources for this phase include 87 nursing students and 43 older people. In both phases, statistical and narrative methods are applied in the data analysis. Nursing students neutrally regarded the idea of a career in older people nursing. The most consistent factors related to the nursing students’ career plans in older people nursing were found to be nursing work experience and various educational preparations in the field. Nursing students in the intervention group (n=40) were more interested in older people nursing and had more positive attitudes towards older people than did students in the comparison group (n=36). However, in both groups, the interest that students had at the baseline was associated with the interest at the one-month follow-up. There were no significant differences between the groups in terms of the students’ knowledge levels about ageing. The nursing students and older people alike highly appreciated participating in the educational intervention. It seems possible to positively impact nursing students and their choices to pursue careers in older people nursing, at least in the short-term. The involvement of older people as promoters of this career choice provides one encouraging alternative for impacting students’ career choices, but additional research is needed.

Foraging ecology and parental behaviour in the common tern (Sterna hirundo)

One component of successful parenting is related to efficiency in foraging behaviour. The relationships among chick feeding, the size and type of food package, and length of parental foraging trips has not been well studied in seabirds. In addition, relatively few data have been collected on the activities of seabirds when foraging away from the nest site. The objectives of this study were: (1) to contrast productivity, feeding rate, and attendance patterns of individuals carrying a novel transmitter with a control group of birds; (2) to use radio-telemetry to assess the variability in foraging locations within and between individual male Common Terns; (3) to determine the seasonal variation in chick diet; (4) to determine for each transmittered bird, the relationships among the foraging patterns, parental behaviour, and seasonal reproductive success. The study took place over two years (1990-91) on a concrete breakwater 1 km offshore on Lake Erie near Port Colbome, Ontario. Ten pairs of terns in 1990 and 12 pairs in 1991 were radio-tracked by boat or car during the chick rearing stage. Concurrent behavioural observations documented the time each sex spent foraging or at the nest. The frequency and prey species composition of feeds to chicks were also recorded. The transmitters had negligible effects on the feeding frequency and brood attendance patterns of transmitter carrying birds. Peak nesting transmittered birds in 1990 and 1991 exhibited some inter-individual variability in foraging locations, however intraindividual variability was low. Birds foraged primarily to the west and northwest of the colony. Late nesters exhibited greater inter-individual variability, however intra-individual variability remained low for most birds. Neither group demonstrated sufficient variability to support the regular use of this colony as an "information centre". Individual transmittered birds had unique and predictable foraging patterns, and corresponding differences in feeding frequencies and brood attendance patterns, yet productivity was essentially equal between nests due to the impact and importance of stochastic events. Individuals that were recaptured in 1991 exhibited very similar foraging patterns to 1990, suggesting littie variability between years. Conservation of foraging patterns between years may have potential implications for mate choice decisions in future breeding seasons. Prey species delivered to chicks differed between morning and evening for peak and late nesters in 1990, but not 1991. Peak nesters in 1990 fed significantiy more Rainbow Smelt fOsmerus mordM) than Emerald Shiner (Notropis atherinoidesV this trend was reversed for late nesters who also fed large numbers of unidentified larval fish. No significant differences were found in 1991. Seasonal changes in prey species delivered to chicks is believed to be attributable to the temperature tolerances of the smelt and shiners, and the presence of large schools of larval fish during the late nesting season.

Predicting performance on fluid intelligence from speed of processing, working memory, and controlled attention

Fluid inteliigence has been defined as an innate ability to reason which is measured commonly by the Raven's Progressive Matrices (RPM). Individual differences in fluid intelligence are currently explained by the Cascade model (Fry & Hale, 1996) and the Controlled Attention hypothesis (Engle, Kane, & Tuholski, 1999; Kane & Engle, 2002). The first theory is based on a complex relation among age, speed, and working memory which is described as a Cascade. The alternative to this theory, the Controlled Attention hypothesis, is based on the proposition that it is the executive attention component of working memory that explains performance on fluid intelligence tests. The first goal of this study was to examine whether the Cascade model is consistent within the visuo-spatial and verbal-numerical modalities. The second goal was to examine whether the executive attention component ofworking memory accounts for the relation between working memory and fluid intelligence. Two hundred and six undergraduate students between the ages of 18 and 28 completed a battery of cognitive tests selected to measure processing speed, working memory, and controlled attention which were selected from two cognitive modalities, verbalnumerical and visuo-spatial. These were used to predict performance on two standard measures of fluid intelligence: the Raven's Progressive Matrices (RPM) and the Shipley Institute of Living Scales (SILS) subtests. Multiple regression and Structural Equation Modeling (SEM) were used to test the Cascade model and to determine the independent and joint effects of controlled attention and working memory on general fluid intelligence. Among the processing speed measures only spatial scan was related to the RPM. No other significant relations were observed between processing speed and fluid intelligence. As 1 a construct, working memory was related to the fluid intelligence tests. Consistent with the predictions for the RPM there was support for the Cascade model within the visuo-spatial modality but not within the verbal-numerical modality. There was no support for the Cascade model with respect to the SILS tests. SEM revealed that there was a direct path between controlled attention and RPM and between working memory and RPM. However, a significant path between set switching and RPM explained the relation between controlled attention and RPM. The prediction that controlled attention mediated the relation between working memory and RPM was therefore not supported. The findings support the view that the Cascade model may not adequately explain individual differences in fluid intelligence and this may be due to the differential relations observed between working memory and fluid intelligence across different modalities. The findings also show that working memory is not a domain-general construct and as a result its relation with fluid intelligence may be dependent on the nature of the working memory modality.

A mass spectrometric study of some pesticides /|nK. S. Subramanian. -- 260 St. Catharines, Ont. : [s. n.],

The fragmentation processes in the mass spectra of a series of organophosphorus, organochlorine, thio and dithiocarbamate as well as a number of miscellaneous pesticides have been studied i n detail by using the Bendix timeof- flight, MS-12 single-focussing and MS-30 double-focussing mass spectrometers. Interpretation of all the spectra have been presented; their mode s of dissociation elucidated, aided by metastable transitions wherever possible and the structures of the various f ragmentation species postulated wherever f easible. The fragmentation mechanisms are based on the concepts of inductive, resonance and steric ef~ects. Multiple bond cleavages accompanied by simultaneous bond formation and rearrangement reactions involving cycli c t r ansition states have clarified t he formation of various ions . Due emphasis has been placed on the effect of the functional groups or substituents in altering the mass spectral behaviour of the pesticides as they form the basis for the identifi cation of the otherwise identical pesticides. The organophosphorus pesticides which have been studied include i) the phosphates (eg: DDVP and Phosdrin ); ii) phosphorothionates (eg: Parathion, 0-2, 4 dichloro phenyl 0, O-diethyl thionophosphate); iii) phosphorothioites (eg: Tributyl phosphorotrithioite); i V) phosphorothioates (eg: Ethion) and v) phosphorodithioates (eg: Carbophenolthion). Cleavages and rearrangements of the ester moiety dominate the spectrum of phosdrin while that of DDVP is + dominated by t he fragmentation modes of the (OH30)2P=0 + moiety. Fragmentation §f the (CH30)2P=S characterises the spectrum of (OH30)2"P -Cl while cleavages of the + (C2H50 )2P=S species mark the spectra of parathion and 0-2, 4- di chlorophenyl O, O-diethyl thiophosphate. The 0(, cl eavages of the thioether f unction rather than + cleavages of the (C2H50)2P=S signify the spectrum of carbophenolthion. Tributyl phosphorotrithioite behaves more like an aliphatic hydrocarbon than like the corresponding phosphites. The isopropyl and butyl esters of 2, 4 dichlorophenoxy acetic acid show cleavage and rearrangement ions typical of an ester. In spite of its structural similari ty to pp' - DDT and pp' - DDD, Kalthane has a completely different mass spectral behaviour due to the influence of its hydroxyl function. The thiocarbamate pesticides studied include Eptam and Perbulate. Both are structurally similar but having different alkyl substituents on nitrogen and sulphur. This structurQlsimilarity leads to similar types of (N-C), (O-S) and (S-alkyl cleavages). However, perbulate differs from Eptam in showing a rearrangement ion at mle 161 and in forming an isocyanate ion as the base peak. In Eptam the base peak i s the alkyl ion. The dithiocarbamate, Vegadex, resembles the thiocarbamates in undergoing simple cleavages but it differs from them in having a weak parent ion; in the formation of its base peak and in undergoing a series of rearrangement reactions. The miscellaneous pesticides studied include 1-Naphthalene acetic aCid- methyl ester, Fiperonyl butoxide and Allethrin. The ester i s stable to electron impact and shows only fewer ions. Piper onyl butoxide, a polyether, shows characteristics of an et her, alcohol and aldehyde . Allethrin is regarded as an ester of the type R-C-O-R1 with n R being a substituted cyclopr opane moiety and o Rt, a substituted cyclopentenone mOiety. Accordingly it shows cleavage ions typical of an aliphatic ester and undergoes bond ruptures of the cyclic moieties to give unusual ions. Its base peak is an odd electron ion, quite contrary to expectations.

Environmental assessment of Lake Gibson sediments, water quality, and soils of the Niagara Region

In light of the fact that literature on toxicity of heavy metals in non-acidified freshwater systems is sparse, this project was initiated to conduct an environmental assessment of Lake Gibson. Chemistry of soils from adjacent areas and vineyards in the region provide a comparative background database. Water quality determinations were used to identify and highlight areas of environmental concern within the Lake Gibson watershed. A Shelby Corer was used to obtain 66 sediment cores from Lake Gibson. These were sectioned according to lithology and color to yield 298 samples. A suite of 122 soil samples was collected in the region and vicinity of Lake Gibson. All were tested for metals and some for Total Petroleum Hydrocarbons (TPH). Evaluation of the results leads to the following conclusions: 1. Metal concentrations ofAI, Cd, Cu, Cr, Pb, Ni, Fe and Zn in soils from the Niagara Region are well below background limits set by the Ministry of the Environment and Energy (MOEE) for provincial soils. 2. There is a spatial and depth difference for some of the metals within the various soils. The Cr, Ni and Pb contents of soils vary throughout the region (pimpact on the aquatic biota. 5. Specifically, effluents and discharges from outfalls, roadways, railways and industrial activities are all degrading the local ecosystem. 6. Mineral oil and greases are a major environmental concern in the sediments of Lake Gibson. Ofthe 240 samples tested for TPH, 200 samples exceed the MOEE Open Water Disposal Guideline of 1,500 mg/kg. 7. Four areas within Lake Gibson are especially degraded with respect to TPH. One area is just downstream from the Old WeIland Canal divergence point and waterfall. Other areas of concern are located just south of Beaverdams Road and just west ofthe Ontario Hydro control pipes; south ofthe Village ofBeaverdams. The fourth area of environmental concern and TPH impact is located between Highway 406 and Merrittville Highway.

Posttraumatic stress disorder symptoms might be destroying your intimacy : a test of mediational models in a community sample of couples

The present research focused on the pathways through which the symptoms of posttraumatic stress disorder (PTSD) may negatively impact intimacy. Previous research has confirmed a link between self-reported PTSD symptoms and intimacy; however, a thorough examination of mediating paths, partner effects, and secondary traumatization has not yet been realized. With a sample of 297 heterosexual couples, intraindividual and dyadic models were developed to explain the relationships between PTSD symptoms and intimacy in the context of interdependence theory, attachment theory, and models of selfpreservation (e.g., fight-or-flight). The current study replicated the findings of others and has supported a process in which affective (alexithymia, negative affect, positive affect) and communication (demand-withdraw behaviour, self-concealment, and constructive communication) pathways mediate the intraindividual and dyadic relationships between PTSD symptoms and intimacy. Moreover, it also found that the PTSD symptoms of each partner were significantly related; however, this was only the case for those dyads in which the partners had disclosed most everything about their traumatic experiences. As such, secondary traumatization was supported. Finally, although the overall pattern of results suggest a total negative effect of PTSD symptoms on intimacy, a sex difference was evident such that the direct effect of the woman's PTSD symptoms were positively associated with both her and her partner's intimacy. I t is possible that the Tend-andBefriend model of threat response, wherein women are said to foster social bonds in the face of distress, may account for this sex difference. Overall, however, it is clear that PTSD symptoms were negatively associated with relationship quality and attention to this impact in the development of diagnostic criteria and treatment protocols is necessary.

Socially Constructed Environmental Issues and Sport: A Content Analysis of Ski Resort Environmental Communications

Due to the impact of sport on the natural environment (UN, 2010), it is important to examine the interplay between environmental issues and sport (Hums, 2010, Mallen & Chard, 2011; Nauright & Pope, 2009; Ziegler, 2007). This research content analyzed 82 ski resort environmental communications (SRECs). These communications were rated for their prominence, breadth, and depth using the delineation of environmental issues provided by the Sustainable Slopes Program (SSP) Charter. This data was compared to the resorts’ degree of environmentally responsible action as rated by the Ski Area Citizens’ Coalition (SACC). An adaptation of Hudson and Miller's (2005) model was then used to classify the ski resorts as inactive, reactive, exploitive, or proactive in their environmental activities. Recommendations have been made for standardization and transparency in environmental disclosures and an environmental management system to aid ski resorts in moving from ad hoc processes to a systematic and comprehensive framework for improving environmental performance.

Understanding Workplace Essential Skills: A Student's Perspective

An instrumental case study was conducted to explore the perspective of recent graduates from a Greater Toronto Area community college experience in relation to Workplace Essential Skills (WES). Five participants who graduated from a business school within the last 4 years were interviewed twice over a 4-month period to gain a deeper understanding of this relationship. This qualitative approach used semi-structured interviews to elicit stories about their experiences, their relationships in school, and the development of skills that were useful in the workplace. The analysis of data involved the 3-step coding process of open, axial, and selective coding consistent with the approach used by Neuman (2006). The analysis revealed that the overall experience of attending college contributed to the learning that took place. The participants gave greater significance to the life experience in learning WES and the networks associated with learning than the formal aspects of education. It is also important to acknowledge that the research identified a significant opportunity for educators’ to positively impact the learning experience.

Projection-Based Statistical Inference in Linear Structural Models with Possibly Weak Instruments

It is well known that standard asymptotic theory is not valid or is extremely unreliable in models with identification problems or weak instruments [Dufour (1997, Econometrica), Staiger and Stock (1997, Econometrica), Wang and Zivot (1998, Econometrica), Stock and Wright (2000, Econometrica), Dufour and Jasiak (2001, International Economic Review)]. One possible way out consists here in using a variant of the Anderson-Rubin (1949, Ann. Math. Stat.) procedure. The latter, however, allows one to build exact tests and confidence sets only for the full vector of the coefficients of the endogenous explanatory variables in a structural equation, which in general does not allow for individual coefficients. This problem may in principle be overcome by using projection techniques [Dufour (1997, Econometrica), Dufour and Jasiak (2001, International Economic Review)]. AR-types are emphasized because they are robust to both weak instruments and instrument exclusion. However, these techniques can be implemented only by using costly numerical techniques. In this paper, we provide a complete analytic solution to the problem of building projection-based confidence sets from Anderson-Rubin-type confidence sets. The latter involves the geometric properties of “quadrics” and can be viewed as an extension of usual confidence intervals and ellipsoids. Only least squares techniques are required for building the confidence intervals. We also study by simulation how “conservative” projection-based confidence sets are. Finally, we illustrate the methods proposed by applying them to three different examples: the relationship between trade and growth in a cross-section of countries, returns to education, and a study of production functions in the U.S. economy.