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

基于Petri网的联锁软件安全性测试的研究被引量：7: 1; 作者魏臻周霞 +1 位作者鲍红杰韩进《计算机工程与应用》 CSCD 北大核心 2005年第17期123-125,138,共4页; 安全是铁路运输生产永恒的主题。联锁软件是保障铁路车站列车或机车(以下简称列机车)作业安全的关键软件,充分的测试对于保证其安全性具有举足轻重的作用。文章在分析文献[1][5][6]的联锁软件安全性需求故障树模型的基础上建立了联锁软... 展开更多; 关键词软件安全性 petri网联锁软件测试用例; 在线阅读下载PDF 职称材料

基于Petri网的联锁软件测试用例动态生成被引量：3: 2; 作者强生杰任恩恩《计算机工程》 CAS CSCD 2013年第1期54-57,共4页; 根据Petri网可动态描述和分析系统行为的特性,设计铁路计算机联锁软件安全需求Petri网模型,进而提出基于Petri网故障树的最小割集求解算法以及基于形式化故障树最小割集的测试用例动态生成算法。虚拟站场上的测试结果表明,该方法能有效... 展开更多; 关键词 petri网逆网最小割集联锁软件测试用例; 在线阅读下载PDF 职称材料

基于Petri网的联锁软件测评仿真建模被引量：5: 3; 作者宫杰陈邦兴《计算机应用与软件》 CSCD 2009年第2期11-13,52,共4页; 车站联锁软件一直有着严格的测试要求,仿真模块是软件测试的重要组成部分,Petri网作为形式化语言的一种,有着准确与完备的特点,对于联锁软件这类安全苛求软件的测试尤为适合,提出了一种使用Petri网对联锁软件测试中仿真模块建模的方式,... 展开更多; 关键词联锁软件测试建模 petri网; 在线阅读下载PDF 职称材料

区域联锁传输通道的安全性问题及仿真被引量：1: 4; 作者王军吴芳美《城市轨道交通研究》 2002年第4期52-55,共4页; 构造了区域联锁系统测试平台的框架模型,并给出了在模型中承担信息传输的载体(光纤)的选择。传输过程是一个连续和离散相结合的过程,作者选用Petri网对传输过程进行仿真建模,同时还给出了仿真系统的模块图。; 关键词传输通道安全性仿真信号系统区域联锁光纤软件测试 petri网框架模型铁路运输城市轨道交通; 在线阅读下载PDF 职称材料

基于UML的CPN模型在软件测试中的应用被引量：5: 5; 作者刘烁陈俊杰《计算机工程》 CAS CSCD 北大核心 2008年第3期119-121,共3页; UML在被工业界广泛接受的同时也成为学术界遵循的一种标准建模语言。许多面向对象软件测试的研究都围绕UML模型开展。但UML模型属于半形式化模型,往往无法自动生成测试用例。将UML模型与Petri网相结合,能够弥补其数学支持的不足。文章... 展开更多; 关键词面向对象软件测试统一建模语言着色petri网测试用例生成; 在线阅读下载PDF 职称材料

