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