基于界面状态有效性的GUI自动测试模型

针对图形用户界面 (GUI)自动功能测试存在的问题 ,提出了一种基于图形用户界面状态有效性的有限自动机 (FSM )测试模型 ,给出了建模方法和测试方法 .该模型不仅能提高测试脚本的重用性 ,而且能够自动产生GUI测试路径和测试输入数据 .

基于有限状态机模型的GUI设计及其应用

为了提高GUI(graphic user interface)程序的开发效率和质量,比较了Moor机与Mealy机模型的优缺点,提出了一种适用于GUI设计的有限状态机模型,并将其成功应用于轨道交通AFC(自动售检票)系统的半自动售票机中。应用结果表明,基于这一状态机模型设计的GUI程序具有开发速度快、可扩展性和可靠性高等技术特点。

一种Windows应用程序的GUI自动化遍历方法

基于模型驱动的自动化测试研究大多需要事先对应用程序GUI进行遍历进而构建模型。然而以往自动化遍历的研究大部分局限于移动端并且GUI覆盖率并不高。为此,提出一种Windows应用程序的GUI自动化遍历方法。该方法基于事件触发动态探测应用程序GUI,通过对比应用软件窗口集合判断GUI状态是否迁移,提出步骤回溯以及样式过滤思想,解决了GUI遍历过程中的回环、遍历不充分、遍历效率低三个关键问题。基于Pwinauto实现了可以自动遍历Windows应用程序GUI的原型工具。实验表明,该方法平均近似GUI覆盖率可以达到57. 8%～74. 3%。

基于事件驱动模型的GUI数据流异常分析方法

针对GUI软件数据流异常难以跟踪与分析的问题,提出一种基于事件驱动模型的GUI数据流异常分析方法。基于有限状态机,对变量生命周期状态迁移进行建模,引入别名分析方法,实现过程内数据流分析;通过获取化简的交互事件序列,将序列引入到代码数据流跟踪中。实验结果表明,该方法可有效检测由于GUI软件不确定性导致的数据流异常问题。

基于Matlab GUI的埋地管道结构状态监测数据分析系统

分布式光纤传感技术可以实现对埋地管道任意位置温度和应变的分布式测量,但其后期数据处理过程颇为繁琐。为了对管道结构状态监测数据进行更加高效、合理的分析处理,尽量减少人为操作,开发了基于Matlab GUI的埋地管道结构状态监测数据分析系统,从而实现了监测数据处理过程中智能化、可视化的操作环境。某地煤气管道的实际应用表明,该系统能够很好地对监测数据进行分析处理,进而评估管道的结构状态,极大地提高了对监测数据的分析效率,为管道结构状态监测数据的处理分析提供了技术支撑。

基于HFSM模型的GUI自动测试

针对图形用户界面(GUI)软件的层次性,采用分层有限自动机(HFSM)模型对被测GUI软件建模,将GUI测试转换为预期HFSM和实际HFSM的一致性测试。模型自动搜索GUI控件,提供接口,采用均匀设计思想自动产生测试数据,由测试数据驱动测试执行。根据GUI软件的特点,采用增量方式进行模型构造和测试,从而避免错误积累。

宜侯夨簋中“宜”非江南吴国新考

宜国是传世文献佚记的西周诸侯国之一。若非宜侯夨簋、霸伯盘等青铜器的出土,人们无由发现它的历史踪迹。然而在宜侯夨簋被发现后,学者多将其视为江南吴国的铜器,用以考索吴国早期的历史。实际上,宜侯夨在徙封宜地之前为虞国之君,而虞国是武王时期分封吴国虞仲在晋南地区新建的国族。后来康王将虞侯夨徙封至宜,其地在今河南宜阳,而非江苏丹徒或其它地方。近出霸伯盘铭文中的“宜姬”不仅显示了宜为姬姓国族的事实,也提供了宜国与霸国相近而交往密切的证据。康王徙封虞侯夨于宜,使其与应国相互配合,共同组成抵御淮夷、南向拓疆的重要防线,以便实现周初经略南土的战略目标。

五代十国时期归、峡二州归属考辨

五代十国时期,归、峡二州前后归属颇有不同,后梁至后唐庄宗伐蜀前,归、峡隶于前蜀;后唐明宗天成元年(926),归、峡二州方始改属南平(高氏荆南),其间又屡有反复,归州归属尤其如此;逮至天成、长兴之际,归州重入南平,南平以荆、归、峡三州为基本疆域范围的格局至是最终得以确立。其后的后晋、后汉、后周三朝,沿而未改,并一直延续到乾德元年(963)南平亡于北宋。

《燕侯载簋》考释二则

燕侯载簋是十分重要的燕系文字资料。本文考释了其中的"卬"和"无争"两个疑难字词,讨论了它们的含义,对于探讨燕国世系以及燕文化与中原文化之间的关系具有重要的价值。

拉线式输电塔初始状态下预应力的分布研究

针对拉线式输电塔在安装、运行过程中的受力特点,将初始状态的概念引入拉线式输电塔的受力分析中,利用有限元基本原理,推导出基于双重非线性的杆单元刚度矩阵,建立了拉线式输电塔的有限元平衡方程。利用ANSYS软件建立输电塔的索梁桁混合单元的非线性有限元模型,计算出拉线式输电塔初始状态下预应力的分布,最后通过模型试验验证了数值分析结果的正确性。

