UML approach to the generation of test sequences for Java-based concurrent systems

Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this specification, test sequences for validating an implementation of the system. The approach is to first extend the specification to create UML state machines that directly address those aspects of the system we wish to test. To be specific, the extended UML state machines can capture state information about the number of waiting threads or the number of threads blocked on a given object. Using the SAL model checker we can generate from the extended UML state machines sequences that cover all the various possibilities of events and states. These sequences can then be directly transformed into test sequences suitable for input into a testing tool such as ConAn. As an illustration, the methodology is applied to generate sequences for testing a Java implementation of the producer-consumer system. © 2005 IEEE

Automated Generating of Test Units for Evaluation of Cognitive and Language Skills

Report published in the Proceedings of the National Conference on "Education and Research in the Information Society", Plovdiv, May, 2016

Extração de casos de teste utilizando Redes de Petri hierárquicas e validação de resultados utilizando OWL.

Este trabalho propõe dois métodos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hierárquica e o segundo valida os resultados após a realização dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema desenvolvido ao reduzir o risco de uma cobertura insuficiente ou teste incompleto de uma funcionalidade. A primeira técnica apresentada consiste de cinco etapas: i) avaliação do sistema e identificação dos módulos e entidades separáveis, ii) levantamento dos estados e transições, iii) modelagem do sistema (bottom-up), iv) validação do modelo criado avaliando o fluxo de cada funcionalidade e v) extração dos casos de teste usando uma das três coberturas de teste apresentada. O segundo método deve ser aplicado após a realização dos testes e possui cinco passos: i) primeiro constrói-se um modelo em OWL (Web Ontology Language) do sistema contendo todas as informações significativas sobre as regras de negócio da aplicação, identificando as classes, propriedades e axiomas que o regem; ii) em seguida o status inicial antes da execução é representado no modelo através da inserção das instâncias (indivíduos) presentes; iii) após a execução dos casos de testes, a situação do modelo deve ser atualizada inserindo (sem apagar as instâncias já existentes) as instâncias que representam a nova situação da aplicação; iv) próximo passo consiste em utilizar um reasoner para fazer as inferências do modelo OWL verificando se o modelo mantém a consistência, ou seja, se não existem erros na aplicação; v) finalmente, as instâncias do status inicial são comparadas com as instâncias do status final, verificando se os elementos foram alterados, criados ou apagados corretamente. O processo proposto é indicado principalmente para testes funcionais de caixa-preta, mas pode ser facilmente adaptado para testes em caixa branca. Obtiveram-se casos de testes semelhantes aos que seriam obtidos em uma análise manual mantendo a mesma cobertura do sistema. A validação provou-se condizente com os resultados esperados, bem como o modelo ontológico mostrouse bem fácil e intuitivo para aplicar manutenções.

A survey of the generation of ocean waves in a test basin

At present stage the analytical design of wave tolerance for floating structures and vessels is still imperfect due to the mutually complex and nonlinear phenomena between structures and waves. Wave tolerance design is usually carried out through iterative evaluations of results from model tests in a wave basin, and this is done in order to reach a final structural design. The wave generation has then become an important technology in the field of the coastal and ocean engineering. This paper summarizes the facilities of a test basin and a wave maker in Japan and also surveys the methodology of the generation of ocean waves in a test basin.

An integrated approach of software development and test processes to distributed teams

The Distributed Software Development (DSD) is a development strategy that meets the globalization needs concerned with the increase productivity and cost reduction. However, the temporal distance, geographical dispersion and the socio-cultural differences, increased some challenges and, especially, added new requirements related with the communication, coordination and control of projects. Among these new demands there is the necessity of a software process that provides adequate support to the distributed software development. This paper presents an integrated approach of software development and test that considers distributed teams peculiarities. The approach purpose is to offer support to DSD, providing a better project visibility, improving the communication between the development and test teams, minimizing the ambiguity and difficulty to understand the artifacts and activities. This integrated approach was conceived based on four pillars: (i) to identify the DSD peculiarities concerned with development and test processes, (ii) to define the necessary elements to compose the integrated approach of development and test to support the distributed teams, (iii) to describe and specify the workflows, artifacts, and roles of the approach, and (iv) to represent appropriately the approach to enable the effective communication and understanding of it.

The impact of retrieval processes, age, general achievement level, and test scoring scheme for children's metacognitive monitoring and controlling

