A taxonomy of model-based testing approaches

Model-based testing (MBT) relies on models of a system under test and/or its environment to derive test cases for the system. This paper discusses the process of MBT and defines a taxonomy that covers the key aspects of MBT approaches. It is intended to help with understanding the characteristics, similarities and differences of those approaches, and with classifying the approach used in a particular MBT tool. To illustrate the taxonomy, a description of how three different examples of MBT tools fit into the taxonomy is provided.

K from zeolite : glasshouse trial for testing K availability to the plants

MesoLite, a zeolite material manufactured by NanoChem Holdings Pty Ltd is made by caustic reaction of kaolin at temperatures between 80-95°C. This material has a moderate surface area (9~12 m2/g) and very high cation exchange capacity (500meq/100g). To measure the availability of K in K-MesoLite to plants, wheat was grown with K-MesoLite or a soluble fertiliser (e.g. KCl) in non-leached pots in a glasshouse. The weights and elemental compositions of the plants were compared after four weeks growth. Plants grown with K-MesoLite were slightly larger than those grown with KCl. The elemental compositions of the plants were similar except for Si, which was significantly higher in the plants grown with K-MesoLite than in those fertilised with KCl. K from K-MesoLite is readily available to plants.

A novel testing system for a Cycloidal drive

At present, for mechanical power transmission, Cycloidal drives are most preferred - for compact, high transmission ratio speed reduction, especially for robot joints and manipulator applications. Research on drive-train dynamics of Cycloidal drives is not well-established. This paper presents a testing rig for Cycloidal drives, which would produce data for development of mathematical models and investigation of drive-train dynamics, further aiding in optimising its design

What vs how : comparing students' testing and coding skills

The well-known difficulties students exhibit when learning to program are often characterised as either difficulties in understanding the problem to be solved or difficulties in devising and coding a computational solution. It would therefore be helpful to understand which of these gives students the greatest trouble. Unit testing is a mainstay of large-scale software development and maintenance. A unit test suite serves not only for acceptance testing, but is also a form of requirements specification, as exemplified by agile programming methodologies in which the tests are developed before the corresponding program code. In order to better understand students’ conceptual difficulties with programming, we conducted a series of experiments in which students were required to write both unit tests and program code for non-trivial problems. Their code and tests were then assessed separately for correctness and ‘coverage’, respectively. The results allowed us to directly compare students’ abilities to characterise a computational problem, as a unit test suite, and develop a corresponding solution, as executable code. Since understanding a problem is a pre-requisite to solving it, we expected students’ unit testing skills to be a strong predictor of their ability to successfully implement the corresponding program. Instead, however, we found that students’testing abilities lag well behind their coding skills.

Hepatitis B knowledge, testing, and vaccination among Chinese and Vietnamese adults in Australia

Hepatitis B is a significant public health challenge within some subpopulations in Australia, including Chinese and Vietnamese migrants. There has been limited research on hepatitis B knowledge and actions in these communities. The authors conducted a self-administered survey among 442 Chinese and 433 Vietnamese in Brisbane. Generally, the knowledge is best described as “moderate.” One in 2 could not identify the sexual transmission risk and less than one third knew that sharing foods or drinks did not spread the disease. The majority of Vietnamese (80%) and 60% of Chinese respondents indicated prior testing. Vaccination was reported in 60% of the Vietnamese and in 52% of the Chinese. Knowledge was better among Chinese people who had been tested and vaccinated compared with those who were nontested and nonvaccinated. Only 3.5% of the Chinese, but 11.6% of the Vietnamese, indicated having a positive test result hepatitis B virus. This study helps identify strategies for programs targeting both communities and practitioners.

Multidisciplinary design and flight testing of a remote gas/particle airborne sensor system

The main objective of this paper is to describe the development of a remote sensing airborne air sampling system for Unmanned Aerial Systems (UAS) and provide the capability for the detection of particle and gas concentrations in real time over remote locations. The design of the air sampling methodology started by defining system architecture, and then by selecting and integrating each subsystem. A multifunctional air sampling instrument, with capability for simultaneous measurement of particle and gas concentrations was modified and integrated with ARCAA’s Flamingo UAS platform and communications protocols. As result of the integration process, a system capable of both real time geo-location monitoring and indexed-link sampling was obtained. Wind tunnel tests were conducted in order to evaluate the performance of the air sampling instrument in controlled nonstationary conditions at the typical operational velocities of the UAS platform. Once the remote fully operative air sampling system was obtained, the problem of mission design was analyzed through the simulation of different scenarios. Furthermore, flight tests of the complete air sampling system were then conducted to check the dynamic characteristics of the UAS with the air sampling system and to prove its capability to perform an air sampling mission following a specific flight path.

I know, but I don’t care : how awareness of Queensland’s drug driving testing methods impact upon perceptions of deterrence and offending behaviours

