回放：新一代人工智能下软件需求工程需要面临的若干挑战和机遇 | CNCC论坛分享

金芝教授的报告从各种安全关键场景的涌现现象开始，介绍了自治系统的安全性面临的问题——涉及人的场景引出隐私安全问题，总结出交互环境成为建模关注点，进一步介绍了环境建模驱动的自治系统安全性测试方法，以及基于环境模型支持场景推理。最后，她提出了自治系统中安全关键系统测试的研究挑战，包括先进的方法和推理手段、新的测试模拟床以及设计权衡。

张莉教授的报告从用户的需要入手，谈到了从用户的视角来看待软件开发中存在的问题。她以实际项目为例，介绍了基于MDA和低代码模式的软件需求描述和开发模式，并探讨了基于MDA的开发模式下需求描述的手段。

李智教授从人们耳熟能详的“E=mc²”理论入手，引出了需求工程中具有同等地位的“S，E |- R”理论，并介绍了他们团队在此理论基础上的扩展性工作，例如需求系统复杂度评估，需求模型可推理拆分与组合。他进一步介绍了CARE工具以及微服务拆分案例等。最后，讨论并展望了因果AI对需求工程研究的作用以及软件需求面临的组织机构复杂性问题。

刘璘副研究员从国内外对智能应用需求分析的探索开始，回顾了相关的活动，指出智能应用需求分析是一个在探索中的活动。她还分享了她们组在这个主题的想法，并以几个具体的项目，说明了在具体实践中使用的智能应用需求分析方法。

彭蓉教授从现有的工作出发，探讨已有的RE4AI的工作。接着她抛出新的问题，直面解析RE4AI面临的5大挑战，包括如何识别涉众并与涉众协作，如何正确、完整、无二义的定义需求，如何明确数据需求、如何确定可解释性需求，以及如何定义与权衡非功能需求。在回答了上述问题后，她指出RE4AI既是真命题也是伪命题。

陈小红副教授从IoT系统的面向最终用户编程谈起，提出由TAP规则执行得到的IoT服务需要进行需求确认，其关键就是要捕获服务场景，并对其进行可视化。由于服务场景受到了强烈的设备约束，她提出通过仿真对从IoT的服务场景进行遍历，并得到其运行轨迹，在此基础上，进行动画生成，得到体验式原型。最后，她介绍了一个智能家居的动画生成的样例。