This multi-phase study examined the influence of retrieval processes on children’s metacognitive processes in relation to and in interaction with achievement level and age. First, N = 150 9/10- and 11/12-year old high and low achievers watched an educational film and predicted their test performance. Children then solved a cloze test regarding the film content including answerable and unanswerable items and gave confidence judgments to every answer. Finally, children withdrew answers that they believed to be incorrect. All children showed adequate metacognitive processes before and during test taking with 11/12- year-olds outperforming 9/10-year-olds when considering characteristics of on-going retrieval processes. As to the influence of achievement level, high compared to low achievers proved to be more accurate in their metacognitive monitoring and controlling. Results suggest that both cognitive resources (operationalized through achievement level) and mnemonic experience (assessed through age) fuel metacognitive development. Nevertheless, when facing higher demands regarding retrieval processes, experience seems to play the more important role.

Shaping the values of the next generation: Value transmission processes within the family

Abstract: Research on human values within the family focuses on value congruence between the family members (Knafo & Schwartz, 2004), based on the assumption that transmission of values is part of a child’s socialization process. Within the family, values are not only implicitly transmitted through this process but also explicitly conveyed through the educational goals of parents (Grusec et al., 2000; Knafo & Schwartz, 2003; 2004, 2009). However, there is a lack of empirical evidence on the role of family characteristics in the value transmission process, especially for families with young children. Thus, the study presented had multiple aims: Firstly, it analyzed the congruency between mothers’ and fathers’ values and their value-based educational goals. Secondly, it examined the influence of mothers’ and fathers’ socio-demographic characteristics on their educational goals. Thirdly, it analyzed the differences in parental educational goals in families with daughters and families with sons. Finally, it examined the congruency between children’s values and the value-based educational goals of their parents. The value transmission process within families with young children was analyzed using data from complete families (child, mother and father) in Switzerland (N = 265). The survey of children consisted of 139 boys and 126 girls aged between 7 and 9 years. Parents’ values and parental educational goals were assessed using the Portrait Value Questionnaire (PVQ-21) (Schwartz, 2005). Children’s’ values were assessed using the Picture-Based Value Survey for Children (PBVS-C) (Döring et al., 2010). Regarding the role of the family context in the process of shaping children’s values, the results of the study show that, on average, parents are similar not only with respect to their value profiles but also with regard to their notion as to which values they would like to transmit to their children. Our findings also suggest that children’s values at an early age are shaped more strongly by mothers’ values than by fathers’ values. Moreover, our results show differences in value transmission with respect to the child’s gender. In particular, they suggest that value transmission within the family has a greater influence on female than on male offspring.

Two distinct proteolytic processes in the generation of a major histocompatibility complex class I-presented peptide

Although cellular proteins degraded by proteasomes are the source of most antigenic peptides presented on major histocompatibility complex class I molecules, it is unknown whether the eight- to nine-residue peptides that fit in the binding groove of class I molecules are directly produced by proteasomes alone in vivo. If the eight-residue peptide SIINFEKL from chicken ovalbumin is extended by one or several residues at its C terminus and microinjected into cells or expressed from a minigene, it is processed and presented on major histocompatibility complex class I. However, processing and presentation are inhibited by proteasome inhibitors, such as lactacystin. In contrast, when SIINFEKL is extended by 2 to 25 residues at its N terminus, its presentation is not blocked by proteasome inhibitors. N-terminal processing also can occur when the extended peptide is cotranslationally inserted into the endoplasmic reticulum. Thus, two different proteolytic steps in the generation of an chicken ovalbumin-presented peptide can be distinguished. Cleavage by the proteasome defines the proper C terminus, whereas distinct peptidase(s) in the cytosol or endoplasmic reticulum may generate the appropriate N terminus from extended peptides.

The inhibitory effects of free nitrous acid on the energy generation and growth processes of an enriched Nitrobacter culture

The inhibitory effects of nitrite (NO2-)/free nitrous acid (HNO2-FNA) on the metabolism of Nitrobacter were investigated using a method allowing the decoupling of the growth and energy generation processes. A lab-scale sequencing batch reactor was operated for the enrichment of a Nitrobacter culture. Fluorescent in situ hybridization (FISH) analysis showed that 73% of the bacterial population was Nitrobacter. Batch tests were carried out to assess the oxygen and nitrite consumption rates of the enriched culture at low and high nitrite levels, in the presence or absence of inorganic carbon. It was observed that in the absence of CO2, the Nitrobacter culture was able to oxidize nitrite at a rate that is 76% of that in the presence of CO2, with an oxygen consumption rate that is 85% of that measured in the presence of CO2. This enabled the impacts of nitrite/FNA on the catabolic and anabolic processes of Nitrobacter to be assessed separately. FNA rather than nitrite was likely the actual inhibitor to the Nitrobacter metabolism. It was revealed that FNA of up to 0.05 mg HNO2-N center dot L-1 (3.4 mu M), which was the highest FNA concentration used in this study, did not have any inhibitory effect on the catabolic processes of Nitrobacter. However, FNA initiated its inhibition to the anabolic processes of Nitrobacter at approximately 0.011 mg HNO2-N center dot L-1 (0.8 mu M), and completely stopped biomass synthesis at a concentration of approximately 0.023 mg HNO2-N center dot L-1 (1.6 mu M). The inhibitory effect could be described by an empirical inhibitory model proposed in this paper, but the underlying mechanisms remain to be revealed.

