| Software formal method which has been regarded as a revolutionary method to improve the software quality and productivity is a key factor of software automation.PAR is a pratical environment for formal development of algorithmic programs ,which was proposed by Professor Xue.As a part of the PAR method,this article was based on the research of projects supported by the Natural Science Foundation of China.This paper mainly presents the works which had been done in the research:1. Compared the syntax distinction between C# and Apia and found out the relationship between them in order to obtain the transformating rule in the system.2.Developed the core translator to transform the Apia's abstract data types to C#'s reusable components library,then turned them into DLL.3.Researched the transformation rule of transforming Apia's generic programs to their equivalent C# programs.4.Developed the Apia to C# auto program transformation system.5.Deduced a large number of the Apia by PAR ,then used them to test the transformation system.In the development of the system,some innovations had been made as follows: integrated software development environment,convenience of composed data type, description and implementation of complex algorithm,C# reusable component library implemented by .NET Generic.All of the Apia's abstract data types were deduced by PAR method,then they were transformed into C#'s reusable components library by means of the core translator. So The correctness of the reusable com.ponents library could be ensured. The transformation system includes lexical checkin&syntax checkin&semantic analysis ,program transformation, program compiling and program running.It can facilitate the safety-critical software development. This system as a powerful auto software developing tool,can be applied to real software development procedure.lt can improve software product's reliability and productivity, and contribute to solve the software crisis.
|
PDF Full Text Request