-
题名基于规则的联锁软件测试集自动生成
被引量:3
- 1
-
-
作者
徐中伟
吴芳美
-
机构
同济大学电子与信息学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2002年第1期96-97,共2页
-
基金
铁道部科技发展项目(×)2000018
-
文摘
通过对联锁软件需求规格的分级划分,提出了一种联锁软件分级测试策略。在此基础上,给出了基于规则的联锁软件测试集自动生成系统框架,这种覆盖全部控制对象的测试集能够用于对被测软件联锁功能的完备测试以及安全防护功能的充分测试。
-
关键词
铁路车站联锁系统
规则
联锁软件
测试集自动生成
软件开发
计算机
-
Keywords
Software testingInterlockingRuleTest case
-
分类号
U284.362
[交通运输工程—交通信息工程及控制]
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名测试集自动生成方法中的可执行化研究
- 2
-
-
作者
赵邑新
王建国
吴建平
-
机构
清华大学计算机科学与技术系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2001年第1期74-80,共7页
-
基金
国家自然科学基金资助(69682002,69725003)
-
文摘
自动生成的测试集是可执行的才具有实用意义 .讨论了在测试集自动生成系统 TU GEN中实现的参数化可执行化算法 ,分析了该算法的效果、不足及其原因 ;讨论了可执行化处理中所涉及谓词可满足性问题的复杂度和测试路径可执行性问题 ,并在此基础上进一步提出并实现了“可执行参数化”的算法 ,克服了前一算法的不足 ,提高了 TU -GEN的实用性和执行效率 ;在进行了讨论分析后 ,以实例进行了对比和说明 。
-
关键词
测试集自动生成
参数化
可执行化
算法复杂性
-
Keywords
automatic test suite generation
parametrization
executizyation
algorithm complexit
-
分类号
TN915.04
[电子电信—通信与信息系统]
-
-
题名TTCN-3类型系统测试用例集自动生成
- 3
-
-
作者
蒋凡
金鑫
吴文娟
-
机构
中国科学技术大学计算机科学与技术系
-
出处
《计算机系统应用》
2009年第9期45-49,共5页
-
文摘
针对编译器测试中最为重要的测试用例集构造问题,提出了针对TTCN-3语言类型系统的编译器测试用例集层次化、结构化的自动生成方案。语法方面,严格遵从语言规格说明中的扩展巴科斯-瑙尔范式(EBNF);语义正确性上,采用定义"元素定义偏序文件"、建立抽象语法树等多种方法加以保证。实验表明新方案极大提高了测试用例集的生成效率,对TTCN-3类型系统语法、语义两方面都达到很好的测试覆盖,增强了发现编译器缺陷的能力。该方案对于其他语言的编译器测试也具有参考价值。
-
关键词
TTCN-3类型系统
编译器测试
测试用例集自动生成
层次化
结构化方法
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-