检索结果-维普期刊中文期刊服务平台

对时间输入/输出自动机一致性测试的改进被引量：2: 1; 作者赵冬叶克江《郑州大学学报（理学版）》 CAS 2002年第4期30-33,共4页; Jan.S等提出了对时间输入 /输出自动机 (TIOA)模型进行黑盒一致性测试的算法 .针对其生成的测试序列数量太大这一问题 ,提出用可最小化的时间自动机 (MTA)模型来描述稠密的实际系统 ,并用递归算法实现了对测试序列的首部即转换覆盖 P的... 展开更多; 关键词时间输入/输出自动机一致性测试双向模型可最小化时间自动机状态空间最小化测试序列 MAT模型; 在线阅读下载PDF 职称材料

一种基于时间自动机的实时系统测试方法被引量：14: 2; 作者陈伟薛云志 +1 位作者赵琛李明树《软件学报》 EI CSCD 北大核心 2007年第1期62-73,共12页; 基于时间自动机(timedautomata,简称TA)的一种变体——时间安全输入/输出自动机(timedsafetyinput/outputautomata,简称TSIOA),提出了一种实时系统测试方法.该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟... 展开更多; 关键词时间安全输入/输出自动机实时系统测试最简稳定符号状态迁移图测试用例生成; 在线阅读下载PDF 职称材料

多天线预均衡时间反转安全传输系统中预均衡器的优化被引量：2: 3; 作者雷维嘉张维翰 +1 位作者谢显中雷宏江《电子学报》 EI CAS CSCD 北大核心 2021年第9期1736-1745,共10页; 时间反转传输技术通过利用多径传输实现信号能量在空间和时间上的聚集,具有天然的抗窃听特性.本文在多输入单输出(Mingle-Input Single-Output,MISO)时间反转物理层安全传输系统中,在常规的发送预滤波器前增加一个所有天线共用的预均衡... 展开更多; 关键词物理层安全时间反转预均衡多输入单输出; 在线阅读下载PDF 职称材料

