【摘 要】
：
通过图形用户接口(GUI)测试已经成为软件测试的主要手段,但现阶段GUI测试自动化程度不高。针对这一问题,提出了一种基于模型的GUI测试用例自动生成技术。给出了基于有色Petri
【机 构】
：
清华大学计算机科学与技术系; 清华大学计算机科学与技术系 北京100084; 北京100084;
【基金项目】
：
国家“十五”科技攻关项目(2002BA904B13);国家自然科学基金资助项目(60603035)
论文部分内容阅读
通过图形用户接口(GUI)测试已经成为软件测试的主要手段,但现阶段GUI测试自动化程度不高。针对这一问题,提出了一种基于模型的GUI测试用例自动生成技术。给出了基于有色Petri网模型的GUI对象建模方法。定义了2种测试覆盖标准,设计了基于不同测试覆盖标准的测试路径和测试数据生成算法。介绍了支持工具GUI测试用例生成器(GTCG)的设计与实现。实验表明:该模型可有效地描述GUI系统的状态和行为,该技术有助于提高GUI测试的效率和质量。
其他文献
1654年5月8日,德国马德堡市的市民们看到了一件令人惊奇又困惑的事情:他们的市长,就是发明抽气机的奥托·格里克,把两个直径40多厘米的空心铜半球紧贴在一起,用抽气机抽出球
冻土工程实践的发展和需求不断给冻土工程提出新的问题。冻土离心模拟技术是专门针对冻土工程的物理模拟技术,即在已有的土工离心机的基础上实现了温度场与应力场的耦合,并可
在分析国内外关于＂创造性思维本质＂主要观点的基础上,得出创造性思维的本质在于超越,在于突破原有的思维结构。最后,尝试给出创造性思维的定义创造性思维是能产生新颖性思维结
为评价抗生素类药物对土壤生态环境的影响,通过室内直接吸收法测定了磺胺、四环素、大环内酯类等几类抗生素对水稻土土壤微生物呼吸的影响.结果表明,磺胺甲嘧啶、磺胺甲唑、
传统室内设计学科的教学模式通常被称之为"结果导向型",即考查学生对于题目的解答能力,这会致使学生倾向于最终成果的展现,而忽视设计过程的思考,方案形同往届作业的复制,难
鉴于目前翻译界对异化和归化两种翻译方法所发生的论争,详细解析了翻译的两种主要策略-异化与归化,并且从实例的角度出发分析了二者在英汉互译中的应用,旨在说明在翻译过程中
钢丝绳卷筒爬台的理论尺寸在文献 [1]中已有推导,对钢丝绳直径为d,爬台宽度为b时的爬台理论高度h为:
本文中采用酶解技术将组成婴儿米粉的主要成分—淀粉部分水解成糊精和低聚糖、麦芽糖等,从而成功地解决了传统水粉生产工艺中存在的缺陷,对婴儿营养米粉的生产具有重大参考价
螺旋锥齿轮形状复杂,齿线长而弯曲,不易通过常规方法加工。摆辗作为一种新的塑性成形螺旋锥齿轮的方法,克服了精密模锻成形力过大的困难。基于有限元的方法,本文对螺旋锥齿轮