功能测试用例相关硕士博士期刊学术论文

提出了一种自动生成系统功能测试用例的新方法。该方法使用Promela语言对软件系统的状态和行为进行描述建模，使用LTL公式描述测试覆......