论文部分内容阅读
针对场景测试法中多场景切换代价优化问题，在复合状态分析、逻辑蕴含概念基础上，从测试场景结构分解的角度，给出状态蕴含和场景蕴含关系的定义及推论，由场景蕴含形成场景蕴含图SIG，然后采用图论方法求解优化路径。给出系统化处理方法，并与其他方法比较。最后实例验证该方法的有效性。
基于蕴含关系的场景测试法路径优化方法研究
【摘 要】
：
针对场景测试法中多场景切换代价优化问题，在复合状态分析、逻辑蕴含概念基础上，从测试场景结构分解的角度，给出状态蕴含和场景蕴含关系的定义及推论，由场景蕴含形成场景蕴含图SI
【机 构】
：
南京理工大学计算机科学与工程学院
【出 处】
：
现代电子技术
【发表日期】
：
2015年12期
【基金项目】
：
国家自然科学基金（61300053）
其他文献
目的调查分析安徽省公立医院医务人员对公立医院改革的意愿情况及其影响因素。方法采用自行设计问卷，以无记名方式对安徽省4所试点医院和4所非试点医院共1140名医务人员进行调
分集接收技术由于能够获得分集增益,可提高多径信号的接收质量,因此在直接序列扩频系统中被广泛采用。常用的信号分集合并方法主要有选择性合并、等增益合并和最大比合并三种
今年夏季广东气候出现异常，自5月下旬开始至7月上旬连续大雨、暴雨且低温，对农业生产影响很大，特别是荔枝，由于雨水造成管理不便，大量落果及病虫害发生，减产严重。虽然减产，但价格并
在背景复杂的图像中,针对多椭圆检测时椭圆中心定位不准、虚假椭圆过多的缺点,提出一种基于Hough变换的改进算法。该算法对参数空间和Hough变换计算的改进提高了椭圆检测的准确度,并利用参数方程判断候选椭圆的真假。实验结果表明,该检测方法具有较强地抗干扰能力,能够在复杂的环境中准确快速地检测出多个椭圆。
针对水轮机的大惯性和非线性特性以及传统水轮机控制系统误差较大等缺点,提出一种基于模糊规则的水泵循环节能控制系统。利用水泵模拟水轮机系统抽水蓄能发电的过程,并分别从
我院是一所三级甲等大型综合教学医院，多年来也深受医疗纠纷的困扰和危害。不仅在资金上支付大量的补偿，同时也使医院声誉受损、医疗秩序破坏，造成医护人员士气低落、管理者疲于
文章采用问卷调查的方式，从员工价值观取向、员工对组织文化建设的认可状况、员工的文化需求和期待等方面展开调查，把握员工对组织文化的整体认知情况，提出要从和谐社会的高度去
设计一种以STM32F107微控制器为硬件核心,适用于嵌入式系统的开源TCP/IP协议——Lw IP的在线式电法勘探仪。仪器具备以太网接口,方便接入井下工业环网,实现顶底板含水构造的在线监测。仪器最多可扩展64个电极,具备高密度电阻率/激电法、常规电阻率/激电法2种工作模式,自动跑极,探测数据量大,探测速度快,对保障煤矿安全生产具有重大意义。
笔者从云南省商务厅获悉，今年1—6月，云南省出口以核桃仁为主的果仁2595t，金额达1465万美元，与去年同期相比，增幅分别为73．3％和87．8％。与此同时，云南省进口龙眼干6153t，金额达400万美元，