期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于形式化方法的协议测试理论 被引量：9
1
作者 吴建平 尹霞 《清华大学学报（自然科学版）》 EI CAS CSCD 北大核心 2001年第4期203-208,226,共7页
利用形式化方法构建了协议测试理论。定义了被测试方 UNDER TESTER、协议说明 SPECs、测试需求 REQs以及协议测试所关注的 U NDER TESTER和测试需求之间的完成关系 imp。作为一个实验活动 ,测试的依据被定义为测试集 TESTs,测试的执行... 利用形式化方法构建了协议测试理论。定义了被测试方 UNDER TESTER、协议说明 SPECs、测试需求 REQs以及协议测试所关注的 U NDER TESTER和测试需求之间的完成关系 imp。作为一个实验活动 ,测试的依据被定义为测试集 TESTs,测试的执行原则被定义为 3个操作 passes,fails,incons,并利用判决函数 Verdict得到测试结果。在上述基础上得到“协议测试”的概念。为了更好地将协议测试的形式化理论应用到实践中 ,通过一种可被编程的形式化语言——输入 /输出变迁系统 (IOTS)将上述理论进行了更具体的形式化描述。 展开更多
关键词 协议测试理论 形式化方法 完成关系 输入/输出变迁系统 网络协议 计算机网络 形式化语言
原文传递
一种符号化执行的实时系统一致性测试生成方法 被引量：3
2
作者 万勇兵 徐中伟 梅萌 《电子学报》 EI CAS CSCD 北大核心 2013年第11期2276-2284,共9页
系统一致性测试用来验证和确认系统实现的正确性.针对实时系统在进行数据处理时受到时间约束,容易导致状态空间爆炸的问题,提出一种符号化测试生成方法.首先对符号变迁系统和时间自动机进行扩展,建立一种新的符号语义模型TSIOSTS,基于... 系统一致性测试用来验证和确认系统实现的正确性.针对实时系统在进行数据处理时受到时间约束,容易导致状态空间爆炸的问题,提出一种符号化测试生成方法.首先对符号变迁系统和时间自动机进行扩展,建立一种新的符号语义模型TSIOSTS,基于该模型定义了时间一致性关系(tioco);然后以tioco关系为指导,结合符号化执行策略,生成被测系统模型的时间符号化测试行为树,并转化为测试用例;最后将提出的理论和方法应用于CTCS-3列控系统临时限速服务器的一致性测试中,验证了该方法的可行性和有效性. 展开更多
关键词 实时系统 一致性测试 时间安全输入输出符号变迁系统 符号执行 测试用例生成
下载PDF
网络协议测试的符号化一致性关系研究 被引量：1
3
作者 邢熠 叶新铭 谢高岗 《计算机工程与应用》 CSCD 北大核心 2008年第29期11-16,共6页
协议的一致性测试可以验证协议实现的正确性,一致性关系是测试生成的基础。网络协议的特点之一是控制消息中会携带大量数据。针对网络协议的该特点提出了符号化的一致性关系模型。建立了网络协议的输入输出符号变迁系统,并且依据数据符... 协议的一致性测试可以验证协议实现的正确性,一致性关系是测试生成的基础。网络协议的特点之一是控制消息中会携带大量数据。针对网络协议的该特点提出了符号化的一致性关系模型。建立了网络协议的输入输出符号变迁系统,并且依据数据符号实例化策略建立了对应的语义模型,在该模型中系统的活动是集成控制和数据的复杂活动。在此输入输出符号变迁模型的基础上提出了一种符号化的一致性关系以生成测试套。为了便于测试套的自动生成,对所提出的一致性关系进行了简化。在上述过程中数据的处理通过符号化的变量进行建模,这样可以使用统一符号进行数据处理,而不必总是关心具体的数值,只需在适当的时机进行符号的实例化。文中所提出的一致性关系模型充分利用了符号化的变量,增加了该模型的抽象程度,避免了处理过程的复杂性,且可以指导测试套的自动生成。最后使用IPv6的邻居发现协议对该一致性关系进行了说明。 展开更多
关键词 符号化一致性关系 一致性 则试 输入输出符号变迁系统(IOTS)
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部