基于半形式化软件需求的自动化测试分析工具及其应用

• 作者: 常鸣 陈硕豪
• 来源期刊: 铁道通信信号
• 关键词: 自动列车保护 半形式化 软件需求 自动化测试
• 年，卷（期）: 2016,（z2）
• 所属期刊栏目: 开发研究
• 页码范围: 106-108
• 页数: 3页
• 字数: 2031字
• 语种: 中文
• DOI: 10.13879/j.issn1000-7458.2016-S2.16252

摘要

车载ATP软件采用半形式化语言对需求进行描述,具有定义精确、二义性少的优点,但同时带来需求粒度变细、需求数目激增等问题,使软件测试工作面临新的挑战.而且原有测试方法效率低、耗时长、一些重复工作依赖人工.为此,提出一种基于半形式化软件需求的自动化测试工具,从需求的自动化语法检查入手,分析需求变量之间关系,测试场景和用例辅助生成,测试脚本的自动转换,以及测试结果的自动分析.实践表明,应用该工具后,能显著提高ATP软件确认测试的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈硕豪		1	0	0.0	0.0
2	常鸣		4	5	1.0	2.0