基于Smali Code的移动应用行为模型的自动构建方法

来源 :计算机科学 | 被引量 : 0次 | 上传用户:seo57364
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
移动应用数量的快速增长,以及移动应用开发周期短、迭代速度快等特点,使得移动应用的测试面临挑战,许多应用没有经过充分测试就被投放到市场,其中可能包含程序缺陷,从而影响用户体验。模型驱动的测试方法是最有效的测试方法之一,在功能、性能、可用性、安全等测试方面均有应用,能在一定程度上提高测试的自动化程度。移动应用领域与传统研究领域的模型驱动测试方法的最大区别在于模型构建方法的不同,因为移动应用是事件驱动的。提出了一种构建移动应用行为状态机模型的方法。首先通过逆向工程的方法得到移动应用的中间码;然后在中间码上通过动
其他文献
烧结终点是烧结操作的主要依据,是烧结过程的关键参数,针对烧结终点参数不确定性和存在时间滞后的问题,提出了基于温度上升点处温度的预报策略,并结合专家知识,对烧结终点采
介绍了涡流栅式位移传感器的基本原理及其基本结构,针对其特点设计了高灵敏度电感测量电路,该电路主要包括正弦波信号发生器、调幅电路、解调电路及输出可调差分放大电路,通过实验对测量电路参数进行优化;实验证明,该测量电路具有响应速度快、功耗小、稳定性高,适应性广等特点。
系统用于制袋分切的纠偏控制,主要包含光电探头、微机处理和电气控制三部分.光电探头采用激光二极管作为光源,光学系统完成标志的成像,双光敏电阻检测标志线的偏移,A/D转换器
支持向量机是基于统计学习理论的新一代机器学习技术.由于使用结构风险最小化原则代替经验风险最小化原则,使它较好的解决了小样本情况下的学习问题.又由于其采用了核函数思
短期负荷预测是电力系统正常运行的关键环节,合理的发电计划依靠准确的负荷预测,因此提出交变粒子群算法来优化BP网络模型以预测电力短期负荷。针对依靠先前的经验来确定BP神
针对维吾尔语人称代词指代消解研究忽略了待消解项识别而引入了噪声的问题,提出一种基于深度置信网络(Deep Belief Networks,DBN)的维吾尔语人称代词待消解项识别方法。在分析
为了在主用户具有异构性且认知用户处于多路径衰减、阴影效应等低感知性能的认知环境中,使认知用户公平有效地进行频谱感知,提出一种联盟博弈频谱感知机制,将频谱感知问题建
针对WPR(Weighted PageRank)算法存在的在网页搜索方面的主题漂移和偏重旧网页的现象,综合网页的主题特征和最近搜索周期网页的被引用频率两个因素,提出了一种改进的算法WTFPR(Weighted Topic Frequency PageRank)。该算法通过内容分析,采用改进的TD-IDF算法来解决网页相关性,改善主题漂移现象;通过网页的最近搜索周期的被引用频率来提高那些较新而且价值
为了解决人工称量中误差大、原燃料比例失调等问题,在对现场工艺、计算机控制技术进行研究的基础上,提出了矿石、焦炭称量自动补偿系统的设计方案,介绍了软硬件的构成,重点叙
在计算机科学中,本体是动态的实体。为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合。在本体的开发过程中,用户根据不同的需求和应用领域选择合适的