可信软件实时性测试用例构造方法的研究.pdf

可信软件实时性测试用例构造方法研究 摘 要 软件测试是保证软件质量的重要自订提。测试用例的数量和质量决定软件测 试的成本和有效性。对于一些时间约束很强的系统来说，其测试用例集构造方 法的现有研究成果还存在一些缺陷。结合当前先进的面向规约的形式化测试技 术，研究基于TRSL(TimedRSL)规约的可信软件实时性测试用例集构造方法。 文章首先分析了可信软件测试用例生成方法的研究现状和存在问题，综述 了可信软件基础理论及RSL语言。其次，研究基于RAISE(RigorousApproach toIndustrialSoftware 变体一一TRSL，给出一种可信软件实时性测试用例生成方法，该方法通过对软 件规约的分析，去除基于TRSL软件规约中的抽象时间因素，利用划分分析的 方法构造测试单元，再采用动态约束求解方法动态构造具有时间约束的构造项 和观测项。最后，通过报警系统实例进一步说明构建基于TRSL规约的实时性 测试用例的应用过程。 关键词：TRSL：实时性；可信软件；测试用例 ResearchonRealtimeTestCaseGenerationMethodof