题名基于Petri网的联锁软件安全性测试的研究被引量：7: 1; 作者魏臻周霞鲍红杰韩进; 机构合肥工业大学计算机与信息学院; 出处《计算机工程与应用》 CSCD 北大核心 2005年第17期123-125,138,共4页; 基金国家863高技术研究发展计划项目:企业铁路智能运输调度综合信息平台(编号:2004AA001210); 文摘安全是铁路运输生产永恒的主题。联锁软件是保障铁路车站列车或机车(以下简称列机车)作业安全的关键软件,充分的测试对于保证其安全性具有举足轻重的作用。文章在分析文献[1][5][6]的联锁软件安全性需求故障树模型的基础上建立了联锁软件安全性需求的Petri网模型,提出了一种基于十字链表的Petri网的存储结构,给出了一种求解割集的算法实现;接着简述了安全性测试用例的自动生成方法;最后给出了该方法在HJ04A系统联锁软件安全性测试中的应用。; 关键词软件安全性 petri网联锁软件测试用例; Keywords software safety,petri nets,interlocking software,test case; 分类号 U284 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名基于Petri网的联锁软件测试用例动态生成被引量：3: 2; 作者强生杰任恩恩; 机构兰州交通大学光电技术与智能控制教育部重点实验室; 出处《计算机工程》 CAS CSCD 2013年第1期54-57,共4页; 基金国家"863"计划基金资助项目"铁路车站全电子控制关键技术与成套装备"(2007AA11Z211); 文摘根据Petri网可动态描述和分析系统行为的特性,设计铁路计算机联锁软件安全需求Petri网模型,进而提出基于Petri网故障树的最小割集求解算法以及基于形式化故障树最小割集的测试用例动态生成算法。虚拟站场上的测试结果表明,该方法能有效地降低测试过程的资源消耗,提高软件测试的效率,为联锁软件的设计与改进提供测试依据。; 关键词 petri网逆网最小割集联锁软件测试用例; Keywords petri net reverse net Minimal Cut Sets（MCS） interlocking software test case; 分类号 U284 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名基于Petri网的联锁软件测评仿真建模被引量：5: 3; 作者宫杰陈邦兴; 机构同济大学电子与信息工程学院信通系; 出处《计算机应用与软件》 CSCD 2009年第2期11-13,52,共4页; 基金国家自然科学基金项目(60674004); 文摘车站联锁软件一直有着严格的测试要求,仿真模块是软件测试的重要组成部分,Petri网作为形式化语言的一种,有着准确与完备的特点,对于联锁软件这类安全苛求软件的测试尤为适合,提出了一种使用Petri网对联锁软件测试中仿真模块建模的方式,并分别给出了用基本Petri网和有色Petri网的2个建模实例。该模型有助于提高铁路联锁软件测试系统的安全性与精确性。; 关键词联锁软件测试建模 petri网; Keywords interlocking software test Modelling petri-Net; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术] TM711 [电气工程—电力系统及自动化]; 在线阅读下载PDF 职称材料

题名区域联锁传输通道的安全性问题及仿真被引量：1: 4; 作者王军吴芳美; 机构同济大学电子与信息工程学院; 出处《城市轨道交通研究》 2002年第4期52-55,共4页; 文摘构造了区域联锁系统测试平台的框架模型,并给出了在模型中承担信息传输的载体(光纤)的选择。传输过程是一个连续和离散相结合的过程,作者选用Petri网对传输过程进行仿真建模,同时还给出了仿真系统的模块图。; 关键词传输通道安全性仿真信号系统区域联锁光纤软件测试 petri网框架模型铁路运输城市轨道交通; Keywords signalling systems, area - interlocking, optical fiber, software testing, petri Net; 分类号 U284.3 [交通运输工程—交通信息工程及控制] U23 [交通运输工程—道路与铁道工程]; 在线阅读下载PDF 职称材料

题名基于UML的CPN模型在软件测试中的应用被引量：5: 5; 作者刘烁陈俊杰; 机构太原理工大学计算机与软件学院; 出处《计算机工程》 CAS CSCD 北大核心 2008年第3期119-121,共3页; 文摘 UML在被工业界广泛接受的同时也成为学术界遵循的一种标准建模语言。许多面向对象软件测试的研究都围绕UML模型开展。但UML模型属于半形式化模型,往往无法自动生成测试用例。将UML模型与Petri网相结合,能够弥补其数学支持的不足。文章给出了基于UML的CPN模型的测试框架和一个从UML模型构造CPN模型的算法,并根据该方法给出了自动化支持工具U2CPN的类图结构。; 关键词面向对象软件测试统一建模语言着色petri网测试用例生成; Keywords object-oriented software test Unified Modeling Language（UML） colored petri nets test cases generation; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于Petri网的联锁软件安全性测试的研究	魏臻周霞鲍红杰韩进	《计算机工程与应用》 CSCD 北大核心	2005	7	在线阅读下载PDF 职称材料
2	基于Petri网的联锁软件测试用例动态生成	强生杰任恩恩	《计算机工程》 CAS CSCD	2013	3	在线阅读下载PDF 职称材料
3	基于Petri网的联锁软件测评仿真建模	宫杰陈邦兴	《计算机应用与软件》 CSCD	2009	5	在线阅读下载PDF 职称材料
4	区域联锁传输通道的安全性问题及仿真	王军吴芳美	《城市轨道交通研究》	2002	1	在线阅读下载PDF 职称材料
5	基于UML的CPN模型在软件测试中的应用	刘烁陈俊杰	《计算机工程》 CAS CSCD 北大核心	2008	5	在线阅读下载PDF 职称材料