| 可信软件实时性测试用例集生成方法研究* |
| |
| 引用本文： | 蔡琼,李兴国,丁帅. 可信软件实时性测试用例集生成方法研究*[J]. 计算机应用研究, 2009, 26(6): 2344-2346. DOI: 10.3969/j.issn.1001-3695.2009.06.103 |
| |
| 作者姓名： | 蔡琼 李兴国 丁帅 |
| |
| 作者单位： | 合肥工业大学,管理学院,合肥,230009 |
| |
| 基金项目： | 国家自然科学基金资助项目（90718037） |
| |
| 摘 要： | 基于RAISE规范语言（RSL）的一个变体——时间化RAISE规范语言（TRSL），提出一种可信软件实时性测试用例集生成方法。该方法首先去除基于TRSL软件规约中的抽象时间因素；然后使用划分分析的方法构造测试单元；再利用动态约束求解方法动态构造具有时间约束的构造项和观测项,并在此基础上构建完整的基于TRSL规约的实时性测试用例集。
|
| 关 键 词： | 时间化RAISE规范语言 实时性 可信软件 测试用例 |
Research of real time test case generation method of trusted software |
| |
| CAI Qiong,LI Xing guo,DING Shuai. Research of real time test case generation method of trusted software[J]. Application Research of Computers, 2009, 26(6): 2344-2346. DOI: 10.3969/j.issn.1001-3695.2009.06.103 |
| |
| Authors: | CAI Qiong LI Xing guo DING Shuai |
| |
| Affiliation: | (School of Management, Hefei University of Technology, Hefei 230009, China) |
| |
| Abstract: | 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.Se-condly,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. |
| |
| Keywords: | TRSL real-time trusted software test case |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
