-
题名确定性有限状态机的最小测试成本迁移覆盖准则
被引量：5
- 1
-
-
作者
刘攀
缪淮扣
曾红卫
梅佳
-
机构
上海大学计算机工程与科学学院
上海市计算机软件评测重点实验室
-
出处
《软件学报》
EI
CSCD
北大核心
2011年第7期1457-1474,共18页
-
基金
国家自然科学基金(60970007
61073050)
+3 种基金
国家重点基础研究发展计划(973)(2007CB310800)
上海市自然科学基金(09ZR1412100)
上海市科学技术委员会资助项目(10510704900)
上海市重点学科建设项目(J50103)
-
文摘
软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针对第1阶段中发现的错误补充设计测试用例,探测软件中潜在的错误.重点是第1阶段的实现.依据确定性有限状态机和集合划分的理论,提出了确定性有限状态机的最小测试成本迁移覆盖准则,给出了最小测试成本迁移覆盖存在的充分和必要条件,设计了优化迁移覆盖和最小测试成本迁移覆盖的实现算法,并讨论了测试序列集合的有效性问题.在实验中,依据该方法不仅能够获得最小测试成本的测试用例集合,而且同样能够探测出确定性有限状态机中迁移上的错误.
-
关键词
最小测试成本迁移覆盖准则
成本/效率的平衡
确定性有限状态机
迁移覆盖
-
Keywords
minimum test cost transition coverage criterion
cost/benefit tradeoff
DFSM （deterministic finitestate machine）
transition coverage
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于FSM的Web应用测试用例生成研究
被引量：6
- 2
-
-
作者
陈亚龙
江国华
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《电子科技》
2013年第4期17-21,共5页
-
文摘
Web应用测试是提高Web应用质量的重要手段,测试的核心工作就是生成测试用例。生成测试用例主要有两大步骤:(1)从Web应用中提取模型。(2)遍历表示模型的有向图,产生测试用例。首先采用Html分析法结合源代码分析法提取FSM模型,随后在新提出的Web应用最小测试成本迁移覆盖准则下,利用一种复合的启发式搜索算法——模拟退火遗传算法遍历模型。通过比较模拟退火遗传算法和传统的搜索算法的效果,实例证明,该方法比传统方法生成的质量更理想。
-
关键词
FSM
最小测试成本迁移覆盖准则
模拟退火遗传算法
-
Keywords
FSM
Web application minimum test cost transition coverage criterion
Simulated Annealing andGenetic Algorithm
-
分类号
TP393.09
[自动化与计算机技术—计算机应用技术]
-
