| In the scientific research of communication field,researchers often use scientific software to perform complex numerical calculations to simulate physical phenomena,so as to improve computational accuracy,reduce experimental costs,and improve experimental efficiency.However,due to the existing software development methods are not fully applicable to the development process of such scientific software,it generally has the problems of poor readability,reliability and reusability.Therefore,this thesis proposes a symbolic test-driven development method for research scientific software in the communication field.By analyzing the connotation of mathematical symbols in domain problems,the requirement model and design model are established in turn,and the detailed content and process of the symbolic test-driven development method are defined.The main work of this thesis is as follows:(1)Analyze and summarize the characteristics of research scientific software in the communication field,and define them accurately and comprehensively.(2)By analyzing the connotation of mathematical symbols in the process of solving specific physical problems,extracting their attribute sets,relationship sets and constraint sets,and using symbol dictionary,symbol conversion diagram,S-R diagram,and symbol flow diagram to describe the logical relationship,so as to establish requirement model.(3)From the requirement model,the design model is generated according to the mapping of various graphical tools describing symbols,so as to guide and standardize the design of software symbols,module structure,interface between modules and algorithm pseudo-code in scientific software.(4)The test-driven development process of scientific software is guided by the attributes and solution logic of symbols.Based on the properties of the symbols in the requirement analysis,the black-box testing method and white-box testing method are used to sequentially carry out unit test-driven development,integration test-driven development and system test-driven development,and the performance and accuracy of the simulation can be checked.(5)In a typical optical communication project-dual cavity optical feedback laser system,a complete development process is realized by using the symbolic test-driven development method.Practice indicates that the symbolic test-driven development method can effectively improve the poor readability,reliability and reusability of research scientific software in the communication field,and improve the accuracy of its calculation and simulation to a certain extent. |
