-
题名基于符号执行和LTL公式重写的测试用例产生方法
被引量:3
- 1
-
-
作者
陈冬火
刘全
-
机构
苏州大学计算机科学与技术学院
计算机软件新技术国家重点实验室(南京大学)
符号计算与知识工程教育部重点实验室(吉林大学)
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2013年第12期2661-2675,共15页
-
基金
国家自然科学基金项目(61070223
61103045
+3 种基金
61070122
61272005
61303108)
江苏省自然科学基金项目(BK2012616)
-
文摘
基于模型检验等形式化方法的测试用例自动产生技术成为测试自动化领域一项重要的进展.对于输入和输出为无界抽象数据类型的无限状态系统,利用传统模型检验技术难以有效地产生测试用例集合,提出基于符号执行和公式重写的测试用例产生方法.通过建立程序的符号化执行模型,避免输入和输出变量数值化枚举而导致的无限状态系统的建模和状态爆炸问题;建立基于符号化执行模型的时序公式重写规则,并根据线性时序逻辑(linear temporal logic,LTL)公式的反例模式求取复杂属性及行为约束关系,利用约束求解的方法自动产生测试用例集合.这种方法集成了符号执行技术和时序公式状态重写——一种轻量级模型检验技术,成为基于复杂抽象数据类型系统与属性相关的测试用例自动产生的有效方法.
-
关键词
测试用例自动产生
符号执行
公式重写
模型检验
线性时序逻辑
输入
输出符号变迁系统
-
Keywords
auto-generation of test cases
symbolic execution
formula rewriting
model checking
linear temporal logic (LTL)
input/output symbolic transition system (IOSTS)
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名构件组装实时系统行为相容性测试用例产生
- 2
-
-
作者
席琳
周清雷
李平
-
机构
郑州大学信息工程学院
信息工程大学电子技术学院
-
出处
《计算机科学》
CSCD
北大核心
2012年第9期133-137,共5页
-
基金
国家高技术研究发展计划(863)项目(2007AA010408)资助
-
文摘
虽然构件技术在软件开发过程中得到了越来越广泛的应用,但是实时系统是一类设计、实现和验证工作都相当复杂的系统,其构件化远比普通软件复杂,组装仍有许多困难。分析了常见的组装相容性错误,提出了一种实时系统的构件组装行为相容性测试用例产生方法。首先对时间自动机进行扩展,给出了描述实时构件的模型;然后定义了相容性覆盖标准,并把构件行为相容性测试用例生成转化为可被模型检验支持的可达性分析,同时给出了算法;最后用一个实例展示了该方法的具体使用。
-
关键词
构件
实时系统
行为相容性
测试用例产生
时间自动机
-
Keywords
Component
Real-time system
Behavioral compatibility
Test generation
Timed automata
-
分类号
TP306
[自动化与计算机技术—计算机系统结构]
-
-
题名UML statecharts的测试用例生成方法
被引量:26
- 3
-
-
作者
李留英
王戟
齐治昌
-
机构
国防科学技术大学计算机学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2001年第6期691-697,共7页
-
基金
国家自然科学基金项目! (69973 0 5 1)
国家"八六三"高技术研究发展计划基金项目! (863 -3 0 6-ZT0 6-0 4-1)
武汉大学软件工程国
-
文摘
测试用例生成是软件测试的关键 .根据 U ML statecharts的层次和并发结构 ,研究相应的测试用例产生方法 .它视复合状态为抽象状态 ,分别构造主 UML statecharts和复合状态所对应的子 UML statecharts的测试基 ,并依据一定的合成规则和 Wp-方法生成整个 U ML statecharts的测试用例 .这种方法能够支持递增式测试用例的生成 .理论和实验结果说明 ,如果满足测试条件 ,它们保证全故障覆盖 ,且产生较少的测试用例 .这种改进对大型复杂系统尤其有效 。
-
关键词
测试用例产生
软件测试
面向对象
软件开发
UML
STATECHARTS
-
Keywords
UML statecharts, hierarchy, currency, test cases generation
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-