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

摘要：

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

关键词：时间化RAISE规范语言、实时性、可信软件、测试用例

所属期刊栏目：26

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目90718037

在线出版日期：2009-07-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：2344-2346,2348