Yixiao Yang  杨镒箫

基本信息

出生日期：1991.12.25

电子邮箱：yangyixiaofirst@outlook.com

个人主页：github.com/yangyixiaof

工作经历与教育情况

2022.10-至今 新葡萄8883官网AMG，软件工程

首都师范大学

研究方向：软件工程中的代码自动综合与自动测试

2020.6 – 2022.8 软件学院，软件工程，博士后（清华大学水木学者计划）

清华大学，导师：姜宇副教授/博导

研究方向：嵌入式软件模型测试及代码综合

2014.9–2020.1 软件学院，软件工程，博士

清华大学，导师：孙家广

研究方向：模型测试验证，模型代码生成，代码推荐

2010.9–2014.7 软件学院，软件工程，学士

南京大学，GPA 排名 2/221

研究方向

• 模型驱动的信息物理融合系统设计

• 基于模型的代码生成与基于模型的测试验证

• 基于深度学习的代码挖掘与推荐

荣获奖励

• 清华大学水木学者 2020

• ACM ISSTA (CCF-A)国际软件测试大赛一等奖 2019

• 全国软件测试大赛特等奖 2017

• NASAC原型工具大赛二等奖 2017

• 清华大学软件学院二等奖学金 2017

• 全国软件测试大赛一等奖 2016

参与项目情况

2022.1-2024.12 项目名称：基于程序逻辑语义与深度语言模型的代码推荐

项目来源：国家自然科学基金青年基金（主持）

负责任务：本项目主要负责提升语言模型预测精度，尤其解决，在进行文本内容或者类型推理，现有系统无法推理出不在单词表中函数，变量与语句的问题。项目负责人提出通过合并常见的语法树节点缩减序列长度，用以推理整体语句；通过建模并度量自定义函数与变量在向量空间的相似度，进行未见过函数的预测并改进未见过变量的预测。本项目结合代码的控制流与数据流对用户自定义的函数以及变量的语义进行建模，改进未见过变量名的预测并能够预测未见过的函数名。项目有望突破现有深度学习固定单词表表征局限，推进面向程序逻辑语义的代码补全研究。

预期效果：完成自动化的代码推荐工具，并能够在实际应用场景中提升预测效果15%-20%。

状态：在研

2019.5-2022.5 项目名称：下一代可信嵌入式软件

项目来源：华为公司（参与）

负责任务：主要负责Autosar模型的测试工具开发，支撑车控软件SWC模型的测试分析。自动生成满足执行需要的测试驱动，使用覆盖率引导的模糊测试技术迭代生成仿真输入，提升代码及所对应模型的整体状态覆盖。本项目同时利用了符号执行技术以及Fuzzing技术，使得覆盖率，代码缺陷发现能力均比SLDV拥有一定提升。

完成效果：在华为自研平台上实现Autosar模型的自动化测试，在大型测试模型下状态覆盖率达到90%。（总计代码行数32000行）

发表成果：TCAD 2021论文两篇，软件学报论文一篇

2018.1-2019.6 项目名称：动态分析平台-II

项目来源：华为公司（参与）

负责任务：主要负责开发Java测试工具开发，将传统单元测试工具扩展实现到系统测试。导向地进行异变操作，提升整体覆盖率。测试平台不仅能够生成基础数据类型的测试输入，还能够针对输入参数中的复杂对象进行生成。

完成效果：相比于Randoop与Evosuite在系统测试的覆盖率上分别提升了60%与30%。（总计代码行数23000行）

发表成果：NASAC原型大赛二等奖，测试用例自动生成专利授权

2018.9-2019.8 项目名称：控制软件测试验证

项目来源：日本三菱重工（参与）

负责任务：主要负责开发Simulink模型的测试验证工具，支持Simulink模型的自动化测试用例生成及属性验证。使用模糊测试，静态分析等技术，通过定向插桩解决含有用户自定义代码模块S-Function的模型的测试问题。通过将Stateflow模型，同步语义转化为Uppaal时间自动机，进行功能安全性属性的形式化验证。

完成效果：在三菱重工大型Stateflow模型下，取得90%的测试覆盖率，死锁等功能属性误报率降低40%。（总计代码行数18000行）

发表成果：ASE 2016论文一篇

发表文章

1. Zhuo Su, Dongyan Wang, Yixiao Yang*, Zehong Yu, Wanli Chang, Wen Li, Aiguo Cui, Yu Jiang and Jiaguang Sun. MDD: A Unified Model-driven Design Framework for Embedded Control Software. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) 2021. (CCF-A)（通讯）

2. Zhuo Su, Dongyan Wang, Yixiao Yang, Yu Jiang, Wanli Chang, Liming Fang, Wen Li, Jiaguang Sun. Code Synthesis for Dataflow Based Embeded Software Design. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) 2021. (CCF-A)

3. Zhuo Su, Dongyan Wang, Yixiao Yang, Mingrui Zhang, Yu Jiang, Jiaguang Sun. Code generation method of data flow model based on branch marking. Journal of Software 2021. (CCF-A)

4. Yuheng Shen, Hao Sun, Yu Jiang, Heyuan Shi, Yixiao Yang*, Wanli Chang. Rtkaller: State-aware Task Generation for RTOS Fuzzing. International Conference on Embedded Software (EMSOFT accepted, ACM Tecs published) 2021. (CCF-B)（通讯）

5. Yu Jiang, Mingzhe Wang, Zhuo Su, Yixiao Yang, Huihui Wang: Formal Design of Multi-Function Vehicle Bus Controller. IEEE Trans. Intell. Transp. Syst. 22(6): 3880-3889 (2021). (CCF-B)

6. Yixiao Yang, Chen Xiang, Jiaguang Sun. Improve Language Modelling for Code Completion through Learning General Token Repetition of Source Code with Optimized Memory[J] (IJSEKE) 2020. (CCF-C)

7. Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun, Lui Sha. Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. ACM Trans. Cyber Phys. Syst (TCPS). 3(1): 12:1-12:31 (2019). (CCF-B)

8. Yixiao Yang, Chen Xiang. Improve Language Modelling for Code Completion through Learning General Token Repetition of Source Code. International Conference on Software Engineering and Knowledge Engineering (SEKE), 2019: 667-674. (CCF-C)

9. Yixiao Yang, Chen Xiang. Improve Language Modelling for Code Completion by Tree Language Model with Tree Encoding of Context. International Conference on Software Engineering and Knowledge Engineering (SEKE), 2019: 675-680.（CCF-C）

10. Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, Han Liu. A language model for statements of software code. 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017: 682-687.（CCF-A）

11. Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun. Verifying simulink stateflow model: timed automata approach. 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), 2016: 852-857.（CCF-A）

12. Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jiaguang Sun, Lui Sha. From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016: 231-241.（CCF-B）