基于SPIN的功能测试用例生成方法研究  

作　　者：李建[1] 杨晋吉[1] 

机构地区：[1]华南师范大学计算机学院,广东广州510631

出　　处：《软件导刊》2016年第7期1-4,共4页Software Guide

基　　金：国家自然科学基金项目(61272066)

摘　　要：提出了一种自动生成系统功能测试用例的新方法。该方法使用Promela语言对软件系统的状态和行为进行描述建模,使用LTL公式描述测试覆盖标准,然后将该组LTL公式和描述状态行为的Promela模型输入SPIN模型检测工具,并利用模型检测工具自动生成相应的证据路径,最后结合正例将路径转化成满足相应覆盖标准的系统功能测试用例,并以电梯系统模型对该方法作出了诠释。

关 键 词：功能测试用例 SPIN 模型检测 Promela建模 

分 类 号：TP306[自动化与计算机技术—计算机系统结构]