A framework for specification-based testing

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.

A case study in specification and implementation testing

Achieving consistency between a specification and its implementation is an important part of software development In previous work, we have presented a method and tool support for testing a formal specification using animation and then verifying an implementation of that specification. The method is based on a testgraph, which provides a partial model of the application under test. The testgraph is used in combination with an animator to generate test sequences for testing the formal specification. The same testgraph is used during testing to execute those same sequences on the implementation and to ensure that the implementation conforms to the specification. So far, the method and its tool support have been applied to software components that can be accessed through an application programmer interface (API). In this paper, we use an industrially-based case study to discuss the problems associated with applying the method to a software system with a graphical user interface (GUI). In particular, the lack of a standardised interface, as well as controllability and observability problems, make it difficult to automate the testing of the implementation. The method can still be applied, but the amount of testing that can be carried on the implementation is limited by the manual effort involved.

Analysis of small signal stability margins using genetic optimization

Power system small signal stability analysis aims to explore different small signal stability conditions and controls, namely: (1) exploring the power system security domains and boundaries in the space of power system parameters of interest, including load flow feasibility, saddle node and Hopf bifurcation ones; (2) finding the maximum and minimum damping conditions; and (3) determining control actions to provide and increase small signal stability. These problems are presented in this paper as different modifications of a general optimization to a minimum/maximum, depending on the initial guesses of variables and numerical methods used. In the considered problems, all the extreme points are of interest. Additionally, there are difficulties with finding the derivatives of the objective functions with respect to parameters. Numerical computations of derivatives in traditional optimization procedures are time consuming. In this paper, we propose a new black-box genetic optimization technique for comprehensive small signal stability analysis, which can effectively cope with highly nonlinear objective functions with multiple minima and maxima, and derivatives that can not be expressed analytically. The optimization result can then be used to provide such important information such as system optimal control decision making, assessment of the maximum network's transmission capacity, etc. (C) 1998 Elsevier Science S.A. All rights reserved.

Microstrip circular phased array design and development using microwave antenna CAD tools

The complex design and development of a planar multilayer phased array antenna in microstrip technology can be simplified using two commercially available design tools 1) Ansoft Ensemble and 2) HP-EEsof Touchstone. In the approach presented here, Touchstone is used to design RF switches and phase shifters whose scattering parameters are incorporated in Ensemble simulations using its black box tool. Using this approach, Ensemble is able to fully analyze the performance of radiating and beamforming layers of a phased array prior to its manufacturing. This strategy is demonstrated in a design example of a 12-element linearly-polarized circular phased array operating at L band. A comparison between theoretical and experimental results of the array is demonstrated.

The anammox case - A new experimental manifesto for microbiological eco-physiology

The anaerobic ammonium oxidation process is a new process for ammonia removal from wastewater. It is also a new microbial physiology that was previously believed to be impossible. The identification of Candidatus Brocadia anammoxidans and its relatives as the responsible bacteria was only possible with the development of a new experimental approach. That approach is the focus of this paper. The approach is a modernisation of the Winogradsky/Beyerinck strategy of selective enrichment and is based on the introduction of the molecular toolbox and modern bioreactor engineering to microbial ecology. It consists of five steps: (1) postulation of an ecological niche based on thermodynamic considerations and macro-ecological field data; (2) engineering of this niche into a laboratory bioreactor for enrichment culture; (3) black-box physiological characterisation of the enrichment culture as a whole; (4) phylogenetic characterisation of the enriched community using molecular tools; (5) physical separation of the dominant members of the enrichment culture using gradient centrifugation and the identification of the species of interest in accordance with Koch's postulates; (6) verification of the in situ importance of these species in the actual ecosystems. The power of this approach is illustrated with a case study: the identification of the planctomycetes responsible for anaerobic ammonium oxidation. We argue that this was impossible using molecular ecology or conventional 'cultivation based techniques' alone. We suggest that the approach might also be used for the microbiological study of many interesting microbes such as anaerobic methane oxidisers.

The role of space as both a conflict trigger and a conflict control mechanism in culturally heterogeneous workgroups

