基于模型的嵌入式软件测试与验证技术及针对国产列车控制系统的实例研究
批准号：
91018006
项目类别：
重大研究计划
资助金额：
50.0 万元
负责人：
王林章
依托单位：
学科分类：
软件理论、软件工程与服务
结题年份：
2011
批准年份：
2010
项目状态：
已结题
项目参与者：
卜磊、崔展齐、柳溪、李游、于利前、韩志雄、丁文旭、叶楠、陈华杰
项目摘要
结项摘要
项目成果
王林章的其他基金
相似基金
相关文献
中文摘要
高可信嵌入式软件系统都具有安全攸关特性，一旦失效可能导致灾难性的后果，因而其测试和验证是重要研究课题。本项目申请针对高可信嵌入式系统的高复杂度、大规模、强实时、高安全、高可靠等要求，基于测试和验证目的，研究扩展UML、AADL、混成自动机以完成对嵌入式系统预期行为和控制逻辑的建模方法，研究基于模型的嵌入式系统的测试和验证方法，并用符号执行与约束求解、随机方法、反馈方法、机器学习方法、路径遍历等方法改进和优化基于模型的测试生成方法与验证方法。列车控制系统是典型的高可信嵌入式系统，其可信性要求与民航、核电、金融等系统同为最高类别，本项目选择在研的国产CJ-7型CBTC列车控制系统作为实例，探索嵌入式系统的建模、基于模型的测试和验证技术在工程实践项目中的适用性问题，为基于模型的测试与验证方法在高可信嵌入式系统的可信保障提供示范应用。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
DOI：
--
发表时间：
--
期刊：
《软件学报》，22（6），2011，pp.1140-1154
影响因子：
--
作者：
[]
通讯作者：
DOI：
--
发表时间：
--
期刊：
《软件学报》
影响因子：
--
作者：
[柳溪, 杨璐, 潘敏学, 王林章]
通讯作者：
王林章
DOI：
--
发表时间：
--
期刊：
《计算机学报》, 34(6), 2011，pp.953-964
影响因子：
--
作者：
[]
通讯作者：
基于模糊测试的物联网设备固件漏洞检测技术研究
-
批准号：--
-
项目类别：重点项目
-
资助金额：292万元
-
批准年份：2020
-
负责人：王林章
-
依托单位：
模型驱动的移动应用测试方法研究
-
批准号：61472179
-
项目类别：面上项目
-
资助金额：80.0万元
-
批准年份：2014
-
负责人：王林章
-
依托单位：
交织场景驱动的信息物理融合系统行为建模与测试技术研究
-
批准号：61170066
-
项目类别：面上项目
-
资助金额：59.0万元
-
批准年份：2011
-
负责人：王林章
-
依托单位：
基于Aspect的软件非功能性规约建模、测试和验证研究
-
批准号：60603036
-
项目类别：青年科学基金项目
-
资助金额：25.0万元
-
批准年份：2006
-
负责人：王林章
-
依托单位：
国内基金
海外基金