Statechart描述的测试语义和测试用例自动生成

研究了Statechart描述的测试语义和测试用例自动生成.基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例.建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础.为Statechart描述建立了形式化测试语义,测试语义和传统的验证语义不同,强调可观察性和内部细节隐藏.基于形式化测试语义和测试假设,形式化定义了系统描述和系统实现之间的一致性关系/实现关系.然后给出了基于图遍历的测试用例生成算法,对于无环测试语义该算法可以生成完全测试集,而对于带环测试语义该算法可以生成高效率的宽泛测试集.     

基于扩展的EDPN的类的交互测试用例生成技术的研究

针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例“爆炸”以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题，扩展了事件驱动的Petri网(EEDPN)模型，提出了类的状态组合的标记关联递推法生成交互路径，得到了扩展的正交阵列测试系统(EOATS)的类交互测试用例的生成方法，优化了OATS，分析了该方法在类的交互测试技术中的覆盖率问题，讨论了其生成扩展的正交阵列表的充分性。     

基于SIMILARITY的演化路径测试数据生成方法研究

针对基于SIMILARITY的演化路径测试数据生成方法中的问题,通过大量试验确定了遗传算法的基本参数后,在编码方式、选择方式和交叉方式的8种参数组合以及24～45 bit的8种串长情形下,利用三角形分类程序对该方法生成测试数据的效果进行了研究.结果表明,最优组合也与原结果有一个数量级的差距.     

基于ArcEngine平台的宗地四至自动生成方法研究

宗地是地籍调查和土地确权登记等工作的基本土地单元,在地籍测绘和土地确权等工作中,获取宗地四至信息是必不可少的一环。传统的宗地四至信息首先需要人工判断,然后依据判断结果手工输入到属性表中,这样不仅工作效率低,也容易在人工输入过程中产生错误。该文针对传统人工判断、输入宗地四至信息的弊端,提出了三种宗地四至提取方法,在ArcGIS平台支持下,使用VB语言开发了宗地四至自动提取程序,该程序可以方便快捷的实现宗地四至信息的自动判别、自动输入,为地籍调查、土地确权登记等工作节省了大量人力和时间,大大提高了工作效率和数据的准确性。     

基于产业生成视角的旅游业成长和城镇化耦合发展研究———以张家界为例

从产业生成视角明确旅游业成长核心动力,构建旅游业和城镇化新耦合机制模型,分别选取各系统8大指标,运用熵值法和耦合模型,以张家界为例,分析了各阶段两大系统的动力与成因及耦合发展情况,结果发现:自建市以来,城镇化与旅游业分别呈稳定与波动上升态势;在城镇化发展的不同阶段,其核心动力存在差异,且其本身亦呈现不同状态;张家界旅游系统与城镇化系统之间存在中等水平相关性,耦合协调度达到中级协调,其协调发展仍有很大空间.     

基于GPS-RTK测量技术制作微地形高精度DEM的方法研究——以沙丘DEM生成为例

GPS-RTK测量技术以其实时、高效、高精度等优势,已在测绘领域得到了广泛的应用。数字高程模型(DEM)是地理信息系统作空间分析的基础数据之一。高质量的数字高程模型是应用DEM的重要前提。克服了诸多影响RTK测量数据精度的因素,通过GIS软件对实测RTK数据处理,获得高精度DEM,为沙丘的实时动态监测提供了保证。     

一种基于领域本体的课件自动生成方法

课件在多媒体教学中发挥着重要的作用。对目前课件制作模式进行研究,发现目前课件的制作主要依赖人工制作,对于课件自动生成方法研究甚少。本文提出一种基于领域本体的课件自动生成的方法,利用课程教学大纲和教材的领域本体自动把教材转换为课件。详细描述课件自动生成模型和课件自动生成过程并对关键实现技术进行研究。基于领域本体自动生成课件,一方面可实现领域本体的重用,另一方面也可减轻教师制作课件的工作量,并且课件内容可随着领域本体的自动更新而更新,从而实现课件自动更新。     

