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

• 作者: 丁帅 李兴国 蔡琼
• 来源期刊: 计算机应用研究
• 关键词: 时间化RAISE规范语言 实时性 可信软件 测试用例
• 年，卷（期）: 2009,（6）
• 所属期刊栏目: 软件技术研究
• 页码范围: 2344-2346,2348
• 页数: 4页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.06.103

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李兴国	合肥工业大学管理学院	93	779	14.0	23.0
2	丁帅	合肥工业大学管理学院	22	572	9.0	22.0
3	蔡琼	合肥工业大学管理学院	3	13	2.0	3.0