互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

基于EFSM用户自定义故障模型的测试集生成李永亮 李 蕊 李仁发 张 焱


□ 李永亮 李 蕊 李仁发 张 焱

  摘 要:提出了一种用户自定义故障的EFSM测试集生成方法。该方法应用EFSM切片对EFSM模型进行合理的缩减,有效地避免了从EFSM到FSM转换得到测试集而产生状态空间爆炸的问题,也得到最短的测试用例集合。实验结果表明了新算法对生成最短EFSM测试集是有效的。

  关键词:扩展有限状态机(EFSM); 用户自定义故障; 一致性测试; 测试生成

  中图分类号:TP311文献标志码:A

  文章编号:1001-3695(2009)09-3388-04

  doi:10.3969/j.issn.1001-3695.2009.09.053

  Method for generating test suite based on user-defined faults in EFSM model

  LI Yong-liang, LI Rui, LI Ren-fa, ZHANG Yan

  (School of Computer & Communication, Hunan University, Changsha 410082, China)

  Abstract:This paper presented a method for test generation based on user-defined faults for EFSM specifications. The algorithm used appropriate slices of the specification EFSM in order to avoid state space explosion when converting EFSM model to FSM model, these slices were much smaller than the given specification, meanwhile got the shortest test suite. Finally, the article gave a simple protocol to be verified. The experiment proves that the algorithm is effective to generate shortest EFSM test suite.

  Key words:extended finite state machine; user-defined faults; conformance testing; test generation

  0 引言

  在基于FSM[1,2]的测试生成中,提出了......

很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
摘自:计算机应用研究 Tags:李好
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017