3、TTCN - 3数据流程测试与MSC属性验证

TTCN - 3数据流程测试与MSC属性验证

1. TTCN - 3数据流程测试与数据库模式

1.1 数据库表结构

在TTCN - 3的数据流程测试中,使用关系数据库模式来存储测试执行过程中的数据。主要涉及两个表:
- Variablevaluelog表 :用于存储测试执行期间作为变量值的数据类型实例。每条记录对应一个变量值赋值操作,包含以下属性:
- execution :存储测试执行的标识符。
- time :存储赋值的时间戳。
- variablename :存储变量的名称。
- instancename :存储随机生成的数据类型实例的标识符,该实例的值被赋给变量。
- Parametervaluelog表 :用于存储测试执行期间赋给模板参数的值。每条记录对应一个参数值赋值操作,包含以下属性:
- execution :存储测试执行的标识符。
- time :存储赋值的时间戳。
- transition :存储发送带有赋值参数的消息时的转换。
- parametername :存储参数的名称。
- instancename :存储赋给参数的数据类型实例的标识符。

1.2 TTCN - 3测试用例转换

随着信息技术在管理上越来越深入而广泛的应用,作为学校以及一些培训机构,都在用信息化战术来部署线上学习以及线上考试,可以线下的考试有机的结合在一起,实现基于SSM的小码创客教育教学资源库的设计实现在技术上已成熟。本文介绍了基于SSM的小码创客教育教学资源库的设计实现的开发全过程。通过分析企业对于基于SSM的小码创客教育教学资源库的设计实现的需求,创建了一个计算机管理基于SSM的小码创客教育教学资源库的设计实现的方案。文章介绍了基于SSM的小码创客教育教学资源库的设计实现的系统分析部分,包括可行性分析等,系统设计部分主要介绍了系统功能设计和数据库设计。 本基于SSM的小码创客教育教学资源库的设计实现有管理员,校长,教师,学员四个角色。管理员可以管理校长,教师,学员等基本信息,校长角色除了校长管理之外,其他管理员可以操作的校长角色都可以操作。教师可以发布论坛,课件,视频,作业,学员可以查看和下载所有发布的信息,还可以上传作业。因而具有一定的实用性。 本站是一个B/S模式系统,采用Java的SSM框架作为开发技术,MYSQL数据库设计开发,充分保证系统的稳定性。系统具有界面清晰、操作简单,功能齐全的特点,使得基于SSM的小码创客教育教学资源库的设计实现管理工作系统化、规范化。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值