-
题名一种符号化执行的实时系统一致性测试生成方法
被引量：3
- 1
-
-
作者
万勇兵
徐中伟
梅萌
-
机构
同济大学电子与信息工程学院
嵌入式系统与服务计算教育部重点实验室
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2013年第11期2276-2284,共9页
-
基金
国家自然科学基金(No.61075002
No.61273180)
+1 种基金
"十二五"国家科技支撑资助项目(No.2011BAG01B03)
铁道部科技重点资助项目(No.2009X002-A)
-
文摘
系统一致性测试用来验证和确认系统实现的正确性.针对实时系统在进行数据处理时受到时间约束,容易导致状态空间爆炸的问题,提出一种符号化测试生成方法.首先对符号变迁系统和时间自动机进行扩展,建立一种新的符号语义模型TSIOSTS,基于该模型定义了时间一致性关系(tioco);然后以tioco关系为指导,结合符号化执行策略,生成被测系统模型的时间符号化测试行为树,并转化为测试用例;最后将提出的理论和方法应用于CTCS-3列控系统临时限速服务器的一致性测试中,验证了该方法的可行性和有效性.
-
关键词
实时系统
一致性测试
时间安全输入输出符号变迁系统
符号执行
测试用例生成
-
Keywords
real-time system
conformance test
time safety input-output symbolic transition system
symbolic test genera-tion
test case generation
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名圆管涵结构程序设计
- 2
-
-
作者
朱德强
刘桂菊
陈育新
徐涛
-
机构
黑龙江省公路勘察设计院
-
出处
《黑龙江交通科技》
1997年第1期11-12,共2页
-
文摘
本文介绍了应用ＰＣ－１５００袖珍电脑就圆管涵的工程量的计算，具有省工、省时、准确速度快的优点，并写出了程序框图供参考。
-
关键词
编制依据
适用条件
流程框图
输入输出符号
程序说明
-
分类号
U449.83
[建筑科学—桥梁与隧道工程]
-
