Field modeling code generation technique for automatic parallelization mutation system
Yichun Li, Ningkang Jiang · 2016
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.