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.     

A coupled mechanical‐charge/dipole molecular dynamics finite element method,with multi‐scale applications to the design of graphene nano‐devices

A new Molecular Dynamics Finite Element Method (MDFEM) with a coupled mechanical‐charge/dipole formulation is proposed. The equilibrium equations of Molecular Dynamics (MD) are embedded exactly within the computationally more favourable Finite Element Method (FEM). This MDFEM can readily implement any force field because the constitutive relations are explicitly uncoupled from the corresponding geometric element topologies. This formal uncoupling allows to differentiate between chemical‐constitutive, geometric and mixed‐mode instabilities. Different force fields, including bond‐order reactive and polarisable fluctuating charge–dipole potentials, are implemented exactly in both explicit and implicit dynamic commercial finite element code. The implicit formulation allows for larger length and time scales and more varied eigenvalue‐based solution strategies. The proposed multi‐physics and multi‐scale compatible MDFEM is shown to be equivalent to MD, as demonstrated by examples of fracture in carbon nanotubes (CNT), and electric charge distribution in graphene, but at a considerably reduced computational cost. The proposed MDFEM is shown to scale linearly, with concurrent continuum FEM multi‐scale couplings allowing for further computational savings. Moreover, novel conformational analyses of pillared graphene structures (PGS) are produced. The proposed model finds potential applications in the parametric topology and numerical design studies of nano‐structures for desired electro‐mechanical properties (e.g. stiffness, toughness and electric field induced vibrational/electron‐emission properties). Copyright © 2014 John Wiley & Sons, Ltd.     

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.