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

Research of real-time test case generation method of trusted software

作　　者：蔡琼[1] 李兴国[1] 丁帅[1] 

机构地区：[1]合肥工业大学管理学院,合肥230009

出　　处：《计算机应用研究》2009年第6期2344-2346,2348,共4页Application Research of Computers

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

摘　　要：基于RAISE规范语言(RSL)的一个变体——时间化RAISE规范语言(TRSL),提出一种可信软件实时性测试用例集生成方法。该方法首先去除基于TRSL软件规约中的抽象时间因素;然后使用划分分析的方法构造测试单元;再利用动态约束求解方法动态构造具有时间约束的构造项和观测项,并在此基础上构建完整的基于TRSL规约的实时性测试用例集。This paper provided an approach to derive RTTC from TRSL specification, which was a variant of RSL （ RAISE specification language）. Firstly, removed abstract time factors from software specification, which was depicted by TRSL. Secondly, applied partition analysis to generate test data. Then used improvement of OGT algorithm to generate constructive term （CT） and observable term （ OT）, which had time constraint. Finally, constructed complete real-time test case based on TRSL specification.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]