Chinese Space Science and Technology ›› 2022, Vol. 42 ›› Issue (4): 1-7.doi: 10.16708/j.cnki.1000-758X.2022.0046
Next Articles
YANGMengfei, GUBin, DUANZhenhua, JINZhi, ZHANNaijun, DONGYunwei,
Published:
Online:
Abstract: Program synthesis is an effective way to improve the efficiency of software development and the quality of software,and it is one of the most challenging problems in computer science.Firstly,the research status and existing problems of program synthesis methods were reviewed.Secondly,the concept of software IP(intellectual property)and an embedded software intelligent synthesis development method based on software IP(IP based embedded software intelligent synthesis,IPESIS)with its framework were proposed.Finally,the key scientific problems and main research contents that IPESIS needs to solve were discussed.IPESIS describes software requirement at a higher level of abstraction by defining the domain requirement description language,reduces the program search space with software IP as the granularity,and uses machine learning and other artificial intelligence technologies to automatically synthesize programs.It is expected to break through the limitations of existing methods,and then realize the transition of embedded software development from manual programming to software IP research and development plus intelligent synthesis based on software IP.
Key words: embeddedsoftware, programsynthesis, softwareIP, requirementspecification, artificialinteligence
YANGMengfei, GUBin, DUANZhenhua, JINZhi, ZHANNaijun, DONGYunwei, . Intelligent program synthesis framework and key scientific problems for embedded software[J]. Chinese Space Science and Technology, 2022, 42(4): 1-7.
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://journal26.magtechjournal.com/kjkxjs/EN/10.16708/j.cnki.1000-758X.2022.0046
https://journal26.magtechjournal.com/kjkxjs/EN/Y2022/V42/I4/1