An increasing body of research is highlighting the involvement of illicit drugs in many road fatalities. Deterrence theory has been a core conceptual framework underpinning traffic enforcement as well as interventions designed to reduce road fatalities. Essentially the effectiveness of deterrence-based approaches is predicated on perceptions of certainty, severity, and swiftness of apprehension. However, much less is known about how the awareness of legal sanctions can impact upon the effectiveness of deterrence mechanisms and whether promoting such detection methods can increase the deterrent effect. Nevertheless, the implicit assumption is that individuals aware of the legal sanctions will be more deterred. This study seeks to explore how awareness of the testing method impacts upon the effectiveness of deterrence-based interventions and intentions to drug drive again in the future. In total, 161 participants who reported drug driving in the previous six months took part in the current study. The results show that awareness of testing had a small effect upon increasing perceptions of the certainty of apprehension and severity of punishment. However, awareness was not a significant predictor of intentions to drug drive again in the future. Importantly, higher levels of drug use were a significant predictor of intentions to drug drive in the future. Whilst awareness does have a small effect on deterrence variables, the influence of levels of drug use seems to reduce any deterrent effect.

Destination brand equity for Australia : testing a model of CBBE in short haul and long haul markets

The study of destination brand performance measurement has only emerged in earnest as a field in the tourism literature since 2007. The concept of consumer-based brand equity (CBBE) is gaining favour from services marketing researchers as an alternative to the traditional ‘net-present-value of future earnings’ method of measuring brand equity. The perceptions-based CBBE model also appears suitable for examining destination brand performance, where a financial brand equity valuation on a destination marketing organisation’s (DMO) balance sheet is largely irrelevant. This is the first study to test and compare the model in both short and long haul markets. The paper reports the results of tests of a CBBE model for Australia in a traditional short haul market (New Zealand) and an emerging long haul market (Chile). The data from both samples indicated destination brand salience, brand image, and brand value are positively related to purchase intent for Australia in these two disparate markets.

Testing the accuracy of luminance maps acquired by smart phone cameras

This paper looks at the accuracy of using the built-in camera of smart phones and free software as an economical way to quantify and analyse light exposure by producing luminance maps from High Dynamic Range (HDR) images. HDR images were captured with an Apple iPhone 4S to capture a wide variation of luminance within an indoor and outdoor scene. The HDR images were then processed using Photosphere software (Ward, 2010.) to produce luminance maps, where individual pixel values were compared with calibrated luminance meter readings. This comparison has shown an average luminance error of ~8% between the HDR image pixel values and luminance meter readings, when the range of luminances in the image is limited to approximately 1,500cd/m2.

Organic and acquisitive growth : re-examining, testing and extending Penrose’s growth theory

The Theory of the Growth of The Firm by Edith Penrose, first published in 1959, is a seminal contribution to the field of management. Penrose's intention was to create a theory of firm growth which was logically consistent and empirically tractable (Buckley and Casson, 2007). Much attention, however, has been focused on her unintended contribution to the resource-based view (henceforth RBV) (e.g. Kor and Mahoney, 2004; Lockett and Thompson, 2004) rather than her firm growth theory. We feel that this is unfortunate because despite a rapidly growing body of empirical work, conceptual advancement in growth studies has been limited (Davidsson and Wiklund, 2000; Davidsson et ai., 2006; Delmar, 1997; Storey, 1994). The growth literature frequently references Penrose's work, but little explicit testing of her ideas has been undertaken. This is surprising given that Penrose's work remains the most comprehensive theory of growth to date. One explanation is that she did not formality present her arguments, favouring verbal exposition over formalized models (Lockett, 2005; Lockett and Thompson, 2004). However, the central propositions and conclusions of her theory can be operationalized and empirically tested.

Microbial colonisation of follicular fluid : alterations in cytokine expression and adverse assisted reproductive technology outcomes

Previous studies have measured cytokine expression within follicular fluid collected at the time of trans-vaginal oocyte retrieval and compared the profiles with the aetiology of infertility and/or successful or unsuccessful assisted reproductive technology (ART) outcomes. Seventy-one paired follicular fluid and vaginal swab specimens collected from ART patients were cultured to detect microorganisms and then were tested for the presence of cytokines by multiplex fluorescence bead assays. Specimen selection was based on two criteria: whether the follicular fluid specimen was colonised (with microorganisms prior to oocyte retrieval) or contaminated by lower genital tract microflora at the time of oocyte retrieval and; the aetiology of infertility...

Metabolic and ecological study of environmental pentose utilizing bacteria (E-PUB)

