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

基于同步有向图的同步测试序列生成方法被引量：3: 1; 作者孙宇霖赵保华屈玉贵《计算机学报》 EI CSCD 北大核心 2002年第6期632-636,共5页; 使用多测试单元的测试系统可以对多端口协议实现进行一致性测试 .但是在进行这种一致性测试时 ,测试系统各个端口之间可能会出现同步问题 .现在 ,解决同步问题常用的办法是在测试单元相应端口之间增加同步连接 ,然后通过此同步连接相互... 展开更多; 关键词同步有向图同步测试序列生成方法测试单元通信协议; 在线阅读下载PDF 职称材料

基于UML Statechart语义的测试序列生成方法被引量：2: 2; 作者缪力张大方《计算机工程与科学》 CSCD 2005年第4期3-5,共3页; UML Statechart是UML的一个主要组成部分,与其他类型的 Statechart相比,由于采用事件队列的调度方式,UML Statechart有着更多的不确定性,使得针对UML Statechart模型的测试非常困难。本文给出了一个形式化的语义模型,并将Statechart转... 展开更多; 关键词软件开发软件测试测试序列生成方法 UML STATECHART 语义模型; 在线阅读下载PDF 职称材料

基于全同步对覆盖的线程调度序列生成方法: 3; 作者石存沣李征 +1 位作者郭俊霞赵瑞莲《计算机应用》 CSCD 北大核心 2015年第7期2004-2008,2014,共6页; 针对多线程并发程序生成覆盖同步语句的线程调度序列(TSS)效率低问题,提出了一种基于全同步对覆盖(APSC)准则的TSS生成(TGBA)方法。首先,对并发程序中的同步语句,定义了同步对及APSC;然后,给出了一个同步对-线程关联图(SPTG)构建方法;... 展开更多; 关键词多线程并发程序同步对全同步对覆盖准则线程调度序列测试生成效率; 在线阅读下载PDF 职称材料

基于有向同步交互图的类族测试用例生成算法: 4; 作者龚红仿李军义《计算机应用研究》 CSCD 北大核心 2007年第6期48-51,共4页; 根据类对象之间的消息通信产生的同步消息、消息传递以及消息等待的交互特征,设计了一种有向同步交互图(DSIG)模型,提出了类继承的同步交互路径(SIAPaths)测试用例生成方法,给出了自动生成同步交互路径的算法。同时,提出了同步交互序列... 展开更多; 关键词类继承测试有向同步图交互路径测试用例生成算法同步交互序列; 在线阅读下载PDF 职称材料

基于UML时序图的集成测试序列自动生成被引量：7: 5; 作者马伟张毅坤《计算机工程与应用》 CSCD 北大核心 2005年第19期108-111,共4页; 该文研究了基于UML时序图的集成测试序列自动生成方法。该方法分析了时序图的语义信息并添加语义约束规约生成可测试模型,从中提取相关信息生成有限状态机;然后使用Wp方法构造测试序列;最后使用中国邮递员算法对Wp方法进行改进生成最优... 展开更多; 关键词集成测试测试序列自动生成时序图 Wp方法中国邮递员算法; 在线阅读下载PDF 职称材料

基于EDPN的类测试框架及测试用例生成技术的研究被引量：2: 6; 作者龚红仿李军义 +1 位作者邹北骥孙家广《计算机科学》 CSCD 北大核心 2005年第5期224-229,共6页; 针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合“爆炸”和测试用例“爆炸”等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯... 展开更多; 关键词测试用例测试框架生成技术面向对象软件自动生成方法测试过程交互测试测试模型输入输出状态转移类测试路径递推法扩展正交阵爆炸组合标记序列协同列表; 在线阅读下载PDF 职称材料

基于事件消息驱动的Petri网的类族测试用例生成技术的研究被引量：3: 7; 作者龚红仿李军义邹北骥《计算机应用》 CSCD 北大核心 2005年第1期65-68,共4页; 在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例"爆炸"以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状... 展开更多; 关键词类族交互测试测试用例生成事件消息驱动Petri网扩展的正交阵列测试系统标记关联递推法同步消息序列测试覆盖标准; 在线阅读下载PDF 职称材料