The diversity literature is replete with examples of poor outcomes in Culturally Heterogeneous Workgroups (CHWs) caused by relational difficulties. Although it is widely recognised that culture shapes people's interpretation of behavior and their style of interaction with others in the workplace, what is ill understood is what the specific conflict triggers of these conflicts are. In this paper, we argue that differences in cultural norms and views of physical and psychological space are major triggers of conflict in CHWs. Findings from a field study support the proposition that different viewpoints regarding the use of space, the inability to retreat from exposure to others, decreased interpersonal space, and privacy invasion moderate the relationship between cultural diversity in the workgroup and the type, frequency, and duration of conflict events in CHWs. The paper represents a first step in elucidating the role of space in cross-cultural interactions in the workplace and how space may be a potentially important conflict control mechanism for managers of culturally diverse workgroups.

Phenolic acids and abscisic acid in Australian Eucalyptus honeys and their potential for floral authentication

Seven phenolic acids related to the botanical origins of nine monofloral Eucalyptus honeys from Australia, along with two abscisic isomers, have been analyzed. The mean content of total phenolic acids ranges from 2.14 mg/100 g honey of black box (Eucalyptus largiflorens) honey to 10.3 mg/100 g honey of bloodwood (Eucalyptus intermedia) honey, confirming an early finding that species-specific differences of phytochemical compositions occur quantitatively among these Eucalyptus honeys. A common profile of phenolic acids, comprising gallic, chlorogenic, coumaric and caffeic acids, can be found in all the Eucalyptus honeys, which could be floral markers for Australian Eucalyptus honeys. Thus, the analysis of phenolic acids could also be used as an objective method for the authentication of botanical origin of Eucalyptus honeys. Moreover, all the honey samples analyzed in this study contain gallic acid as the main phenolic acid, except for stringybox (Eucalyptus globoidia) honey which has ellagic acid as the main phenolic acid. This result indicates that the species-specific differences can also be found in the honey profiles of phenolic acids. Further-more, the analysis of abscisic acid in honey shows that the content of abscisic acid varies from 0.55 mg/100 g honey of black box honey to 4.68 mg/ 100 g honey of bloodwood honey, corresponding to the contents of phenolic acids measured in these honeys. These results have further revealed that the HPLC analysis of honey phytochemical constituents could be used individually and/or jointly for the authentication of the botanical origins of Australian Eucalyptus honeys. (C) 2003 Elsevier Ltd. All rights reserved.

On the equivalence of weighted Country-Product-Dummy (CPD) Method and the Rao-System for multilateral price comparisons

The country-product-dummy (CPD) method, originally proposed in Summers (1973), has recently been revisited in its weighted formulation to handle a variety of data related situations (Rao and Timmer, 2000, 2003; Heravi et al., 2001; Rao, 2001; Aten and Menezes, 2002; Heston and Aten, 2002; Deaton et al., 2004). The CPD method is also increasingly being used in the context of hedonic modelling instead of its original purpose of filling holes in Summers (1973). However, the CPD method is seen, among practitioners, as a black box due to its regression formulation. The main objective of the paper is to establish equivalence of purchasing power parities and international prices derived from the application of the weighted-CPD method with those arising out of the Rao-system for multilateral comparisons. A major implication of this result is that the weighted-CPD method would then be a natural method of aggregation at all levels of aggregation within the context of international comparisons.

Photodegradation of polyaromatic hydrocarbons in passive air samplers: Field testing different deployment chambers

Semi-permeable membrane devices (SPMDs) were loaded with deuterated anthracene and pyrene as performance reference compounds (PRCs) and deployed at a test site in four different chambers (open and closed box chamber, bowl chamber and cage chamber) for 29 days. The losses of PRCs and the uptake of polyaromatic hydrocarbons (PAHs) from the ambient air were quantified. UV-B levels measured in each deployment chamber indicated that SPMDs would be exposed to the most UV-B in the cage chamber and open box chamber. Significantly less PAHs were quantified in SPMDs deployed in the cage chamber and open box chamber compared to samplers from the other two chambers, suggesting that photodegradation of PAHs had occurred. The loss of PRCs confirmed these results but also showed that photodegradation was occurring in the closed box chamber. The bowl chamber appears to provide the best protection from the influence of direct photodegradation. (c) 2006 Elsevier Ltd. All rights reserved.