中文摘要：

本项目在研究期内主要开展了以下五个方面的研究工作1针对国际电联推荐的SDL语言。研究一种中间语言SDL/FOP，并在此基础上构造SDL处理工具；2研究基于SDL语言的软件维护方法并开发相应的工具；3研究基于SDL语言的软件测试方法并开发相应的工具；4开发C语言动态测试系统，该系统可利用根据SDL规范导出的测试用例对被测C程序进行测试；5研究以一个工程数据库为核心并包括上述软件工具和国外SDT工具在内的支撑环境。目前整个实验系统已经实现，可支持通信软件开发工程中项目管理、设计、测试和维护等重要环节的工作。共发表学术论文六篇，有两篇待发表，二项成果通过鉴定。