Lignocellulosic materials, such as sugar cane bagasse, a waste product of the sugarcane processing industry, agricultural residues and herbaceous crops, may serve as an abundant and comparatively cheap feedstock for largescale industrial fermentation, resulting in the production of marketable end-products. However, the complex structure of lignocellulosic materials, the presence of various hexose and pentose sugars in the hemicellulose component, and the presence of various compounds that inhibit the organisms selected for the fermentation process, all constitute barriers that add to the production costs and make full scale industrial production economically less feasible. The work presented in this thesis was conducted in order to screen microorganisms for ability to utilize pentose sugars derived from the sugar mill industrial waste. A large number of individual bacterial strains were investigated from hemi-cellulose rich material collected at the Proserpine and Maryborough sugar mills, notably soil samples from the mill sites. The research conducted to isolation of six pentose-capable Gram-positive organisms from the actinomycetes group by using pentose as a sole carbon source in the cultivation process. The isolates were identified as Corynebacterium glutamicum, Actinomyces odontolyticus, Nocardia elegans, and Propionibacterium freudenreichii all of which were isolated from the hemicellulose-enriched soil. Pentose degrading microbes are very rare in the environment, so this was a significant discovery. Previous research indicated that microbes could degrade pentose after genetic modification but the microbes discovered in this research were able to naturally utilize pentose. Six isolates, identified as four different genera, were investigated for their ability to utilize single sugars as substrates (glucose, xylose, arabinose or ribose), and also dual sugars as substrates (a hexose plus a pentose). The results demonstrated that C. glutamicum, A. odontolyticus, N. elegans, and P. freudenreichii were pentose-capable (able to grow using xylose or other pentose sugar), and also showed diauxie growth characteristics during the dual-sugar (glucose, in combination with xylose, arabinose or ribose) carbon source tests. In addition, it was shown that the isolates displayed very small differences in growth rates when grown on dual sugars as compared to single sugars, whether pentose or hexose in nature. The anabolic characteristics of C. glutamicum, A. odontolyticus, N. elegans and P. freudenreichii were subsequently investigated by qualitative analysis of their end-products, using high performance liquid chromatography (HPLC). All of the organisms produced arginine and cysteine after utilization of the pentose substrates alone. In addition, P. freudenreichii produced alanine and glycine. The end-product profile arising from culture with dual carbon sources was also tested. Interestingly, this time the product was different. All of them produced the amino acid glycine, when grown on a combination substrate-mix of glucose with xylose, and also glucose with arabinose. Only N. elegans was able to break down ribose, either singly or in combination with glucose, and the end-product of metabolism of the glucose plus ribose substrate combination was glutamic acid. The ecological analysis of microbial abundance in sugar mill waste was performed using denaturing gradient gel electrophoresis (DGGE) and also the metagenomic microarray PhyloChip method. Eleven solid samples and seven liquid samples were investigated. A very complex bacterial ecosystem was demonstrated in the seven liquid samples after testing with the PhyloChip method. It was also shown that bagasse leachate was the most different, compared to all of the other samples, by virtue of its richness in variety of taxa and the complexity of its bacterial community. The bacterial community in solid samples from Proserpine, Mackay and Maryborough sugar mills showed huge diversity. The information found from 16S rDNA sequencing results was that the bacterial genera Brevibacillus, Rhodospirillaceae, Bacillus, Vibrio and Pseudomonas were present in greatest abundance. In addition, Corynebacterium was also found in the soil samples. The metagenomic studies of the sugar mill samples demonstrate two important outcomes: firstly that the bagasse leachate, as potentially the most pentose-rich sample tested, had the most complex and diverse bacterial community; and secondly that the pentose-capable isolates that were initially discovered at the beginning of this study, were not amongst the most abundant taxonomic groups discovered in the sugar mill samples, and in fact were, as suspected, very rare. As a bioprospecting exercise, therefore, the study has discovered organisms that are naturally present, but in very small numbers, in the appropriate natural environment. This has implications for the industrial application of E-PUB, in that a seeding process using a starter culture will be necessary for industrial purposes, rather than simply assuming that natural fermentation might occur.

A new first-order decision-making model for the procurement of public sector infrastructure: Procedures and Testing

Given global demand for new infrastructure, governments face substantial challenges in funding new infrastructure and delivering Value for Money (VfM). As part of the background to this challenge, a critique is given of current practice in the selection of the approach to procure major public sector infrastructure in Australia and which is akin to the Multi-Attribute Utility Approach (MAUA). To contribute towards addressing the key weaknesses of MAUA, a new first-order procurement decision-making model is presented. The model addresses the make-or-buy decision (risk allocation); the bundling decision (property rights incentives), as well as the exchange relationship decision (relational to arms-length exchange) in its novel approach to articulating a procurement strategy designed to yield superior VfM across the whole life of the asset. The aim of this paper is report on the development of this decisionmaking model in terms of the procedural tasks to be followed and the method being used to test the model. The planned approach to testing the model uses a sample of 87 Australian major infrastructure projects in the sum of AUD32 billion and deploys a key proxy for VfM comprising expressions of interest, as an indicator of competition.