基于扩展确定有限自动机的功能需求获取方法

摘要：

功能需求获取一直是系统需求分析的难点,目前尚无特别有效的方法.该文通过对确定有限自动机的扩展(extended deterministic finite automata,EDFA),将系统输入与确定有限状态机的输入激励相结合,将系统输出与系统输入和系统状态相结合,通过确定有限状态机的状态集合,划分系统功能需求空间,提出了一种结构化的功能需求获取方法,有助于提升功能需求获取的完整性,降低功能需求获取的难度.通过对自动巡航系统跟车模式下的需求获取,验证了基于EDFA功能需求获取方法的有效性和实用性.

关键词：需求获取、功能需求、扩展确定有限自动机(EDFA)、需求获取流程、结构化需求获取

所属期刊栏目：37

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金委员会-中国民航局民航联合研究基金U1533105

在线出版日期：2020-08-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：78-84