论文部分内容阅读
图形用户界面(GUI)的自动测试问题是当前软件测试中的困难问题,其困难性首先表现在如何形式化地描述GUI.本文提出了一种形式化描述GUI的方法,这将为GUI的自动测试打下基础.
GUI应用程序的一种描述模型研究
【摘 要】
：
图形用户界面(GUI)的自动测试问题是当前软件测试中的困难问题,其困难性首先表现在如何形式化地描述GUI.本文提出了一种形式化描述GUI的方法,这将为GUI的自动测试打下基础.
【机 构】
：
华中师范大学计算机科学系,武汉,430079
【出 处】
：
2005’全国软件与应用学术会议(NASAC)
【发表日期】
：
2005年4期
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
甲基硫菌灵又名甲基托布津，1986年、1991年在统一补办登记36％、75％甲基硫菌灵悬浮剂、可湿性粉剂时，登记用于小麦、水稻、甘薯、瓜类、番茄、桑树、苹果树、禾谷类、油菜、棉花、
各区人民政府,各委、局,各直属单位:市人民政府决定:王镇任天津市地方金融监督管理局(天津市金融工作局)副局长(试用期一年);赵斌任天津市人民政府人民防空办公室副主任(试用
近年来,我国电子商务产业已初具规模,从结构上改变了中国市场消费者的消费行为和消费习惯,完成了初期的市场培育,进入消费市场细分阶段。大学校园这个密集消费群体的消费需求
阐述高校校园文化的内涵与精神,分析现代校园文化建设应从主渠道和主阵地着手,积极发动参与主体,把校园文化建设成为“三个代表”重要思想的宣传和实践的载体,成为全社会先进
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
目的研究甘精胰岛素结合瑞格列奈在治疗2型糖尿病中的临床疗效。方法选取2014年8月—2015年6月于本院就诊的2型糖尿病患者80例,平均分为两组,其中观察组40例,采用甘精胰岛素