基于统一信息模型的时间同步在线监测技术被引量：11: 8; 作者郑明忠彭志强 +2 位作者卜强生张琦兵周琦《电力系统保护与控制》 EI CSCD 北大核心 2020年第15期149-155,共7页; 时间同步系统是电力系统的基础设施,是电力系统运行控制和故障分析的重要基础条件。目前,现场运行时间同步系统中,部分厂站不具备时间同步在线监测功能,部分厂站时间同步在线监测功能仅在站内实现,无法进行全网统一时间在线监测。为面... 展开更多; 关键词时间同步在线监测网络拓扑自动生成测试系统及方法; 在线阅读下载PDF 职称材料

题名基于同步有向图的同步测试序列生成方法被引量：3: 1; 作者孙宇霖赵保华屈玉贵; 机构中国科学技术大学计算机科学技术系; 出处《计算机学报》 EI CSCD 北大核心 2002年第6期632-636,共5页; 基金国家自然科学基金重大研究计划项目(90 10 40 10 ) 国家"八六三"高技术研究发展计划项目(2 0 0 1AA112 0 62 ) +2 种基金安徽省自然科学基金(0 10 42 2 0 8)资助; 文摘使用多测试单元的测试系统可以对多端口协议实现进行一致性测试 .但是在进行这种一致性测试时 ,测试系统各个端口之间可能会出现同步问题 .现在 ,解决同步问题常用的办法是在测试单元相应端口之间增加同步连接 ,然后通过此同步连接相互发送同步消息来进行同步 .多端口协议和其它类型的分布式系统可以用有限状态机模型来描述 .目前 ,同步问题被分为双端口同步问题、多端口同步问题、紧同步问题等多种类型 .该文考虑两种有限状态机测试问题 :第一种是面向端口的测试 ,不考虑有限状态机测试单元之间的通信问题 ;第二种面向组的测试 ,有限状态机中的各个端口被分成互不相关的多个组 ,属于不同组中的测试单元之间互不通信 .该文提出了一种基于同步有向图的同步测试序列生成方法 .这种生成方法适用于 Pair同步、Port同步和组同步问题 .并且 ,这种方法也可以用来判断如何在非同步测试序列中增加同步通信。; 关键词同步有向图同步测试序列生成方法测试单元通信协议; Keywords Synchronization; 分类号 TN915.04 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名基于UML Statechart语义的测试序列生成方法被引量：2: 2; 作者缪力张大方; 机构湖南大学计算机与通信学院; 出处《计算机工程与科学》 CSCD 2005年第4期3-5,共3页; 基金国家自然科学基金资助项目(60273070 ); 文摘 UML Statechart是UML的一个主要组成部分,与其他类型的 Statechart相比,由于采用事件队列的调度方式,UML Statechart有着更多的不确定性,使得针对UML Statechart模型的测试非常困难。本文给出了一个形式化的语义模型,并将Statechart转化为一个比较简单的标志变迁系统,利用路径选择算法得到一个基于标志变迁系统的测试集,然后通过判断得到的测试集中每个测试用例是否满足UML Statechart执行步的语义,从而得到一个满足UML Statechart执行步的语义的、可执行的测试集。; 关键词软件开发软件测试测试序列生成方法 UML STATECHART 语义模型; Keywords UML statechart software testing test sequence generation; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于全同步对覆盖的线程调度序列生成方法: 3; 作者石存沣李征郭俊霞赵瑞莲; 机构北京化工大学信息科学与技术学院; 出处《计算机应用》 CSCD 北大核心 2015年第7期2004-2008,2014,共6页; 基金国家自然科学基金资助项目(61472025 61170082) 教育部新世纪优秀人才支持计划项目(NCET-12-0757); 文摘针对多线程并发程序生成覆盖同步语句的线程调度序列(TSS)效率低问题,提出了一种基于全同步对覆盖(APSC)准则的TSS生成(TGBA)方法。首先,对并发程序中的同步语句,定义了同步对及APSC;然后,给出了一个同步对-线程关联图(SPTG)构建方法;在此基础上,生成满足APSC的TSS;最后,使用JPF检测工具,对4个Java类库并发程序进行了TSS生成实验,并与常用的默认线程调度(DS)、抢占式线程调度(PS)和交叉线程调度(CS)序列生成方法在生成效率方面进行了对比分析。实验结果表明,与DS、CS方法相比,TGBA方法生成的TSS能够覆盖全部同步对;当满足APSC时,与PS方法相比,TGBA方法测试生成所需要的状态数、迁移数至少减少了19 889和44 352,并且生成效率平均提升了1.95倍,因此TGBA方法能够降低状态空间的规模开销,提高TSS的生成效率。; 关键词多线程并发程序同步对全同步对覆盖准则线程调度序列测试生成效率; Keywords multi-thread concurrent program synchronization pair All Synchronization Pairs Coverage （APSC） criteria Thread Scheduling Sequence （TSS） test generation efficiency; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于有向同步交互图的类族测试用例生成算法: 4; 作者龚红仿李军义; 机构长沙理工大学数学与计算科学学院湖南大学计算机与通信学院; 出处《计算机应用研究》 CSCD 北大核心 2007年第6期48-51,共4页; 基金国家自然科学基金资助项目(60474070) 湖南省科技计划资助项目(05JT1035) 湖南省教育厅科研资助项目(05C263); 文摘根据类对象之间的消息通信产生的同步消息、消息传递以及消息等待的交互特征,设计了一种有向同步交互图(DSIG)模型,提出了类继承的同步交互路径(SIAPaths)测试用例生成方法,给出了自动生成同步交互路径的算法。同时,提出了同步交互序列测试充分性准则,并从基本交互路径序列和基本交互消息序列的测试覆盖率两方面阐述了测试的可行性。; 关键词类继承测试有向同步图交互路径测试用例生成算法同步交互序列; Keywords class hierarchical test directed synchronous graph interactions path test case generation algorithm synchro-nous interactions sequence; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于UML时序图的集成测试序列自动生成被引量：7: 5; 作者马伟张毅坤; 机构西安理工大学计算机科学与工程学院; 出处《计算机工程与应用》 CSCD 北大核心 2005年第19期108-111,共4页; 基金陕西省教育厅科研基金(编号:00JK265); 文摘该文研究了基于UML时序图的集成测试序列自动生成方法。该方法分析了时序图的语义信息并添加语义约束规约生成可测试模型,从中提取相关信息生成有限状态机;然后使用Wp方法构造测试序列;最后使用中国邮递员算法对Wp方法进行改进生成最优测试序列。该方法生成的测试序列长度相对较短,并能充分满足测试用例覆盖需求。; 关键词集成测试测试序列自动生成时序图 Wp方法中国邮递员算法; Keywords integration test,automatic generation of test sequences,sequence diagram,Wp method,Rural Chinese Postman; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于EDPN的类测试框架及测试用例生成技术的研究被引量：2: 6; 作者龚红仿李军义邹北骥孙家广; 机构湖南大学计算机与通信学院清华大学信息科学技术学院; 出处《计算机科学》 CSCD 北大核心 2005年第5期224-229,共6页; 基金本项研究得到国家863基础研究类项目(项目编号:2002AA411510) 国家自然科学基金(项目编号60474070); 文摘针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合“爆炸”和测试用例“爆炸”等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯一输入输出(UIO)测试用例的自动生成方法,生成状态转移路径序列,测试类的状态;提出了基于扩展的EDPN的状态组合的标记关联递推法,生成扩展的正交阵列表,测试类的交互;提出了基于扩展的EMDPN的协同路径(copaths)测试用例的生成方法,生成协同路径序列,测试类的层次。; 关键词测试用例测试框架生成技术面向对象软件自动生成方法测试过程交互测试测试模型输入输出状态转移类测试路径递推法扩展正交阵爆炸组合标记序列协同列表; Keywords Class testing models Statement testing Interaction testing Hiberarchy testing Test cases technology Event-driven petri network(EDPN); 分类号 TP311.56 [自动化与计算机技术—计算机软件与理论] TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于事件消息驱动的Petri网的类族测试用例生成技术的研究被引量：3: 7; 作者龚红仿李军义邹北骥; 机构湖南大学计算机与通信学院; 出处《计算机应用》 CSCD 北大核心 2005年第1期65-68,共4页; 基金国家863计划资助项目(2002AA411510) 中科院软件所计算机科学重点实验室课题支持(SYSKF0307); 文摘在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例"爆炸"以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状态级别的优选组合产生交互路径,在证明生成交互路径数定理的基础上,得到了基于EMDPN模型的扩展的正交阵列测试系统(EOATS)的类族交互测试用例的生成方法,优化OATS。在讨论类族交互测试的覆盖率问题时,给出了类族交互测试的同步消息序列测试标准(SMSC),阐明了新的EOATS方法具有良好的覆盖性。; 关键词类族交互测试测试用例生成事件消息驱动Petri网扩展的正交阵列测试系统标记关联递推法同步消息序列测试覆盖标准; Keywords classes interactions testing test case generation Event & Massage Driven Petri Network(EMDPN) Extended Orthogonal Array Testing System(EOATS) marked associate recursive method synchronization message sequences testing coverage criterion; 分类号 TP311.56 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于统一信息模型的时间同步在线监测技术被引量：11: 8; 作者郑明忠彭志强卜强生张琦兵周琦; 机构国网江苏省电力有限公司电力科学研究院国网江苏省电力有限公司; 出处《电力系统保护与控制》 EI CSCD 北大核心 2020年第15期149-155,共7页; 基金国家自然科学基金项目资助(61602251) 国网江苏省电力有限公司科技项目资助(J2019038)。; 文摘时间同步系统是电力系统的基础设施,是电力系统运行控制和故障分析的重要基础条件。目前,现场运行时间同步系统中,部分厂站不具备时间同步在线监测功能,部分厂站时间同步在线监测功能仅在站内实现,无法进行全网统一时间在线监测。为面向全网主子站时间同步监测需求,提出了主子站间及站内时间同步监测整体解决方案。设计了时间同步监控主子站间及变电站内系统架构,分析了涉及的关键技术,包括统一信息建模、时间同步监测系统应用功能及测试技术。目前,基于统一信息模型的时间同步在线监测系统已经在江苏电网稳定运行。; 关键词时间同步在线监测网络拓扑自动生成测试系统及方法; Keywords time synchronization online monitoring automatic network topology generation test system and method; 分类号 TM76 [电气工程—电力系统及自动化]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于同步有向图的同步测试序列生成方法	孙宇霖赵保华屈玉贵	《计算机学报》 EI CSCD 北大核心	2002	3	在线阅读下载PDF 职称材料
2	基于UML Statechart语义的测试序列生成方法	缪力张大方	《计算机工程与科学》 CSCD	2005	2	在线阅读下载PDF 职称材料
3	基于全同步对覆盖的线程调度序列生成方法	石存沣李征郭俊霞赵瑞莲	《计算机应用》 CSCD 北大核心	2015	0	在线阅读下载PDF 职称材料
4	基于有向同步交互图的类族测试用例生成算法	龚红仿李军义	《计算机应用研究》 CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料
5	基于UML时序图的集成测试序列自动生成	马伟张毅坤	《计算机工程与应用》 CSCD 北大核心	2005	7	在线阅读下载PDF 职称材料
6	基于EDPN的类测试框架及测试用例生成技术的研究	龚红仿李军义邹北骥孙家广	《计算机科学》 CSCD 北大核心	2005	2	在线阅读下载PDF 职称材料
7	基于事件消息驱动的Petri网的类族测试用例生成技术的研究	龚红仿李军义邹北骥	《计算机应用》 CSCD 北大核心	2005	3	在线阅读下载PDF 职称材料
8	基于统一信息模型的时间同步在线监测技术	郑明忠彭志强卜强生张琦兵周琦	《电力系统保护与控制》 EI CSCD 北大核心	2020	11	在线阅读下载PDF 职称材料