陈小红-大语言模型赋能的证券领域业务规则规约与测试用例自动生成方法.docxVIP

大语言模型赋能的证券领域业务规则规约与测试用例自动生成方法陈小红华东师范大学

大语言模型赋能的证券领域业务规则

规约与测试用例自动生成方法

陈小红

华东师范大学

演讲嘉宾陈小红软件需求工程践行者华东师范大学软件工程学院，副教授，硕士生导师，主要研究方向为需求工程、形式化方法以及IoT最终用户编程。主持并参与了多项国家自然科学基金项目、重点研发、863、973项目以及省部级项目，主要工作包括需求建模与分析、需求形式化验证、基于投影的需求问题自动分解、基于因果关系的约简与基于用户意图的IoT最终用户编程、智能系统的需求确认等，在国内外知名期刊会议RE、TITS、TCAD、SCP、软件学报等发表论文50余篇，成果应用于轨道交通、航空航天、汽车、证券、智能家居

演讲嘉宾

陈小红

软件需求工程践行者

华东师范大学软件工程学院，副教授，硕士生导师，主要研究方向为需求

工程、形式化方法以及IoT最终用户编程。主持并参与了多项国家自然科学基金项目、重点研发、863、973项目以及省部级项目，主要工作包括需求建模与分析、需求形式化验证、基于投影的需求问题自动分解、基于因果关系的约简与基于用户意图的IoT最终用户编程、智能系统的需求确认等，在国内外知名期刊会议RE、TITS、TCAD、SCP、软件学报等发表论文50余篇，成果应用于轨道交通、航空航天、汽车、证券、智能家居

等领域。

1.2.3.4.

1