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.

Electrochemically-induced TCNQ/Mn TCNQ 2 (H2O) 2 (TCNQ= 7, 7, 8, 8-Tetracyanoquinodimethane) solid-solid interconversion : two voltammetrically distinct processes that allow selective generation of nanofiber or nanorod network morphologies

Unlike the case with other divalent transition metal M\[TCNQ](2)(H(2)O)(2) (M = Fe, Co, Ni) analogues, the electrochemically induced solid-solid phase interconversion of TCNQ microcrystals (TCNQ = 7,7,8,8-tetracyanoquinodimethane) to Mn\[TCNQ](2)(H(2)O)(2) occurs via two voltammetrically distinct, time dependent processes that generate the coordination polymer in nanofiber or rod-like morphologies. Careful manipulation of the voltammetric scan rate, electrolysis time, Mn(2+)((aq)) concentration, and the method of electrode modification with solid TCNQ allows selective generation of either morphology. Detailed ex situ spectroscopic (IR, Raman), scanning electron microscopy (SEM), and X-ray powder diffraction (XRD) characterization clearly establish that differences in the electrochemically synthesized Mn-TCNQ material are confined to morphology. Generation of the nanofiber form is proposed to take place rapidly via formation and reduction of a Mn-stabilized anionic dimer intermediate, \[(Mn(2+))(TCNQ-TCNQ)(2)(*-)], formed as a result of radical-substrate coupling between TCNQ(*-) and neutral TCNQ, accompanied by ingress of Mn(2+) ions from the aqueous solution at the triple phase TCNQ/electrode/electrolyte boundary. In contrast, formation of the nanorod form is much slower and is postulated to arise from disproportionation of the \[(Mn(2+))(TCNQ-TCNQ)(*-)(2)] intermediate. Thus, identification of the time dependent pathways via the solid-solid state electrochemical approach allows the crystal size of the Mn\[TCNQ](2)(H(2)O)(2) material to be tuned and provides new mechanistic insights into the formation of different morphologies.

Modelling multiple disulphide loop containing polypeptides by random conformation generation. The test cases of α-conotoxin GI and edothelin I

A general procedure for arriving at 3-D models of disulphiderich olypeptide systems based on the covalent cross-link constraints has been developed. The procedure, which has been coded as a computer program, RANMOD, assigns a large number of random, permitted backbone conformations to the polypeptide and identifies stereochemically acceptable structures as plausible models based on strainless disulphide bridge modelling. Disulphide bond modelling is performed using the procedure MODIP developed earlier, in connection with the choice of suitable sites where disulphide bonds could be engineered in proteins (Sowdhamini,R., Srinivasan,N., Shoichet,B., Santi,D.V., Ramakrishnan,C. and Balaram,P. (1989) Protein Engng, 3, 95-103). The method RANMOD has been tested on small disulphide loops and the structures compared against preferred backbone conformations derived from an analysis of putative disulphide subdatabase and model calculations. RANMOD has been applied to disulphiderich peptides and found to give rise to several stereochemically acceptable structures. The results obtained on the modelling of two test cases, a-conotoxin GI and endothelin I, are presented. Available NMR data suggest that such small systems exhibit conformational heterogeneity in solution. Hence, this approach for obtaining several distinct models is particularly attractive for the study of conformational excursions.

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

Generation of a 3D proximal femur shape from a single projection 2D radiographic image.

Summary Generalized Procrustes analysis and thin plate splines were employed to create an average 3D shape template of the proximal femur that was warped to the size and shape of a single 2D radiographic image of a subject. Mean absolute depth errors are comparable with previous approaches utilising multiple 2D input projections. Introduction Several approaches have been adopted to derive volumetric density (g cm-3) from a conventional 2D representation of areal bone mineral density (BMD, g cm-2). Such approaches have generally aimed at deriving an average depth across the areal projection rather than creating a formal 3D shape of the bone. Methods Generalized Procrustes analysis and thin plate splines were employed to create an average 3D shape template of the proximal femur that was subsequently warped to suit the size and shape of a single 2D radiographic image of a subject. CT scans of excised human femora, 18 and 24 scanned at pixel resolutions of 1.08 mm and 0.674 mm, respectively, were equally split into training (created 3D shape template) and test cohorts. Results The mean absolute depth errors of 3.4 mm and 1.73 mm, respectively, for the two CT pixel sizes are comparable with previous approaches based upon multiple 2D input projections. Conclusions This technique has the potential to derive volumetric density from BMD and to facilitate 3D finite element analysis for prediction of the mechanical integrity of the proximal femur. It may further be applied to other anatomical bone sites such as the distal radius and lumbar spine.