【摘 要】
：
为解决图形用户界面（graphic user interface,GUI）元素状态空间庞大以及用户操作组合空间复杂等问题,针对特定类型的GUI软件,提出一种基于扩展库所/迁移系统的GUI测试模型. 在
【机 构】
：
北京工业大学信息学部,中国科学院软件研究所基础软件国家工程研究中心
【基金项目】
：
国家自然科学基金资助项目（91546111）,北京市博士后工作经费资助项目（Q6007011201602）
论文部分内容阅读
为解决图形用户界面（graphic user interface,GUI）元素状态空间庞大以及用户操作组合空间复杂等问题,针对特定类型的GUI软件,提出一种基于扩展库所/迁移系统的GUI测试模型. 在此模型中,库所表示用户在GUI软件上的操作类型,迁移表示用户在GUI上的操作事件.针对模型制定了3个相应的准则：库所覆盖准则、迁移覆盖准则和迁移对覆盖准则. 对迁移对覆盖准则和事件对覆盖准则进行分析,并设计了相应的GUI测试用例生成算法.在计算器上的初步试验结果表明：相较事件对覆盖准则,迁移对覆盖准则在保持较
其他文献
据英国《BBC新闻》（BBC NEWS）2013年11月2日报道，日本研究发现山桑子（bilberry）及越橘萃取物（1ingonberry）能保护眼睛视网膜对抗UV的伤害。山桑子及越橘萃取物能通过抑制活性氧（ROS）产
为了提髙人体上肢动作识别正确率,提出了一种基于表面肌电信号双谱分析的动作分类方法,以信息增益 作为表面肌电信号起止点分割效果衡量标准,结合TKE 算子提取出肌肉运动起止
为了探究蛋白质复合物的结构与相互作用,建立了蛋白质的分子对接方法,从2014年起参加蛋白质复合物结构预测竞赛的预测和打分竞赛.该方法首先采用结构模建方法预测单体蛋白质