数学计算与软件工程中心

成立时间：2006.3
所长：丁佐华
人员组成：丁佐华、韩维、孙培梁、陈新、梁道雷、在读研究生.

研究方向： 软件测试、软件可靠性建模、软件架构、嵌入式系统.

科研成果： 1) 创立了一套新的软件测试理论,并做了初步模型，据此得到的测试用例都是可执行的，同时避开了状态爆炸(文章以接受Information Science )。2) 根据端口代数建立了服务构件的行为模型, 在高层指导与语言无关的实施。(已录用Electronics Notes in Theoretical Computer Science)。 3) 开发了一套嵌入式手持设备，为各种应用提供了一个平台。

本实验室建立的目的是创立一个科研与开发并行的队伍， 在软件工程领域做写基础研究，有一个于国内外同行交流的平台；在嵌入式系统方面做些开发，可与工业界作些合作；同时为学生提供一个实习的环境。