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.

Long-distance signaling in nodulation directed by a CLAVATA1-like receptor kinase

Proliferation of legume nodule primordia is controlled by shoot-root signaling known as autoregulation of nodulation (AON). Mutants defective in AON show supernodulation and increased numbers of lateral roots. Here, we demonstrate that AON in soybean is controlled by the receptor-like protein kinase GmNARK (Glycine max nodule autoregulation receptor kinase), similar to Arabidopsis CLAVATA1 (CLV1). Whereas CLV1 functions in a protein complex controlling stem cell proliferation by short-distance signaling in shoot apices, GmNARK expression in the leaf has a major role in long-distance communication with nodule and lateral root primordia.