文件名称：论文研究-可信软件实时性测试用例集生成方法研究.pdf
文件大小：381KB
文件格式：PDF
更新时间：2022-08-11 17:07:50
时间化RAISE规范语言,实时性,可信软件,测试用例
基于RAISE规范语言（RSL）的一个变体——时间化RAISE规范语言（TRSL），提出一种可信软件实时性测试用例集生成方法。该方法首先去除基于TRSL软件规约中的抽象时间因素；然后使用划分分析的方法构造测试单元；再利用动态约束求解方法动态构造具有时间约束的构造项和观测项,并在此基础上构建完整的基于TRSL规约的实时性测试用例集。