Techno-economic assessment and uncertainty analysis of thermochemical processes for second generation biofuels

Biomass-To-Liquid (BTL) is one of the most promising low carbon processes available to support the expanding transportation sector. This multi-step process produces hydrocarbon fuels from biomass, the so-called “second generation biofuels” that, unlike first generation biofuels, have the ability to make use of a wider range of biomass feedstock than just plant oils and sugar/starch components. A BTL process based on gasification has yet to be commercialized. This work focuses on the techno-economic feasibility of nine BTL plants. The scope was limited to hydrocarbon products as these can be readily incorporated and integrated into conventional markets and supply chains. The evaluated BTL systems were based on pressurised oxygen gasification of wood biomass or bio-oil and they were characterised by different fuel synthesis processes including: Fischer-Tropsch synthesis, the Methanol to Gasoline (MTG) process and the Topsoe Integrated Gasoline (TIGAS) synthesis. This was the first time that these three fuel synthesis technologies were compared in a single, consistent evaluation. The selected process concepts were modelled using the process simulation software IPSEpro to determine mass balances, energy balances and product distributions. For each BTL concept, a cost model was developed in MS Excel to estimate capital, operating and production costs. An uncertainty analysis based on the Monte Carlo statistical method, was also carried out to examine how the uncertainty in the input parameters of the cost model could affect the output (i.e. production cost) of the model. This was the first time that an uncertainty analysis was included in a published techno-economic assessment study of BTL systems. It was found that bio-oil gasification cannot currently compete with solid biomass gasification due to the lower efficiencies and higher costs associated with the additional thermal conversion step of fast pyrolysis. Fischer-Tropsch synthesis was the most promising fuel synthesis technology for commercial production of liquid hydrocarbon fuels since it achieved higher efficiencies and lower costs than TIGAS and MTG. None of the BTL systems were competitive with conventional fossil fuel plants. However, if government tax take was reduced by approximately 33% or a subsidy of £55/t dry biomass was available, transport biofuels could be competitive with conventional fuels. Large scale biofuel production may be possible in the long term through subsidies, fuels price rises and legislation.

Automatized Generation of Metadata and Calibrated Test Item Banks for E-learning

Report published in the Proceedings of the National Conference on "Education in the Information Society", Plovdiv, May, 2013

Thermal lens and heat generation of Nd : YAG lasers operating at 1.064 and 1.34 mu m

We report on a simple and accurate method for determination of thermo-optical and spectroscopic parameters (thermal diffusivity, temperature coefficient of the optical path length change, pump and fluorescence quantum efficiencies, thermal loading, thermal lens focal length, etc) of relevance in the thermal lensing of end-pumped neodymium lasers operating at 1.06- and 1.3-mu m channels. The comparison between thermal lensing observed in presence and absence of laser oscillation has been used to elucidate and evaluate the contribution of quantum efficiency and excited sate absorption processes to the thermal loading of Nd: YAG lasers. (c) 2008 Optical Society of America.

Generation of Naphthoquinone Radical Anions by Electrospray Ionization: Solution, Gas-Phase, and Computational Chemistry Studies

Radical anions are present in several chemical processes, and understanding the reactivity of these species may be described by their thermodynamic properties. Over the last years, the formation of radical ions in the gas phase has been an important issue concerning electrospray ionization mass spectrometry studies. In this work, we report on the generation of radical anions of quinonoid compounds (Q) by electrospray ionization mass spectrometry. The balance between radical anion formation and the deprotonated molecule is also analyzed by influence of the experimental parameters (gas-phase acidity, electron affinity, and reduction potential) and solvent system employed. The gas-phase parameters for formation of radical species and deprotonated species were achieved on the basis of computational thermochemistry. The solution effects on the formation of radical anion (Q(center dot-)) and dianion (Q(2-)) were evaluated on the basis of cyclic voltammetry analysis and the reduction potentials compared with calculated electron affinities. The occurrence of unexpected ions [Q + 15](-) was described as being a reaction between the solvent system and the radical anion, Q(center dot-).The gas-phase chemistry of the electrosprayed radical anions was obtained by collisional-induced dissociation and compared to the relative energy calculations. These results are important for understanding the formation and reactivity of radical anions and to establish their correlation with the reducing properties by electrospray ionization analyses.