软件开发环境国家要点试验室是国家在核算机和先进网络的软件理论、技能和开发环境等方面展开根底、运用根底与前沿高技能研讨的开放式科研基地，是立异式高层次人才的培育基地。试验室依托北京航空航天大学进行建造，1988年经过专家论证，1995年经过专家检验。在科技部、国家自然科学基金委员会、发改委、工业和信息化部及教育部的支撑下，经过二十几年的建造展开，试验室在核算机和先进网络的软件理论立异和新技能创造方面，取得了一批标志性研讨效果，为我国培育了一批立异式高层次人才，为我国科研作业供给了科技信息服务，推动我国软件产业展开作出了突出贡献，并具有杰出的国内外名誉。

　　试验室实施主任负责制和学术委员会评定制，现在由我国科学院院士李未担任试验室主任，我国工程院院士邬贺铨担任学术委员会主任。试验室形成了以在世界上有较高闻名度和影响的李未院士为学科带头人，以国内闻名专家为中心，以中青年学者为主干，知识结构和年龄结构合理，勇于立异、联合协作的学术部队。试验室30名固定人员中，有中科院院士1名，教授14名（其间博士生导师11名），副教授9名，26人具有博士学位，中青年研讨人员占69.7%。

　　“十五”以来，试验室紧紧环绕国家信息产业，特别是信息和工业交融的展开战略需求和世界研讨趋势，加强软件根底研讨，积极展开在先进网络环境下杂乱软件系统和软件工程的运用根底和前沿技能研讨，作为“973”参谋专家委员会成员和“大型飞机”严重专项的专家组长单位参加国家中长时间科技规划、要点根底研讨和严重专项的展开咨询。试验室在国内首先主张并提出了对海量信息系统进行系统的根底科学研讨作业，并及时取得国家要点根底研讨展开方案（“973”方案）的支撑，作为首席科学家单位，先后掌管两项“973”方案项目。在国家下一代互联网（IPv6）CNGI建造方面，试验室依据在海量信息传输方面的研讨效果，提出了可生存性更好的六个运营商互联互通架构的主张并得到选用。2002年以来试验室还承当了包含“863”方案严重、要点项目，国家自然科学基金严重、要点项目，国家科技根底条件渠道项目，中日合作IPv6项目以及北京奥运会的智能交通保证项目等在内的部级以上重要项目180余项，取得国家科技进步奖二等奖两项。

　　依据《国家中长时间科技展开规划大纲》需求和学科展开的前沿趋势，试验室确立了以下4个研讨方向。（1）软件工程的理论根底研讨。展开软件测验的理论根底研讨和软件测验自动化的完结研讨、软件开发办法的合理性研讨和软件开发办法合理性查看的完结研讨。（2）网络海量信息系统的物理学特征和杂乱性研讨。展开海量信息系统的协同性和可生存性的信息物理学规则与海量信息核算的核算特征的研讨。（3）先进飞行器的电子使能科学技能研讨。着眼于将信息技能领域的最新研讨效果运用于先进飞行器的操控以及空位一体的归纳办理，以通用核算机、传感器、智能仪器仪表等电子设备为硬件根底，以多网合一为通讯环境，经过软件与硬件的结合，完结先进飞行器的数字化处理和准确实时操控；研制先进的数据搜集、剖析和安全有用办理技能，完结依据网络的杂乱多系统的最优化、绿色节能办理。展开信息与航空航天交融的新一代飞行器操控与办理系统的运用根底研讨和技能立异。（4）为科技部国家科技根底条件渠道服务的下一代沉溺式科研作业环境研讨。研讨服务于下一代科研环境的一致资源结构与核算模型，完结网上集中和广泛散布相结合的核算与存储；选用虚拟人机交互的先进技能，研制新式沉溺式虚拟协同作业渠道，供给多途径的无缝协作和集体协同服务，研制具有面对面交互真实感的科研协作环境。

　　近年来，试验室的研讨作业在以下几方面取得明显展开。（1）在软件测验的根底研讨方面。试验室在世界上初次提出了形式化的过错定位和批改系统，称为R-演算系统，证明了R-演算系统的可靠性、完全性和可达性，从理论上证明了软件需求阐明的过错定位可运用R-演算系统在有穷步内完结，为软件测验的自动化供给了理论根底。（2）在海量进程调度和资源分配理论与算法研讨方面。试验室提出了一个布尔表达式束缚满意问题（CSP）模型，称为RB模型，并证明了当变量的个数趋近于无穷大时，RB模型具有可准确猜测的相变现象，取得了多项原创性效果。（3）在海量信息的传输和协同行为特征研讨方面。试验室对全球IPv6主干网络的拓扑衔接和信息传输的观测水平缓观测技能进入了世界领先队伍，研制了IPv6拓扑剖析软件，并依据观测成果提出了更为准确的IPv6幂律散布表达式。（4）在先进网络环境下实时多媒体协同环境技能研讨方面。试验室研制了多媒体、实时的协同服务的系统，为长途科学协作和学术研讨供给了渠道,完结了大规模实时多媒体交互系统Admire、电子显微镜长途协同试验渠道等多个运用，已在国内外包含教育部、科技部、国家自然科学基金委在内的700多家单位和部分运用，在非典期间发挥了重要作用。

　　试验室一直将培育我国软件根底研讨和软件产业方面的立异团队和立异式人才作为首要主旨，展开出以培育立异式学术带头人为方针的研讨生梯队式培育办法。以试验室为主体展开的有关立异式人才培育形式和培育系统的研讨与实践作业，取得2005年度国家教育效果奖一等奖。

　　试验室积极展开世界合作，现已和美国、德国、日本等国家的60余所大学、研讨所建立了长时间的学术合作关系。图灵奖取得者Milner、Shamir、Hopcroft、Hoare，德国莱布尼茨奖取得者Hotz以及英国皇家学会会员Plotkin等30多位世界闻名教授来试验室拜访讲学。试验室建议成立了“亚洲软件根底学会”，是学会的主席单位和理事长单位，主办了4届“亚洲软件根底学术研讨会”。试验室积极参加和推动我国核算机科学与技能领域研讨与沟通的世界化，试验室主任李未士是《我国科学》（F辑Information Science）和Frontiers of Computer Science in China编委会主任。

　　在依托单位北京航空航天大学的有力支撑下，试验室进一步展开方针是：一直环绕国家战略方针和信息科学的展开规则，展开原创性的根底研讨和立异性的技能打破，力求将试验室建造成为世界一流的信息科学研讨与开发基地，在软件工程和海量信息的根底研讨方面进入世界领先队伍，成为国家科技根底条件渠道研制与服务的支撑单位、电子使能技能研制和推行的中心以及培育高层次信息科学和技能及软件研讨人才和领军人才的摇篮。