Field modeling code generation technique for automatic parallelization mutation system

Abstract

Unlike common imperative program language (such as java, C or ADA), compiler maintains model-based code generator, and generated component has no established method in spite of progress achieved in the field of formal verification. Several test methods are dominant in engineering practice. The paper describes a common testing system with independent tools for using code generator developed based on model. We evaluate validity of our method through testing optimization of TargetLink code generating program. TargetLink code generator is a widely accepted and complex development tool based on model automation development.