论文研究可信软件实时性测试用例集生成方法研究.pdf

基于RAISE规范语言（RSL）的一个变体——时间化RAISE规范语言（TRSL），提出一种可信软件实时性测试用例集生成方法。该方法首先去除基于TRSL软件规约中的抽象时间因素；然后使用划分分析的方法构造测试单元；再利用动态约束求解方法动态构造具有时间约束的构造项和观测项,并在此基础上构建完整的基于TRSL规约的实时性测试用例集。