基于EFSM模型的等价类测试

计算机科学 ›› 2007, Vol. 34 ›› Issue (1): 281-284.

• 计算机网络与信息安全 • 上一篇下一篇

基于EFSM模型的等价类测试

易国洪卢炎生

华中科技大学计算机科学与技术学院,武汉430074

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本课题研究得到“十五”国防科技预研项目（编号：41315.9.2）资助.

YI Guo-Hong ,LU Yan-Sheng （Department of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 等价类测试是有效减少测试用例而又较小地影响测试效果的一种高效的测试方法，但是对于测试者来说，寻找一种等价类测试的划分方法十分重要，本文提出了一种基于EFSM（Extended Finite State Machine）模型的等价类测试划分的方法，通过对EFSM模型数据依赖和控制依赖分析，给出了等价类测试划分的具体方法和算法，并给出了等价类划分方法的完备性和无冗余性证明。

关键词: EFSM 等价类软件测试数据依赖分析控制依赖分析

Abstract: This paper presents a method of equivalence testing based on EFSM, and offers an algorithmic way of partition of Equivalence. The paper describes and defines the data dependence and control dependence based on EFSM. Different types of dependencies are ide

Key words: EFSM, Equivalence testing, Software testing,Data dependence analysis,Control dependence

易国洪卢炎生. 基于EFSM模型的等价类测试[J]. 计算机科学, 2007, 34(1): 281-284. https://doi.org/

YI Guo-Hong ,LU Yan-Sheng （Department of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074）. [J]. Computer Science, 2007, 34(1): 281-284. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

基于EFSM模型的等价类测试

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0