极点配置和状态观测器辅助设计工具开发

开发了一个运行于MATLAB环境的极点配置和状态观测器设计GUI辅助工具,帮助设计人员快捷、直观地完成相应的系统设计与仿真任务。在论述有关理论的基础上,以MatlabGUIDE为开发手段,进行该GUI辅助工具的设计。该设计的图形用户界面由GUIDE中的控件编辑、组合而成,控制算法通过调用ControlSystemToolbox中的命令函数来实现,为了实现不同控件callbacksubfunction代码之间的数据传输,采用global将要求共享的变量申明为全局变量。该GUI辅助工具可以做为MatlabSISODesignTool的有益补充。

周代胡国历史与地理论考

胡国,归姓,本是北方媿(隗)姓赤狄部族的后裔。夏、商时媿姓的一支南迁至黄河南岸而进入中原腹地,西周时在淮河两岸建立胡国和弦国。西周的胡国位于河南省漯河市境,在春秋初期受郑武公的军事压迫而被迫向东南迁移至安徽阜阳境内,故城在今安徽阜阳西北的颍水西岸、泉河北岸一带。至春秋中后期,胡国成为楚人的附庸,完全丧失了主权。春秋后期胡国转而依附齐、鲁,公元前495年为楚所灭。

史密簋铭文与齐国的方伯地位

根据史密簋铭文所透现的史实 ,从师俗、史密的身份、国属入手 ,考证两人是兼地方与中央双重官职身份的西周重臣 ,他们只能来自于齐国 ,故而周王命他们率领以齐师为主力的诸侯国军队合击南夷。齐国是西周的重要方伯 ,拥有对东方的征伐大权 ,只要周王命令 ,就可以实行征伐 ,无需周王另派将领统帅自己的军队。当时周王朝衰微 。

桐城派祖述归有光原因略考

归有光是明代杰出散文家,经过钱谦益广泛介绍,清初散文学唐宋渐成风气。由于特殊时代文化背景和归有光的散文艺术成就,桐城派从众多明代散文家中选择归有光作为祖述典型。

基于集员卡尔曼滤波的智能车定位研究

本文针对道路约束的实际问题,应用集员卡尔曼滤波算法对具有状态约束的智能车进行研究.以具有行驶路线约束的Freescale 16位单片机MC9S12DG128B控制的智能模型车为控制对象进行集员卡尔曼滤波算法设计和应用,实验结果表明该算法能有效地减小估计误差,也能够很好的满足实际应用的要求.

小邾国墓地出土昆君壶及其相关问题考论

昆君壶2002年出土于枣庄小邾国墓地,该壶铭文中的“昆”,即与小邾国同宗的昆吾国,“妇”是“弟妻”的称谓,器主媿霝来自鬼方,其部族与小邾国君有联姻的传统,媿霝为小邾国君夫人,为了拉近两国关系自称昆吾弟妻。昆吾为己姓国,其地望初在许,后被命为夏伯,迁于卫,被商灭后又迁至鬼方。西周早期,成王伐鬼方,昆吾迁往西域,最终被周穆王征服。小邾与昆吾为兄弟之国,与鬼方为姻亲之国,昆君壶的发现证明了三者的密切关系。

鬼子小说《一根水做的绳子》中的生命状态研究

鬼子的长篇小说《一根水做的绳子》在朴素的情感表达中有很多隐喻意味和对生命潜在状态的深层探讨。以生命美学的视角,从小说的叙述节奏和语言、小说的叙事策略和意象的使用等方面进行探讨,解读小说所体现出来的对人性的关怀、对生命本质的深度挖掘的精神。

应国兽簋铭文及相关问题

中国国家博物馆近年来入藏的兽簋为应国器物,可能是从平顶山应国墓地流出。兽簋铭文中的“应侯”是指应侯见工,“兽”是应国公族成员,后者曾服事应侯爯和应侯见工两代应侯。在应侯见工统治时期,兽负责管理应国的走马和驭人,其职司与《周礼》校人相似。兽簋铭文中的走马、驭人属于诸侯国职官性质,填补了应国官制乃至西周诸侯国官制史料的不足。

由近见左右簋铭探析西周贡纳制

近见左右簋,据形制纹饰考量,当为西周中期后段之器。铭记周王于穆宫内,由桓伯任傧右册命王臣"左右"继承祖考之职,于蔡国内任冢司工一事。该铭为重探西周贡纳经济体制提供新史料,通过系联扬簋、师■簋、驹父盨、兮甲盘、左右簋等铭可知,作为(冢)司工属官之一的工吏乃西周专征地方贡赋之官,在全国总中心成周之下,亦设有地方中心城负责囤积、管理并转运地方贡赋至京畿。而蔡能作为南方贡赋管理中心,一方面得益于与周王室为血亲,另一方面也是其在通往南方周道中的优越地理位置使然。周王意图通过蔡的蕃屏,借助其力量实现对地方经济控制与掠夺,以达到对地方诸侯超经济强制的目的。

归有光文章中女性观点的浅析

归有光是明代的著名文学家,他的文章中涉及了一些女性,从中透露出来的他对于女性的看法观点有时会不一样,有的文章注重从传统道德伦理规范来评价女性,另有些文章看重的是人世间的真情,因此在阅读归有光文章的基础上,从归有光的人生经历以及当时社会环境及风气的角度找出他用不同标准评价女性的原因。