设为首页 | 联系我们
  1. 南京大学软件质量研究所与江苏省软件质量研究所、江苏省软件质量工程中心是一个实体三块牌子。
  2. 软件质量研究所的主要任务包括三个方面:一、从事与软件质量及其保证与监督相关的软件方法、技术与工具的研究;二、进行与软件产品质量保证与监督相关的政策、法规、标准化的研究;三、进行与软件质量保证与监督相关的培训、咨询、认证、测试与评测等服务工作。目前主要研究领域包括:软件分析、理解、测试、度量方法与技术,软件质量保证技术,程序设计语言及实现技术, Web信息获取技术、Web软件分析测试技术等。
  1. 软件质量研究所的创建者自1980年代中期就参与了国防科工委的程序设计语言设计与实现、软件维护与程序分析等等研究工作以及航空工业部(航空航天工业部)的软件工程规范与标准的研究与制定工作。从1990年代后期始,主要进行软件分析(程序切片)、度量与测试等方面的研究工作。到本世纪初,徐宝文教授团队的研究工作开始引起国内外同行的关注。在2005年前后,有关研究成果已经引起国际同行极大关注。
  2. 软件质量研究所的前身为东南大学软件工程实验室。2003年,江苏省质量技术监督局发文批准,在该实验室基础上与江苏省计算机系统工程测试中心联合成立江苏省软件质量研究所,2005年该局又发文成立江苏省软件质量工程中心。2008年秋整体迁至南京大学。
  1. 20多年来,先后承担了总装备部(国防科工委)、航空航天工业部、中国船舶工业总公司、国家自然科学基金委员会、教育部、科技部、江苏省以及华为、中兴、Intel等公司的科研项目30多项,包括国防重点预先研究项目、国防科学基金项目,国家杰出青年科学基金项目,国家自然科学基金重大研究计划项目、重点项目、面上项目、青年基金项目、国际合作项目,973项目、863重点与一般项目,江苏省科技攻关项目、高技术项目、自然科学基金项目等。
  2. 多年来,团队成员先后研制了CRL/Ada语言及其生成系统、Ada程序分析与理解系统APAUS、Ada逆向工程与软件维护支撑系统ARMS、嵌入式软件测试支撑系统ETS、软件质量保证支撑系统SQAS等多个系统,并为Intel、华为以及一些军工科研单位研制了多个专用工具。
  1. 出版著译作10余部,担任《新世纪高等学校计算机系列教材》与《实用软件详解从书》编委会主任;在包括国际顶级杂志IEEE Transactions on Software Engineering(TSE)、ACM Transactions on Software Engineering and Methodology(TOSEM)、Journal of Computer and System Sciences(JCSS)在内的各类重要杂志与会议上发表论文400余篇,被SCI、EI、ISTP收录400余篇次,论文被40多个国家和地区的学者(包括相关领域许多著名学者、著名杂志、著名高校和研究单位)广泛引用与采用,国内外他引2000多次(其中国外他引800多次) ,有关成果被国外学者认为“其结果是对相关领域的重要贡献”与“重大贡献”。
  1. 积极组织和参与学术活动,与美、英、加、澳、港、台等国家和地区的学者有比较密切的合作关系。先后组织国际国内学术会议10多次,出版学术会议论文集20多本,担任国际学术会议主席、程序委员会主席、分组会议主席、程序委员会委员等100余次。
  2. 自1993年起,团队成员作为第一获奖者(获奖单位)获得省部级科技进步一等奖3次、科技进步(自然科学)二等奖5次、三四等奖若干次。此外还多次获得省级优秀软件奖和优秀论文奖、国际国内学术会议优秀论文奖等。
  3. 自1990年起,团队成员已指导博士后8人、博士生40余人(其中已毕业30余人)、各类硕士生100余人。所指导学生发表了一批有国际影响力的论文,10多人次获得全国百篇优秀博士论文、微软学者奖、省优秀博士论文、省优秀硕士论文、省优秀本科毕业论文一等奖。
  1. 团队成员(曾)任国家自然科学基金委员会第十一、十二届学科组成员,软件工程国家重点实验室(武汉大学)、教育部高可信软件重点实验室(北京大学)、上海市计算机软件评测重点实验室、安徽省计算与通讯软件重点实验室(中国科学技术大学)等学术委员会委员。
  2. 团队成员先后担任中国计算机学会理事暨电子政务与办公自动化专业委员会主任、中国软件行业协会理事、江苏省计算机学会副理事长、江苏省软件行业协会副理事长(副会长),教育部高等学校计算机科学与技术教学指导分委员会委员、软件工程教学指导分委员会委员等。
  3. 团队成员(曾)获航空航天部优秀青年教师,教育部跨世纪优秀人才、教育部新世纪优秀人才、教育部优秀青年骨干教师,江苏省优秀教育工作者、省优秀青年骨干教师、省跨世纪学术带头人、省优秀博士生导师、省优秀科技工作者等称号。获中创软件人才奖、中国计算机学会青年科学家奖、政府特殊津贴、江苏省中青年科技领军人才、省“六大人才高峰”A类人才培养对象。
  1. 经过20多年的开创和建设,软件质量研究所已经取得了一系列重要研究成果,在国际国内同行中产生了较大影响。