张素梅
- 作品数：2 被引量：1H指数：1
- 供职机构：内蒙古大学计算机学院更多>>
- 发文基金：内蒙古自治区自然科学基金国家自然科学基金教育部“春晖计划”更多>>
- 相关领域：自动化与计算机技术更多>>
- CPN建模与on-the-fly方法相结合的测试用例生成被引量：1
- 2017年
- 在对复杂的软件系统进行测试时,生成的系统状态空间可能会非常庞大.为了避免对整个状态空间进行遍历,提出将on-the-fly方法与CPN形式化建模方法结合起来,用于生成测试例.在这种方法中,无需对整个状态空间进行遍历,只是仅对测试人员感兴趣的部分状态空间进行针对性的测试.首先,给出CPN和扩展可达图的定义,介绍了on-the-fly测试方法中涉及的相关概念,包括系统规约、测试目的、同步乘积和测试例等.然后,实现了同步乘积算法,并设计相关测试例对其进行了测试.最后,选定一个被测系统示例CPN建模与on-the-fly结合的方法,并通过适配器实现与被测系统的交互,生成和执行测试例,由此验证了方法的可行性和有效性.
- 张玉荣李华李华邢熠王显荣阮宏玮
- 关键词：测试例
- Web应用工作流的CPN建模及测试序列生成
- 2013年
- 为了提高Web应用的质量和可靠性,避免对Web应用进行测试时才发现其工作流程不合理,提出了在Web应用开发前先建立其工作流程的CPN模型,并基于CPN模型的状态空间给出了一个扩展-深度优先遍历算法,可以在满足状态覆盖和变迁覆盖的前提下减少测试序列的冗余度.为了展示该方法的有效性,以物流管理系统中的下订单业务为例,使用CPN对工作流建模,并对CPN模型进行正确性验证,之后采用扩展-深度优先遍历算法得到下订单业务的测试序列集,进而证实了扩展-深度优先遍历算法可以减少测试序列的冗余.
- 董路路李华张素梅
- 关键词：PETRI网CPN
