随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论...随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究.展开更多
针对5G系统中终端和网络建立安全连接的需求,身份的相互认证是建立安全连接的关键。对5G系统中基于5G认证和密钥协商(5G Authentication and Key Agreement,5G AKA)方式的认证过程进行了研究,结合5G AKA认证机制的特点,完成了终端5G AK...针对5G系统中终端和网络建立安全连接的需求,身份的相互认证是建立安全连接的关键。对5G系统中基于5G认证和密钥协商(5G Authentication and Key Agreement,5G AKA)方式的认证过程进行了研究,结合5G AKA认证机制的特点,完成了终端5G AKA认证过程的具体设计,包括流程设计、接口设计。并基于规范及描述语言(Specification and Description Language,SDL)和测试及测试控制表示法第三版(Testing and Test Control Notation,TTCN-3)协仿真平台上搭建了SDL功能图,对设计的终端5G AKA认证过程进行测试并对测试结果进行分析,有效检验了终端5G AKA认证过程与标准的一致性。展开更多
小区重选作为空闲态下异系统互操作研究领域的重要组成部分,是验证异系统多小区互操作能否实现的重要标志。鉴于此,设计了一种基于TTCN-3(Testing and Test Control Notation version3)的TD-LTE/TD-SCDMA终端RRM(Radio Resource Managem...小区重选作为空闲态下异系统互操作研究领域的重要组成部分,是验证异系统多小区互操作能否实现的重要标志。鉴于此,设计了一种基于TTCN-3(Testing and Test Control Notation version3)的TD-LTE/TD-SCDMA终端RRM(Radio Resource Management)一致性测试小区重选测试例。首先搭建基于TTCN-3的RRM一致性测试平台,此平台具有调试能力强,自动化测试功能,测试环境更加真实,以及灵活的可视化界面等优点,然后基于此平台编写TD-LTE/TD-SCDMA小区重选脚本,最后在平台上顺利运行,验证了基于TTCN-3的异系统多小区之间互操作的可行性。展开更多
由于组件化软件系统开发建模过程中广泛采用的统一建模语言(UML)缺乏标准的形式化语义,不能被计算机识别与处理,使得对该系统的测试成为一项难题。提出一种基于UML和规范描述语言SDL(Specification and Description Language)融合建模...由于组件化软件系统开发建模过程中广泛采用的统一建模语言(UML)缺乏标准的形式化语义,不能被计算机识别与处理,使得对该系统的测试成为一项难题。提出一种基于UML和规范描述语言SDL(Specification and Description Language)融合建模的针对组件化软件系统的黑盒测试方法,生成了MSC序列图和TTCN测试用例集,并结合一个游戏系统的例子实现了该方法。展开更多
文摘随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究.
文摘针对5G系统中终端和网络建立安全连接的需求,身份的相互认证是建立安全连接的关键。对5G系统中基于5G认证和密钥协商(5G Authentication and Key Agreement,5G AKA)方式的认证过程进行了研究,结合5G AKA认证机制的特点,完成了终端5G AKA认证过程的具体设计,包括流程设计、接口设计。并基于规范及描述语言(Specification and Description Language,SDL)和测试及测试控制表示法第三版(Testing and Test Control Notation,TTCN-3)协仿真平台上搭建了SDL功能图,对设计的终端5G AKA认证过程进行测试并对测试结果进行分析,有效检验了终端5G AKA认证过程与标准的一致性。
文摘小区重选作为空闲态下异系统互操作研究领域的重要组成部分,是验证异系统多小区互操作能否实现的重要标志。鉴于此,设计了一种基于TTCN-3(Testing and Test Control Notation version3)的TD-LTE/TD-SCDMA终端RRM(Radio Resource Management)一致性测试小区重选测试例。首先搭建基于TTCN-3的RRM一致性测试平台,此平台具有调试能力强,自动化测试功能,测试环境更加真实,以及灵活的可视化界面等优点,然后基于此平台编写TD-LTE/TD-SCDMA小区重选脚本,最后在平台上顺利运行,验证了基于TTCN-3的异系统多小区之间互操作的可行性。
文摘由于组件化软件系统开发建模过程中广泛采用的统一建模语言(UML)缺乏标准的形式化语义,不能被计算机识别与处理,使得对该系统的测试成为一项难题。提出一种基于UML和规范描述语言SDL(Specification and Description Language)融合建模的针对组件化软件系统的黑盒测试方法,生成了MSC序列图和TTCN测试用例集,并结合一个游戏系统的例子实现了该方法。
文摘3GPP(3rd Generation Partnership Project)在Release5提出IP多媒体子系统(IP Multime-dia Subsystem,IMS)以提供IP多媒体服务.在建置IMS服务时,验证CSCF组件是否有达到标准所定的规范是第1道关卡.本论文采用电信测试标准TTCN-3(Testing and Test Control Notation-version3),研发CSCF Conformance TestTool一致性测试平台(简称CSCF-T),以及利用OpenI MS进行测试.
