基于表格表达式的SCR需求模型转换

作     者：李思洁 魏欧 战芸娇 王立松 LI Si-jie;WEI Ou;ZHAN Yun-jiao;WANG Li-song

作者机构：南京航空航天大学计算机科学与技术学院 

基　　金：国家重点基础研究发展计划(973计划)(2014CB744904) 航空科学基金项目(20155552047) 校研究生创新基地(实验室)开放基金资助项目(kfjj20181602)资助 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2019年第46卷第6期

页      码：180-188页

摘      要：基于形式化方法的需求规约过程以严格定义的语义和数学模型为基础,使得需求的表述更加清晰明了,易于理解。SCR方法是一种基于形式化符号-表格的表达式,以多维表格化结构表示系统需求的形式化需求规约方法。针对形式化需求的自动化测试和检验工具提高了需求分析的正确性和效率性,但目前工具缺少安全性质的自动验证,无法保证需求的安全性。因此,文中对基于SCR方法的T-VEC工具进行扩展,在语言解析器生成器antlr(ANother Tool for Language Recognition)的辅助下开发了模型转换工具T2N,设计了语言结构转换规则,将基于SCR的需求描述语言T-VEC转换为符号化模型检测语言XMV,以实现对提取的系统安全性质的自动化验证。最后,以需求工程中的典型案例——灯光控制系统为例进行实验分析,验证T2N工具的有效性和需求模型的安全性。

主 题 词：SCR方法 antlr工具 模型转换 T2N工具 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.11896/j.issn.1002-137X.2019.06.027

馆 藏 号：203680915...