基于扩展确定有限自动机的功能需求获取方法
2020-05-19分类号:TP301.1
【部门】中国民航大学适航学院 北京畅研汇明科技有限公司
【摘要】功能需求获取一直是系统需求分析的难点,目前尚无特别有效的方法。该文通过对确定有限自动机的扩展(extended deterministic finite automata,EDFA),将系统输入与确定有限状态机的输入激励相结合,将系统输出与系统输入和系统状态相结合,通过确定有限状态机的状态集合,划分系统功能需求空间,提出了一种结构化的功能需求获取方法,有助于提升功能需求获取的完整性,降低功能需求获取的难度。通过对自动巡航系统跟车模式下的需求获取,验证了基于EDFA功能需求获取方法的有效性和实用性。
【关键词】需求获取 功能需求 扩展确定有限自动机(EDFA) 需求获取流程 结构化需求获取
【基金】国家自然科学基金委员会-中国民航局民航联合研究基金(U1533105)
【所属期刊栏目】实验技术与管理
文献传递