交织场景驱动的信息物理融合系统行为建模与测试技术研究

结题报告

项目介绍

AI项目解读

基本信息

批准号：
61170066
项目类别：
面上项目
资助金额：
59.0万
负责人：
王林章
依托单位：
南京大学
学科分类：
F0203.软件理论、软件工程与服务
结题年份：
2015
批准年份：
2011
项目状态：
已结题
起止时间：
2012-01-01 至2015-12-31

项目参与者：
夏阳；张天；崔展齐；柳溪；潘敏学；王寒非；谭琳；徐青；李袁奎；
关键词：
信息物理融合系统建模交织场景测试

项目摘要

信息物理融合系统（CPS）为了适应物理环境、运行平台和应用模式而呈现出多重复杂特征，其行为模型是由人机物、时间和空间属性、确定与非确定行为、功能与性能、连续与离散状态变化等交织在一起的场景构成。本课题提出以交织场景作为CPS系统行为建模与测试的基本单元，从交织场景获取、表达、设计、实现和驱动测试的角度，研究基于交织场景的CPS系统行为获取、表达与建模技术，以及基于交织场景模型的测试生成与执行方法、缺陷定位和辅助修复方法，并研制相应的交织场景建模与测试支撑工具，选择典型的应用进行实例研究。

结项摘要

信息物理融合系统（CPS）为了适应物理环境、运行平台和应用模式而呈现出多重复杂特征，其行为模型是由人机物、时间和空间属性、确定与非确定行为、功能与性能、连续与离散状态变化等交织在一起的场景构成。本课题计划提出以交织场景作为CPS系统行为建模与测试的基本单元，从交织场景获取、表达、设计、实现和驱动测试的角度，研究基于交织场景的CPS系统行为获取、表达与建模技术，以及基于交织场景模型的测试生成与执行方法、缺陷定位和辅助修复方法，并研制相应的交织场景建模与测试支撑工具，选择典型的应用进行实例研究。 . 课题组按照项目计划，围绕既定的科学问题和研究内容，在规定的时间内顺利完成各项研究任务，并取得了良好结果。针对CPS的系统特性及核心组成部分（3C）的关键需求入手，基于应用视角研究了CPS复杂交织场景建模、CPS非功能属性建模与验证、CPS通信协议的建模与验证、基于CPS交织场景模型的仿真与测试等方面，取得了重要进展，已在国际期刊、国际学术会议和国内一级学报发表和录用高质量学术论文18篇，其中国际期刊1篇；发表了国际会议13篇，包括旗舰国际会议OOPSLA2013、ISSTA2013等；国内一级学报4篇，包括软件学报（2篇）、中国科学（2篇），所有论文均标注本基金资助；项目组还翻译出版了专著《软件可靠性方法》；部分研究工作取得较好的国际影响，研究工作发表在程序设计语言领域国际学术会议OOPSLA2013（CCF A类）上，并获OOPSLA2013最佳论文奖； . 在项目执行期间，课题组培养了3名博士生获得博士学位、14名硕士生获得硕士学位；课题组6名成员参加国际会议并报告课题组研究成果，课题组邀请了多名国外合作专家来访问，组织承办1次国际会议SETTA2015，多次邀请国内外学者进行学术交流和学术报告。. 通过该项目的研究，项目组研发了一批工具原型，获得授权的技术发明专利10项，申请技术发明专利4项，已获批准软件著作权6项。部分工具已在航天、轨道交通等领域进行示范应用，初见成效。课题组与航天502所、中国铁道科学院建立了良好的合作关系，能够在将来继续参与CPS相关应用领域合作研究，从而为进一步研究工作奠定了良好的基础。