【摘 要】
：
针对图形用户界面（GUI）软件的层次性，采用分层有限自动机（HFSM）模型对被测GUI软件建模，将GUI测试转换为预期HFSM和实际HFSM的一致性测试。模型自动搜索GUI控件，提供接口，采用均匀设计
【机 构】
：
湖南信息科学职业学院计算机科学与技术系,三一重工
论文部分内容阅读
针对图形用户界面（GUI）软件的层次性，采用分层有限自动机（HFSM）模型对被测GUI软件建模，将GUI测试转换为预期HFSM和实际HFSM的一致性测试。模型自动搜索GUI控件，提供接口，采用均匀设计思想自动产生测试数据，由测试数据驱动测试执行。根据GUI软件的特点，采用增量方式进行模型构造和测试，从而避免错误积累。
其他文献
<正> 鲁迅先生《记念刘和珍君》引用了陶潜的四句诗:“亲戚或余悲,他人亦已歌,死去何所道,托体同山阿。”现在,就所涉及的几个问题,谈谈个人的不成熟看法。一“亲戚或余悲”
流动性过剩是引发全社会关注的热点话题之一,上至政府会议、政策报告、学术研讨,下至普通报纸、网络聊天室,到处都充斥着流动性过剩的字眼。流动性过剩之所以会受到全社会的
摘要：在初中教学中，德育课程直接关系着学生的身心发展。精细化管理是教学中的一种创新方式，引入先进的文化理念，可以更好地培养学生的品德教育。本文就在德育工作中实施精细化管理进行了分析，旨在提升德育的实效性。 关键词：精细化管理；初中德育；有效性 初中是学生思想养成的重要阶段，我国一直提倡“德智体美劳”全面发展，可见，德育是提高自身修养的关键。受应试教育影响，初中学生的课程多、压力大、竞争残酷，学
以0.5 T气动葫芦为研究对象,对其马达进行了结构设计,并从运动学和动力学角度对马达叶片进行了计算和校核,确定了叶片所受的各种外力和各种惯性力,找出了叶片接触和弯曲疲劳
目的分析泌尿外科疾病患者临床采用输尿管镜技术治疗的效果,探讨其在临床应用中的价值。方法回顾分析200例治疗输尿管狭窄、尿道断裂、输尿管结石、尿道结石、尿道狭窄等患者
胰腺癌的发生与吸烟、饮食及生活环境等有关。胰腺癌男性多于女性,提示胰腺癌的发生与性别有关。根据日本胰脏学会报告,1986年共统计胰腺癌患者1170例,其中男性734例,女性43
<正>1-12月份,全国机动车回收数量179.8万辆,同比下降4.1%,其中汽车159.2万辆,同比下降6.4%,摩托车20.6万辆,同比增长18.3%。按照车辆类型分,1-12月份,客车回收数量为114.9万
针对在网格环境下对资源进行有效管理和调度的复杂性问题,提出一个基于竞争机制的网格资源分配模型,其中包括用户层、代理层及资源层。在该模型的基础上给出资源分配策略及一
<正>禽流感可以分为高致病性禽流感和低致病性禽流感,高致病性禽流感得到大家的广泛重视,防疫工作做的也比较好,每年都做抗体效价测定,使鸡群的抗体保护都在70%以上。H9亚型
农业、农村、农民问题历来是党和国家高度重视的问题,粮食是人们赖以生存的基本条件,土地是农民最基本的生产资料,也是人们赖以生存的基本物质生活保障。农村土地制度的改革