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

基于UML顺序图的回归测试用例生成研究被引量：2: 1; 作者文瑾《集成技术》 2013年第3期75-78,共4页; 首先在分析UML模型可测试性的基础上,解析顺序图,得到场景测试树,再遍历该树,得到场景的输入、预期输出、约束条件以及场景环境,这4部分组成了测试用例。再通过比较UML设计修改前后两个版本的顺序图,找出其中的改变信息,并在测试用例和... 展开更多; 关键词软件测试 uml顺序图面向对象回归测试用例; 在线阅读下载PDF 职称材料

基于Timed-UML顺序图的RBC交接形式化建模与分析被引量：3: 2; 作者安越李国宁《铁道标准设计》北大核心 2016年第6期132-138,共7页; 在CTCS-3级列控系统中,采用RBC技术将线路划分成多个管辖区段。当列车行驶并跨越相邻RBC交界区域时,控制权将会移交至前方相邻RBC,整个过程称为RBC交接。在运行中,RBC交接过程能否实时安全可靠地执行,直接影响着列车的行车效率和乘客的... 展开更多; 关键词车载系统 RBC交接实时uml顺序图时间自动机; 在线阅读下载PDF 职称材料

基于UML顺序图的软件测试: 3; 作者石燕《河南科技》 2011年第12期56-57,共2页; 面向对象的软件测试是在面向对象软件开发过程中不可缺少的一个环节,对于保证软件质量、提高软件可靠性至关重要。UML（Unified Modeling Language）状态图是在软件开发的早期设计阶段确定下来的,它描述了对象以及对象间相互传递的消息... 展开更多; 关键词 uml顺序图软件测试方法软件开发过程面向对象设计阶段软件可靠性软件质量测试用例; 在线阅读下载PDF 职称材料

基于场景的并发系统需求验证方法研究被引量：1: 4; 作者张涛黄少滨 +2 位作者黄宏涛吕天阳刘刚《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2011年第10期1323-1328,共6页; 为验证并发系统需求设计的正确性,提出一种基于场景的并发系统需求验证方法.首先,用UML顺序图建模并发系统需求场景,通过定义顺序图的操作语义及转换规则,将顺序图的XML描述文件自动转换为Promela程序,而后将描述系统需求的Promela程序... 展开更多; 关键词模型检测需求验证并发系统 uml顺序图 SPIN; 在线阅读下载PDF 职称材料

题名基于UML顺序图的回归测试用例生成研究被引量：2: 1; 作者文瑾; 机构昆明学院信息技术学院; 出处《集成技术》 2013年第3期75-78,共4页; 基金云南省教育厅科学研究基金(09Y0348); 文摘首先在分析UML模型可测试性的基础上,解析顺序图,得到场景测试树,再遍历该树,得到场景的输入、预期输出、约束条件以及场景环境,这4部分组成了测试用例。再通过比较UML设计修改前后两个版本的顺序图,找出其中的改变信息,并在测试用例和变化信息间建立映射关系,最后从原测试用例组中挑选出与映射关系有关的测试用例。; 关键词软件测试 uml顺序图面向对象回归测试用例; Keywords software test uml sequence diagram object-oriented regression testing cases; 分类号 TP311.53 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于Timed-UML顺序图的RBC交接形式化建模与分析被引量：3: 2; 作者安越李国宁; 机构兰州交通大学自动化与电气工程学院; 出处《铁道标准设计》北大核心 2016年第6期132-138,共7页; 文摘在CTCS-3级列控系统中,采用RBC技术将线路划分成多个管辖区段。当列车行驶并跨越相邻RBC交界区域时,控制权将会移交至前方相邻RBC,整个过程称为RBC交接。在运行中,RBC交接过程能否实时安全可靠地执行,直接影响着列车的行车效率和乘客的生命安全。采用一种基于添加实时约束的UML顺序图与时间自动机结合的模型来建立RBC交接场景。以双车载电台的RBC切换策略出发,建立切换的Timed-UML顺序图模型,然后按照UML-TA转换规则,建立得到完整的时间自动机网络模型。并利用UPPAAL验证工具对RBC交接模型进行形式化建模及分析,对模型的死锁和功能实现做了验证,从而达到对CTCS-3级RBC子系统的实时性以及设计规范合理性的验证目的。; 关键词车载系统 RBC交接实时uml顺序图时间自动机; Keywords On-board system RBC handover Timed uml sequence diagram Time automaton; 分类号 U284.48 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名基于UML顺序图的软件测试: 3; 作者石燕; 机构河南省商业高等专科学校计算机应用系; 出处《河南科技》 2011年第12期56-57,共2页; 文摘面向对象的软件测试是在面向对象软件开发过程中不可缺少的一个环节,对于保证软件质量、提高软件可靠性至关重要。UML（Unified Modeling Language）状态图是在软件开发的早期设计阶段确定下来的,它描述了对象以及对象间相互传递的消息,并根据面向对象顺序图的特点,结合类图和状态图来设计测试用例。本文,笔者介绍了基于UML顺序图的软件测试方法。; 关键词 uml顺序图软件测试方法软件开发过程面向对象设计阶段软件可靠性软件质量测试用例; 分类号 TP311.53 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于场景的并发系统需求验证方法研究被引量：1: 4; 作者张涛黄少滨黄宏涛吕天阳刘刚; 机构哈尔滨工程大学计算机科学与技术学院; 出处《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2011年第10期1323-1328,共6页; 基金国家自然科学基金资助项目(60873038 60903080) +1 种基金哈尔滨工程大学中央高校基本科研业务专项基金资助项目(100603); 文摘为验证并发系统需求设计的正确性,提出一种基于场景的并发系统需求验证方法.首先,用UML顺序图建模并发系统需求场景,通过定义顺序图的操作语义及转换规则,将顺序图的XML描述文件自动转换为Promela程序,而后将描述系统需求的Promela程序和描述系统规约的线性时序逻辑作为模型检测器SPIN的输入,用模型检测的方法自动验证并发系统需求设计的一致性和完备性,最后为证明上述方法的有效性给出一个基于场景的ATM系统需求设计验证实例.实验结果表明,该方法能够有效地发现并发系统需求设计中的错误与不一致,为改进设计提供帮助.; 关键词模型检测需求验证并发系统 uml顺序图 SPIN; Keywords model checking requirements validation concurrent systems uml sequence diagrams SPIN; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于UML顺序图的回归测试用例生成研究	文瑾	《集成技术》	2013	2	在线阅读下载PDF 职称材料
2	基于Timed-UML顺序图的RBC交接形式化建模与分析	安越李国宁	《铁道标准设计》北大核心	2016	3	在线阅读下载PDF 职称材料
3	基于UML顺序图的软件测试	石燕	《河南科技》	2011	0	在线阅读下载PDF 职称材料
4	基于场景的并发系统需求验证方法研究	张涛黄少滨黄宏涛吕天阳刘刚	《哈尔滨工程大学学报》 EI CAS CSCD 北大核心	2011	1	在线阅读下载PDF 职称材料