【摘 要】
：
为分析安卓应用回调函数的时序调用关系,提出一种全局、细粒度的回调函数建模方法,涵盖对生命周期、非生命周期及不同类型组件间的回调函数处理,关注回调序列上的注册对象定
【机 构】
：
国网天津市电力公司电力科学研究院,南开大学计算机与控制工程学院
【基金项目】
：
天津市自然科学基金重点基金项目(17JCZDJC30700)
论文部分内容阅读
为分析安卓应用回调函数的时序调用关系,提出一种全局、细粒度的回调函数建模方法,涵盖对生命周期、非生命周期及不同类型组件间的回调函数处理,关注回调序列上的注册对象定义及操作。利用模型检测语言NuSMV表征生成的回调序列,LTL(linear temporal logic)表示目标验证属性,得以自动化地验证应用缺陷。通过设计一个移动应用回调排序原型系统SQDroid,并将该系统应用在数据竞争缺陷检测上,验证了该方法的有效性。
其他文献
针对非线性动力学行为的特点,利用计算机仿真技术,应用数学微分方程理论以及Matlab软件对超混沌类Lorenz系统的非线性动力学行为及其计算机仿真情况展开具体分析与探索,包括L
关键词 先天性 致畸因素 胎儿 doi:10.3969/j.issn.1007-614x.2009.20.124 先天性畸形包含两个方面:一是指婴儿出生前,在母孕期发育紊乱引起的形态、结构、功能、代谢、精神、行为等方面的异常。形态结构异常表现为无脑儿、脊柱裂、兔唇、四肢异常等;生理功能和代谢缺陷常常导致先天性智力低下,以及聋哑、致盲等异常;二是指婴儿出生后表现为肉眼可看见,或者辅助技术诊断
患儿，男，6岁，既往体检，于2007年10月1日下午6：00左右出现脐周腹痛，伴发热，恶心无腹泻，无其他临床表现和诱因，经当地村医注射阿托品0．5mg疼痛缓解，于2日凌晨3：00左右再次出现发热腹痛，村医
采用3S技术相结合的方法在西安二环内采集城市表层土壤样品78个,利用X-Ray荧光分析仪(XRF)测定土壤样品中Co、Cr、Cu、Mn、Ni、Pb、Zn、V等8种重金属元素的含量,将其与其他城
在私法上,人身自由权作为一项基本的民事权利,在本质上属于防御权,保护着主体人格利益的完整性不受侵犯。但是,在现行法律体系中,关于人身自由权的保护主要体现在公法的规范