铁路信号安全协议一致性测试序列生成研究被引量：2: 4; 作者杨世玉徐中伟 +1 位作者喻钢张盛《计算机工程与应用》 CSCD 北大核心 2010年第34期59-61,91,共4页; 铁路信号安全协议(RSSP-I)是实现高速铁路安全运行的保障,协议一致性测试的核心是生成完备有效的测试序列。针对铁路信号安全协议的实时性要求,提出了带时间约束的FSM(Finite State Machine)模型,并在此模型基础上生成状态的UIO(Unique ... 展开更多; 关键词有限状态机唯一输入输出序列铁路信号安全协议时间约束收敛边; 在线阅读下载PDF 职称材料

一种符号化执行的实时系统一致性测试生成方法被引量：3: 5; 作者万勇兵徐中伟梅萌《电子学报》 EI CAS CSCD 北大核心 2013年第11期2276-2284,共9页; 系统一致性测试用来验证和确认系统实现的正确性.针对实时系统在进行数据处理时受到时间约束,容易导致状态空间爆炸的问题,提出一种符号化测试生成方法.首先对符号变迁系统和时间自动机进行扩展,建立一种新的符号语义模型TSIOSTS,基于... 展开更多; 关键词实时系统一致性测试时间安全输入输出符号变迁系统符号执行测试用例生成; 在线阅读下载PDF 职称材料

基于TAIO变异的CTCS-3列控系统测试案例生成方法被引量：8: 6; 作者魏柏全吕继东 +2 位作者陈柯行唐涛王唯《西南交通大学学报》 EI CSCD 北大核心 2020年第5期937-945,962,共10页; 为了研究高覆盖已知故障集的中国列车运行控制系统三级(CTCS-3)测试案例生成方法,提出了一种基于输入输出时间自动机(TAIO)变异分析的测试案例生成方法.结合列控系统模式转换的故障特点,设计了包含模式转换已知故障的8种变异算子(改变... 展开更多; 关键词 CTCS-3级列控系统输入输出时间自动机(TAIO) 变异分析模式转换测试案例; 在线阅读下载PDF 职称材料

题名对时间输入/输出自动机一致性测试的改进被引量：2: 1; 作者赵冬叶克江; 机构郑州大学信息工程学院河南财经学院计算机系; 出处《郑州大学学报（理学版）》 CAS 2002年第4期30-33,共4页; 文摘 Jan.S等提出了对时间输入 /输出自动机 (TIOA)模型进行黑盒一致性测试的算法 .针对其生成的测试序列数量太大这一问题 ,提出用可最小化的时间自动机 (MTA)模型来描述稠密的实际系统 ,并用递归算法实现了对测试序列的首部即转换覆盖 P的构造 .由分析得出结论 :使用 MTA模型可使上述测试算法生成的测试序列的数量大大减少。; 关键词时间输入/输出自动机一致性测试双向模型可最小化时间自动机状态空间最小化测试序列 MAT模型; Keywords black-box)conformance testing real-time system timed automaton bisimulation minimizable timed automaton; 分类号 TP301.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种基于时间自动机的实时系统测试方法被引量：14: 2; 作者陈伟薛云志赵琛李明树; 机构中国科学院软件研究所互联网软件技术实验室; 出处《软件学报》 EI CSCD 北大核心 2007年第1期62-73,共12页; 基金国家自然科学基金国家高技术研究发展计划(863)基金中国科学院"百人计划"基金~~; 文摘基于时间自动机(timedautomata,简称TA)的一种变体——时间安全输入/输出自动机(timedsafetyinput/outputautomata,简称TSIOA),提出了一种实时系统测试方法.该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimedstabletransitiongraphofsymbolicstate,简称USTGSS);然后采用基于标号迁移系统(labeledtransitionsystem,简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列;最后,给出了一个根据迁移动作序列构造和执行测试用例的过程,该过程引入了时间延迟变量目标函数,并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量.; 关键词时间安全输入/输出自动机实时系统测试最简稳定符号状态迁移图测试用例生成; Keywords timed safety input/output automata real-time system testing minimized stable label transition graph of symbolic state test cases generation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名多天线预均衡时间反转安全传输系统中预均衡器的优化被引量：2: 3; 作者雷维嘉张维翰谢显中雷宏江; 机构重庆邮电大学通信与信息工程学院移动通信技术重庆市重点实验室重庆邮电大学光电工程学院; 出处《电子学报》 EI CAS CSCD 北大核心 2021年第9期1736-1745,共10页; 基金国家自然科学基金(No.61971080,No.61471076) 重庆市教委科学技术研究重点项目(No.KJZD-K201800603,No.KJZD-M201900602)。; 文摘时间反转传输技术通过利用多径传输实现信号能量在空间和时间上的聚集,具有天然的抗窃听特性.本文在多输入单输出(Mingle-Input Single-Output,MISO)时间反转物理层安全传输系统中,在常规的发送预滤波器前增加一个所有天线共用的预均衡器,并针对保密速率最大化进行优化.相比较联合优化所有预滤波器的方案,优化预均衡器的复杂度明显更低.仿真结果表明,针对安全传输优化的预均衡时间反转系统,在配备4根发送天线、上采样因子为1时高发送功率下的可达保密速率比常规时间反转传输系统约高2倍,且天线数目越多,上采样因子越大,性能优势越明显.; 关键词物理层安全时间反转预均衡多输入单输出; Keywords physical layer security time reversal pre-equalization mingle-input single-output; 分类号 TN918 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名铁路信号安全协议一致性测试序列生成研究被引量：2: 4; 作者杨世玉徐中伟喻钢张盛; 机构同济大学电子与信息工程学院上海大学悉尼工商学院; 出处《计算机工程与应用》 CSCD 北大核心 2010年第34期59-61,91,共4页; 基金国家自然科学基金(No.6067400) 铁道部科技研究开发计划基金资助项目(No.2007X003)~~; 文摘铁路信号安全协议(RSSP-I)是实现高速铁路安全运行的保障,协议一致性测试的核心是生成完备有效的测试序列。针对铁路信号安全协议的实时性要求,提出了带时间约束的FSM(Finite State Machine)模型,并在此模型基础上生成状态的UIO(Unique Input/Output sequences)序列,最后采用基于收敛边的算法生成了较其他算法更短的一致性测试序列,从而提高了测试效率。; 关键词有限状态机唯一输入输出序列铁路信号安全协议时间约束收敛边; Keywords Finite State Machine （FSM） Unique Input/Output （UIO） sequence Railway Signal Safety Protocol （RSSP-I） time constraints converging edge; 分类号 TN915.852 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名一种符号化执行的实时系统一致性测试生成方法被引量：3: 5; 作者万勇兵徐中伟梅萌; 机构同济大学电子与信息工程学院嵌入式系统与服务计算教育部重点实验室; 出处《电子学报》 EI CAS CSCD 北大核心 2013年第11期2276-2284,共9页; 基金国家自然科学基金(No.61075002 No.61273180) +1 种基金铁道部科技重点资助项目(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 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于TAIO变异的CTCS-3列控系统测试案例生成方法被引量：8: 6; 作者魏柏全吕继东陈柯行唐涛王唯; 机构北京交通大学轨道交通运行控制系统国家工程研究中心北京交通大学轨道交通控制与安全国家重点实验室; 出处《西南交通大学学报》 EI CSCD 北大核心 2020年第5期937-945,962,共10页; 基金国家重点研发计划(2018YFB1201500) 中国铁路总公司科技研究开发计划课题(N2018G064) 中国工程院咨询研究项目(18-HN-ZD-03)。; 文摘为了研究高覆盖已知故障集的中国列车运行控制系统三级(CTCS-3)测试案例生成方法,提出了一种基于输入输出时间自动机(TAIO)变异分析的测试案例生成方法.结合列控系统模式转换的故障特点,设计了包含模式转换已知故障的8种变异算子(改变行为、改变目标位置、改变源位置等),形成了15106个变异体;利用输入输出一致性关系(tioco)和k-Bounded模型检验方法生成了10843个测试案例;应用一致性关系分数(CRS)、平均一致性关系分数(ACRS)和加权一致性关系分数(WCRS)进行了故障覆盖度的分析.研究结果表明:该方法设计和生成的测试案例能够有效覆盖改变行为、改变不变量和增加sink位置3种故障模式,而对于约束取反和复位取反的故障模式覆盖度不高,需通过额外的观测信息来检测故障.; 关键词 CTCS-3级列控系统输入输出时间自动机(TAIO) 变异分析模式转换测试案例; Keywords CTCS-3 train control system timed automata with input and output(TAIO) mutation analysis mode conversion test suite; 分类号 U284 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	对时间输入/输出自动机一致性测试的改进	赵冬叶克江	《郑州大学学报（理学版）》 CAS	2002	2	在线阅读下载PDF 职称材料
2	一种基于时间自动机的实时系统测试方法	陈伟薛云志赵琛李明树	《软件学报》 EI CSCD 北大核心	2007	14	在线阅读下载PDF 职称材料
3	多天线预均衡时间反转安全传输系统中预均衡器的优化	雷维嘉张维翰谢显中雷宏江	《电子学报》 EI CAS CSCD 北大核心	2021	2	在线阅读下载PDF 职称材料
4	铁路信号安全协议一致性测试序列生成研究	杨世玉徐中伟喻钢张盛	《计算机工程与应用》 CSCD 北大核心	2010	2	在线阅读下载PDF 职称材料
5	一种符号化执行的实时系统一致性测试生成方法	万勇兵徐中伟梅萌	《电子学报》 EI CAS CSCD 北大核心	2013	3	在线阅读下载PDF 职称材料
6	基于TAIO变异的CTCS-3列控系统测试案例生成方法	魏柏全吕继东陈柯行唐涛王唯	《西南交通大学学报》 EI CSCD 北大核心	2020	8	在线阅读下载PDF 职称材料