本项目在研究期内主要开展了以下五个方面的研究工作:1针对国际电联推荐的SDL语言。研究一种中间语言SDL/FOP,并在此基础上构造SDL处理工具;2研究基于SDL语言的软件维护方法并开发相应的工具;3研究基于SDL语言的软件测试方法并开发相应的工具;4开发C语言动态测试系统,该系统可利用根据SDL规范导出的测试用例对被测C程序进行测试;5研究以一个工程数据库为核心并包括上述软件工具和国外SDT工具在内的支撑环境。目前整个实验系统已经实现,可支持通信软件开发工程中项目管理、设计、测试和维护等重要环节的工作。共发表学术论文六篇,有两篇待发表,二项成果通过鉴定。
{{i.achievement_title}}
数据更新时间:2023-05-31
Ordinal space projection learning via neighbor classes representation
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
Image super-resolution based on sparse coding with multi-class dictionaries
Phosphorus-Induced Lipid Class Alteration Revealed by Lipidomic and Transcriptomic Profiling in Oleaginous Microalga Nannochloropsis sp. PJ12
Numerical investigation on aerodynamic performance of a bionics flapping wing
基于主动对象模型的面向对象软件开发方法及其支撑系统
基于火积分析的低温管线绝热支撑漏热输运过程控制和实验研究
面向问题的软件开发系统
随机系统的最优过程控制