一种遍历场景状态图的嵌入式测试用例设计与生成方法技术

本发明专利技术提供一种遍历场景状态图的嵌入式测试用例设计与生成方法，采用可以重用的场景模式，在面对大量嵌入式系统需求时，通过对被测系统需求进行建模并划分到不同的场景模式，依据场景模式构建测试场景的状态图，能够以较快的方式设计、生成和修改软件测试用例，提高了测试用例的可重用性，实现对嵌入式系统的有效测试。

【技术实现步骤摘要】

本专利技术属于计算机信息处理
，具体涉及。
技术介绍
在软件测试过程中，测试用例的设计与生成往往是软件测试的关键与难点。对于嵌入式软件测试，被测软件一般具有实时性、并发性等特点，测试用例设计与生成时需要考虑这些特点，有针对性的进行设计。目前，基于场景的测试方法成为软件测试领域的研究热点。美国亚利桑那州大学的W.T Tsai等人提出了基于场景模型的面向对象测试框架，使用场景生成工具产生测试场景，还提出了积极测试、消极测试、测试切片、分割测试等测试 技术。瑞士苏黎世大学的J. Ryser等人提出了基于场景的软件验证和测试方法SCENT (AMethod forSCENario-Based Validation and Test of Software),在分析阶段创建场景，将场景形式化为状态图，通过对状态图添加注释为测试用例的生成提供有用信息，注释的内容包括前置条件、后置条件，数据范围等，通过路径遍历状态图产生测试用例。美国奥本大学的K. H CHANG等人提出基于形式化规范和使用剖面的测试场景生成方法，该方法使用Object-Z形式化语言描述软件需求，使用状态转换图对系统的动态本文档来自技高网...

【技术保护点】
一种遍历场景状态图的嵌入式测试用例设计与生成方法，其特征在于：所述方法包括以下步骤：步骤1：构建场景树；步骤2：构建场景状态图；步骤3：生成测试用例。

【技术特征摘要】

【专利技术属性】
技术研发人员：郑彦兴，杨广华，李东红，刘宇，房友园，邓世伟，苏晓艳，
申请(专利权)人：中国人民解放军六三九二八部队，
类型：发明
国别省市：