Generating model-based test cases from natural language requirements for space application software

Natural Language (NL) deliverables suffer from ambiguity, poor understandability, incompleteness, and inconsistency. Howewer, NL is straightforward and stakeholders are familiar with it to produce their software requirements documents. This paper presents a methodology, SOLIMVA, which aims at model-based test case generation considering NL requirements deliverables. The methodology is supported by a tool that makes it possible to automatically translate NL requirements into Statechart models. Once the Statecharts are derived, another tool, GTSC, is used to generate the test cases. SOLIMVA uses combinatorial designs to identify scenarios for system and acceptance testing, and it requires that a test designer defines the application domain by means of a dictionary. Within the dictionary there is a Semantic Translation Model in which, among other features, a word sense disambiguation method helps in the translation process. Using as a case study a space application software product, we compared SOLIMVA with a previous manual approach developed by an expert under two aspects: test objectives coverage and characteristics of the Executable Test Cases. In the first aspect, the SOLIMVA methodology not only covered the test objectives associated to the expert’s scenarios but also proposed a better strategy with test objectives clearly separated according to the directives of combinatorial designs. The Executable Test Cases derived in accordance with the SOLIMVA methodology not only possessed similar characteristics with the expert’s Executable Test Cases but also predicted behaviors that did not exist in the expert’s strategy. The key benefits from applying the SOLIMVA methodology/tool within a Verification and Validation process are the ease of use and, at the same time, the support of a formal method consequently leading to a potential acceptance of the methodology in complex software projects.     

Synthesis of low molecular weight polyethylenes and polyethylene mimics with controlled chain structures

The controlled synthesis of narrowly distributed low molecular weight polymers with functionalization possibilities is of great industrial interests. Although living polymerization allows for control over polymer architecture, the production of low molecular weight polymers with low polydispersities via living polymerization systems is challenged by the use of large amounts of catalysts and broadening in molecular weight distribution. This review addresses the synthesis of narrowly distributed, functional, low molecular weight polyethylene and polyethylene mimics. The review is structured for quick identification of relevant systems for the production of specific polymer architectures with specific cost, efficiency, and safety concerns.     

Overexpression of microRNAs miR-25-3p,miR-185-5p and miR-132-3p in Late Onset Fetal Growth Restriction,Validation of Results and Study of the Biochemical Pathways Involved

In a prospective study, 48 fetuses were evaluated with Doppler ultrasound after 34 weeks and classified, according to the cerebroplacental ratio (CPR) and estimated fetal weight (EFW), into fetuses with normal growth and fetuses with late-onset fetal growth restriction (LO-FGR). Overexpression of miRNAs from neonatal cord blood belonging to LO-FGR fetuses, was validated by real-time PCR. In addition, functional characterization of overexpressed miRNAs was performed by analyzing overrepresented pathways, gene ontologies, and prioritization of synergistically working miRNAs. Three miRNAs: miR-25-3p, miR-185-5p and miR-132-3p, were significantly overexpressed in cord blood of LO-FGR fetuses. Pathway and gene ontology analysis revealed over-representation of certain molecular pathways associated with cardiac development and neuron death. In addition, prioritization of synergistically working miRNAs highlighted the importance of miR-185-5p and miR-25-3p in cholesterol efflux and starvation responses associated with LO-FGR phenotypes. Evaluation of miR-25-3p; miR-132-3p and miR-185-5p might serve as molecular biomarkers for the diagnosis and management of LO-FGR; improving the understanding of its influence on adult disease.     

Wet‐fractionation of Phaseolus lunatus seeds: partial characterization of starch and protein

The optimum extraction conditions for integral use of Phaseolus lunatus seed, in alkaline medium, are 1:6 (w/v) flour:water ratio, pH 11 and a 1 h extraction time. Three main fractions were produced under these conditions: starch; protein isolate and fibrous residue by‐product. The yield is 288.4 g kg^?1 starch, 188.2 g kg^?1 protein isolate and the remaining quantity, fibrous residue. The starch has 98.4% purity, a 75 °C gelatinization temperature and high syneresis even at high concentrations. It also has high viscosity, good stability and middle retrogradation during the heating–cooling cycle. The protein isolate contains 711.3 g kg^?1 protein as well as 75.5 g lysine kg^?1 protein, 10.1 g methionine kg^?1 protein and 12.2 g tryptophan kg^?1 protein. Its in vitro digestibility is 79% with a 2.5 c‐PER. The fibrous residue contains 63 g kg^?1 of protein, 328.4 g kg^?1 of crude fiber and 567.3 g kg^?1 of NFE. Copyright © 2004 Society of Chemical Industry     

Continuous-Flow UV Liquid Food Pasteurization: Engineering Aspects

Ultraviolet (UV)-C treatments are a promising technology for liquid food pasteurization as an alternative to heat treatments. However, the design of efficient UV reactors to reduce pertinent microorganisms and comply with current food safety goals is still an engineering challenge due to the low penetration depth of UV light in liquid foods with high UV absorbance and suspended particles, and the variations in the residence time of the product in the UV reactors. This review focuses on physical aspects of UV radiation related to the essential product and processing parameters for the design of UV reactors. The UV equipment available for liquid food processing is described and the main drawbacks and advantages are discussed.     

Performance of a New Microbial Test for Quinolone Residues in Muscle

Concerns regarding the presence of drug residues in foods include allergic reactions, toxicity, technological problems in fermented products and the development of antibiotic resistance in human pathogens. The analysis of antimicrobial residues in foods is generally carried out, in a first step, through microbiological screening tests. These tests commonly use Geobacillus stearothermophilus as target specie but show a low ability to detect quinolones. The goal of our study was to evaluate the performance of a new microbiological test (Equinox) for detection of quinolone residues in muscle. The kit contains an ampoule with a standardized number of freeze-dried Escherichia coli and must be diluted with a specific detection medium containing a redox indicator. Microbial growth will modify the redox potential of the medium being observed through a colour change (from blue to brown/orange). Equinox limits of detection for most of tested quinolones (enrofloxacin, norfloxacin, sarafloxacin, marbofloxacin, ciprofloxacin, danofloxacin and difloxacin) were below or around maximum residue limit (MRL) UE and CCβ values obtained corresponded with the determined sensitivities. In contrast, flumequine could not be detected at MRL UE levels. Moreover, Equinox displayed a low sensitivity to other antimicrobials. Sensitivity data obtained in vitro were consistent when testing incurred muscle samples. Matrix constituents, test batch and animal species did not affect the performance of the test. Equinox could be easily automated enabling a large numbers of simultaneous analysis, and a photometric reading can be applied for a precise interpretation. The results obtained in this study prove that Equinox is a useful tool when screening for quinolone residues or can be combined with other methods for screening of unknown samples.