| |
2021年第32卷第4期目录
本期目录 专刊文章 | | | 面向领域的软件系统构造与质量保障专题前言 | | | 潘敏学，魏峻，崔展齐 | | | 出版日期: 2021-04-06 (2 页) | | | 2021,32(4):887-888 | | | [摘要](2629) [PDF 283.26 K](6165) | | | 基于反例确认的CPS不确定性模型校准 | | | 杨文华，周宇，黄志球 | | | 出版日期: 2021-04-06 (15 页) | | | 2021,32(4):889-903 | | | [摘要](2658) [PDF 1.56 M](6607) | | | 安全关键异构软件混合建模及代码生成方法 | | | 宗喆，杨志斌，袁胜浩，周勇，Jean-Paul BODELEIX，Mamoun FILALI | | | 出版日期: 2021-04-06 (30 页) | | | 2021,32(4):904-933 | | | [摘要](2956) [PDF 3.52 M](7820) | | | 基于环境建模的物联网系统TAP规则生成方法 | | | 边寒，陈小红，金芝，张民 | | | 出版日期: 2021-04-06 (19 页) | | | 2021,32(4):934-952 | | | [摘要](3263) [PDF 1.99 M](11687) | | | 区块链赋能的高效物联网数据激励共享方案 | | | 蔡婷，林晖，陈武辉，郑子彬，余阳 | | | 出版日期: 2021-04-06 (20 页) | | | 2021,32(4):953-972 | | | [摘要](4379) [PDF 2.03 M](10529) | | | 时空轨迹数据驱动的自动驾驶场景元建模方法 | | | 张梦寒，杜德慧，张铭茁，张雷，王耀，周文韬 | | | 出版日期: 2021-04-06 (15 页) | | | 2021,32(4):973-987 | | | [摘要](3477) [PDF 1.85 M](9136) | | | 基于深度学习的混合模糊测试方法 | | | 高凤娟，王豫，司徒凌云，王林章 | | | 出版日期: 2021-04-06 (18 页) | | | 2021,32(4):988-1005 | | | [摘要](3717) [PDF 1.78 M](9003) | | | 一种结构信息增强的代码修改自动转换方法 | | | 曹英魁，孙泽宇，邹艳珍，谢冰 | | | 出版日期: 2021-04-06 (17 页) | | | 2021,32(4):1006-1022 | | | [摘要](2998) [PDF 1.69 M](7132) | | | 融合代码与文档的软件功能特征挖掘方法 | | | 沈琦，钱莹，邹艳珍，伍仕骏，谢冰 | | | 出版日期: 2021-04-06 (16 页) | | | 2021,32(4):1023-1038 | | | [摘要](2920) [PDF 1.57 M](7467) | | | 基于偶然正确性概率的错误定位技术 | | | 周小莉，赵建华 | | | 出版日期: 2021-04-06 (12 页) | | | 2021,32(4):1039-1050 | | | [摘要](2665) [PDF 1.26 M](6561) | | | 面向神经机器翻译系统的多粒度蜕变测试 | | | 钟文康，葛季栋，陈翔，李传艺，唐泽，骆斌 | | | 出版日期: 2021-04-06 (16 页) | | | 2021,32(4):1051-1066 | | | [摘要](3536) [PDF 1.62 M](7655) | |
综述文章
|
