Visoelastic studies on thermoplastic polyurethane nanocomposites using a nano-hardness tester

The viscoelastic behaviour of a range of polyurethane thermoplastic elastomer montmorillonite nanocomposites has been studied using a nanohardness tester. For softer Shore hardness 80A materials, the introduction of the organo-clay increased the creep strain obtained while the nano-indentor was held at constant load. The increase in creep strain was greatest for materials containing an organo-clay modified with a more hydrophilic quaternary alkylammonium surfactant and with higher loadings of the hydrophilic organo-clay. This suggested the effect might be due to a plasticising effect of the excess surfactant. For the harder Shore hardness 55D materials, the addition of the organo-clays produced only a small decrease in the creep strain, probably due to the interconnected hard domains in this material.

A framework and tool support for the systematic testing of model-based specifications

Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and validated against the requirements. Specification testing or animation tools exist to assist with this by allowing the specifier to interpret or execute the specification. However, currently little is known about how to do this effectively. This article presents a framework and tool support for the systematic testing of formal, model-based specifications. Several important generic properties that should be satisfied by model-based specifications are first identified. Following the idea of mutation analysis, we then use variants or mutants of the specification to check that these properties are satisfied. The framework also allows the specifier to test application-specific properties. All properties are tested for a range of states that are defined by the tester in the form of a testgraph, which is a directed graph that partially models the states and transitions of the specification being tested. Tool support is provided for the generation of the mutants, for automatically traversing the testgraph and executing the test cases, and for reporting any errors. The framework is demonstrated on a small specification and its application to three larger specifications is discussed. Experience indicates that the framework can be used effectively to test small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.

Supporting the software testing process through specification animation

Achieving consistency between a specification and its implementation is an important part of software development. In this paper, we present a method for generating passive test oracles that act as self-checking implementations. The implementation is verified using an animation tool to check that the behavior of the implementation matches the behavior of the specification. We discuss how to integrate this method into a framework developed for systematically animating specifications, which means a tester can significantly reduce testing time and effort by reusing work products from the animation. One such work product is a testgraph: a directed graph that partially models the states and transitions of the specification. Testgraphs are used to generate sequences for animation, and during testing, to execute these same sequences on the implementation.