Intermediary Module Incorporation Technique For Verification (Tool Description)
Vaibhav Shrivastava, Ankit Marwaha · 2009
the advent of complex software model development, emphasis has shifted to revision of an existing model instead of building it from scratch. The visual model, for generation of executable code, requires an intermediate representation that is reconstructed during model revision. This leads to a processing overhead when revisions increase manifold. Making incremental modifications, directly to the intermediate representation of the original model, can eliminate this drawback. Thus, time and space needed to parse the model and extract the details for each revision is saved. In this paper, we implement a revision-incorporating technique of a software design model into an existing version. Initially, the Code Extractor parses the XML file representing the UML model, and extracts the relevant information into a set of tables. A Graphical Interface introduces revisions to the original model. The Module Binder combines them with the original tables to create a new set of tables for the revised model, eliminating the need to parse the entire XML file again. Finally, Validation module helps the designer verify the behavior of the revised model. If satisfied, the designer can approve the model for the code generation of software development. The proposed technique is being implemented as a tool. It forms a part of our semester project. Presently, we are using Visual Paradigm for UML modeling, but it can be done using any other platform. A user-friendly interface for including the revisions to the model has been developed. Our tool can be used to select a suitable revision from a set of revised models by helping the designer to find variations from the desired behavior.