【摘 要】
：
基于模型的GUI测试方法（MBGT）可自动化生成测试用例,在MBGT中引入多级形态模型（Multilevel Morphology Model,MMM）可以实现从不同的形态角度考察系统,可控地提高模型的错误检测效
【基金项目】
：
国家自然科学基金项目（61672355）,上海市引进技术的吸收与创新年度计划项目（JJ-YJCX-01-15-5250）资助.
论文部分内容阅读
基于模型的GUI测试方法（MBGT）可自动化生成测试用例,在MBGT中引入多级形态模型（Multilevel Morphology Model,MMM）可以实现从不同的形态角度考察系统,可控地提高模型的错误检测效力。但多级形态模型只能整体扩展到高阶,且随着模型的扩展,测试用例的长度与数量急剧增长,极大地影响了测试效率。对此提出一种可进行局部扩展的多级形态模型的分割方法以及相应的测试用例生成策略。该方法通过GUI事件的分类,实现了对基础模型的分割与化简,并采用广度优先搜索（BFS）与中国邮递员问题（CPP）
其他文献
CIP-I Leg是国内首个智能仿生人工腿原型机,首先介绍了CIP-I Leg的基本结构,然后重点介绍了该人工腿步速测量系统的设计方案,包括步速调整原理、控制系统结构、针阀开度值的
为了使单自由度磁悬浮系统的转子稳定地悬浮在平衡位置,在建立系统状态空间模型的基础上,对系统引入状态反馈及误差积分的控制.通过仿真,系统的稳态误差为0,获得了较好的动态
TI公司的无线收发芯片TRF6900是工作在850～950MHz ISM频段的低功耗无线收发芯片,与普通无线收发芯片相比,非常适合在复杂的电磁环境下实现距离范围在1000米以内的无线移动通信
汽车发动机爆震检测是典型的一唯时变信号模式识别问题,详细描述了基于离散傅立叶变换(DFT)进行发动机各气缸爆震强度模式识别的算法,并采用递阶模式特征判别和判决阈值自调
阐述了一种主要用于检测视频同步信号的基于PCI总线的视频发生器模块的设计过程.该模块具有RS-422总线接口与两路PAL制式复合视频输出端.该视频信号可以由外部行场同步与外部
在分析基于Pandora的动态故障树时,SBDD方法未考虑各底事件间复杂的关系,造成生成的SBDD中存在无效分支,即计算的不交化割集中存在无效割集。针对该问题,提出了一种基于动态
粗糙集理论是一种有效的数据挖掘工具,覆盖粗糙集理论是粗糙集理论中的重要部分。给出了一对覆盖近似算子随数据对象增加的更新方法,并以实例说明了所提出的更新方法的有效性。
受到Tierney的序列稀疏子空间聚类方法的启发,提出了一种新的基于顺序特性的子空间聚类方法.该方法先通过提升小波变换处理得到信号的低频信息;然后通过强调相邻样本之间的连
针对近邻传播聚类算法在构造相似度矩阵时因对多重尺度和任意形状数据敏感而聚类效果不理想的缺陷,提出一种基于密度调整和流形距离的近邻传播算法。该算法将＂领域密度＂和＂流形