刘攀
- 作品数：3 被引量：25H指数：2
- 供职机构：上海大学计算机工程与科学学院更多>>
- 发文基金：上海市教育委员会重点学科基金上海市自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 确定性有限状态机的最小测试成本迁移覆盖准则被引量：5
- 2011年
- 软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针对第1阶段中发现的错误补充设计测试用例,探测软件中潜在的错误.重点是第1阶段的实现.依据确定性有限状态机和集合划分的理论,提出了确定性有限状态机的最小测试成本迁移覆盖准则,给出了最小测试成本迁移覆盖存在的充分和必要条件,设计了优化迁移覆盖和最小测试成本迁移覆盖的实现算法,并讨论了测试序列集合的有效性问题.在实验中,依据该方法不仅能够获得最小测试成本的测试用例集合,而且同样能够探测出确定性有限状态机中迁移上的错误.
- 刘攀缪淮扣曾红卫梅佳
- 基于FSM的测试理论、方法及评估被引量：22
- 2011年
- 为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试方法评估的5项量化指标,实验评估了若干基于FSM模型的测试方法,给出了一些基于FSM测试的经验建议.文中的评估有助于基于FSM的测试方法在工业中的推广.
- 刘攀缪淮扣曾红卫刘阳
- 关键词：测试生成算法
- 一种Web应用测试生成与约简方法
- 2012年
- 软件测试是保证软件质量的一种重要手段,而复杂的Web应用对测试提出了新的要求.提出一种Web应用测试生成与约简方法,该方法对Web应用导航进行形式建模,使用模型检验导航安全性质所输出的反例分化模型,然后根据分化模型产生测试序列,依据Web应用的特性对测试序列集进行约简.实例演示表明该方法的有效性.
- 晏霞敏曾红卫刘攀贺斌
- 关键词：WEB应用
