2009年~2012年，重点实验室共设立开放课题及联合实验室18项（个），以下为具体名单：
|
序号
|
年度
|
学校
|
课题名称
|
课题性质
|
|
1
|
2009
|
东华大学
|
面向特定应用软件领域的软件测试基准模型研究
|
开放课题
|
|
2
|
2009
|
南京航空航天大学
|
基于测试的软件错误定位技术研究
|
开放课题
|
|
3
|
2009
|
南京师范大学
|
基于分析的软件测试优化技术
|
开放课题
|
|
4
|
2009
|
上海大学
|
基于模型的可复用系统测试方法研究
|
开放课题
|
|
5
|
2009
|
华东理工大学计算机科学与工程系
|
可信软件的质量模型和测试技术
|
开放课题
|
|
6
|
2009
|
上海大学
|
Web软件测试方法与技术研究
|
联合实验室
|
|
7
|
2009
|
华东理工大学
|
面向服务的可信软件建模和测试工具
|
联合实验室
|
|
8
|
2010
|
东华大学
|
基于云计算的软件测试服务技术研究
|
开放课题
|
|
9
|
2010
|
复旦大学
|
云计算环境下面向软件系统可伸缩性与动态重构性的协同测试技术研究
|
开放课题
|
|
10
|
2010
|
上海大学
|
Web软件验证与测试方法研究
|
联合实验室
|
|
11
|
2010
|
华东理工大学
|
可信系统验证方法与技术
|
联合实验室
|
|
12
|
2011
|
交通大学
|
Java多线程程序测试方法的研究
|
开放课题
|
|
13
|
2011
|
上海理工大学
|
实时图形编辑系统正确性证明及性能评测研究
|
开放课题
|
|
14
|
2011
|
上海大学
|
网络软件的模型检验与测试方法研究
|
联合实验室
|
|
15
|
2011
|
华东理工大学
|
网络环境下服务协同建模与测试技术研究
|
联合实验室
|
|
16
|
2012
|
上海大学
|
可信网络软件测试与验证方法研究
|
联合实验室
|
|
17
|
2012
|
华东理工大学
|
云计算环境中软件模型与验证技术
|
联合实验室
|
|
18
|
2012
|
上海计算机软件技术开发中心
|
云环境下的IT服务质量评价模型研究
|
开放课题
|