并行测试技术工程化应用研究

并行测试技术在测试系统中应用越来越广,采用并行测试技术能够提高系统的测试效率和性价比。本文提出了几种并行测试结构形式,并结合实际测试需求进行某型号导弹测试的并行测试分析与实践,详细分析了某型导弹开展并行测试的可行性及实施方法,最终选择多个被测对象并行测试的方法;通过并行测试,减少了测试时间,提高了测试速度,使该型导弹的测试效率提高了50%以上,可有效提高装备使用效率,具有一定的工程实践意义。     

基于新国标的机动车安全技术性能全自动检测系统

开发了一种基于新的机动车安全技术性能全自动检测系统、该系统实现了检测过程的自动化,具有较高的检测效率,具有结果查询、复制、统计、打印、传感器标定,设备检定,自检、系统设置和帮助等功能。     

性诱剂防治越冬代茶尺蠖试验初报

对越冬代茶尺蠖(Ectropis oblique)进行了性诱剂诱捕成虫观察。结果表明,襄阳茶区越冬代茶尺蠖成虫羽化期在3月上旬;放置性诱剂诱捕器的时间应在3月10日左右。     

基于自动气象站中心站软件对设备故障原因的分析

通过几年来对区域自动站中心站软件的使用,总结出通过软件对自动气象站设备故障进行判断的方法。当站点不在线时,故障原因可能为电压不足、移动信号不稳等;当要素值缺测或异常时,故障原因可能为软件设置错误、数据线屏蔽接地不良、传感器损坏等;当数据入库时间提前或延后时,原因可能为软件的校时功能未打开或者某个站的采集器没有收到集体校时命令。这些分析判断为技术人员解决设备故障提供了重要参考,从而提高了维修效率。     

基于JSFL的Flash自动测评系统研究

针对SWF文件难以反编译的特点,提出在Flash编辑环境下,用JSFL脚本来对FIA文件进行计算机自动测评的新思路。经实际测试,该方法简单实用,开发效率高,具有一定的实际应用价值。     

基于Iptables防火墙规则生成的研究与实现

基于Iptables防火墙规则生成的核心是规则提取算法,该算法能够根据Iptables日志信息判断主机是否受到攻击,再提取攻击特征信息形成规则,添加到主机防火墙的规则集中。规则生成有效地解决了防火墙根据实际网络情况自动生成规则的问题,为设置良好规则集、确保防火墙规则应与实际网络访问活动紧密相关提供了一种解决方法。     

自拟安眠方对小鼠自主活动及协同戊巴比妥钠睡眠实验的影响

目的 观察自拟安眠方对小鼠自主活动及协同戊巴比妥钠睡眠实验的影响。方法 （1）将69只小鼠随机分为六组（空白对照组,西药对照组,中药对照组,安眠方低、中、高剂量组）,空白对照组给予生理盐水,西药对照组给予地西泮,中药对照组给予甜梦胶囊,安眠方低、中、高剂量组分别给予12、38.7、120 g/（kg·d）,观察10 min内各组小鼠活动次数及站立次数;（2）将90只小鼠,随机分为6组,空白对照组及西药、中药对照组同小鼠自主活动实验,安眠方低、中、高剂量组分别给予30.1、60.2、120 g/（kg·d）,观察小鼠戊巴比妥钠睡眠潜伏期及睡眠时间。结果 与空白对照组相比,安眠方高剂量组小鼠活动次数与站立次数明显减少（P<0.01）;协同戊巴比妥钠实验中安眠方中、高剂量组小鼠睡眠潜伏期缩短及睡眠时间延长与空白对照组相比较,差异均有统计学意义（P<0.05）。结论 安眠方具有抑制小鼠自主活动的作用,具有缩短小鼠睡眠潜伏期及延长小鼠睡眠时间的作用。