【摘 要】
：
静态分析是帮助提升软件质量的一项重要技术, 掌握这项技术对于软件开发和测试人员把握软件结构特性, 量化评估软件质量至关重要.为了帮助学生掌握移动应用静态分析技术, 针对Android平台, 设计了基于Androguard工具的静态分析实验.实验基于Androguard工具, 要求学生完成Python编程环境配置, 并按照实验指导指令完成 Androguard工具的安装、测试APK的准备, 利用Androguard工具的API进行静态分析工具的编码与实现, 对An-droid应用进行全面的静态分析.通过实验
【机 构】
：
大连理工大学 软件学院, 辽宁 大连 116024
论文部分内容阅读
静态分析是帮助提升软件质量的一项重要技术, 掌握这项技术对于软件开发和测试人员把握软件结构特性, 量化评估软件质量至关重要.为了帮助学生掌握移动应用静态分析技术, 针对Android平台, 设计了基于Androguard工具的静态分析实验.实验基于Androguard工具, 要求学生完成Python编程环境配置, 并按照实验指导指令完成 Androguard工具的安装、测试APK的准备, 利用Androguard工具的API进行静态分析工具的编码与实现, 对An-droid应用进行全面的静态分析.通过实验的训练, 能够帮助学生具体深入地了解移动应用静态分析与审计的基本方法, 并通过基于Androguard的二次开发任务, 提升基于所学软件工程理论知识解决实际工程问题的能力.
其他文献
通过顺式和反式二草酸二水合铬 (Ⅲ) 酸钾溶解度的差异制备异构体, 实验从产品结晶方式、溶解反应原料的用水量两方面进行合成条件的优化, 对制备出的顺、反异构体产品进行溶解度、吸收光谱等多项表征.并进一步通过光度法测定顺式和反式二草酸二水合铬(Ⅲ) 酸钾异构化的速率常数及活化能.通过制备结合测定的多项实验实践, 学生对配合物异构体的相关理论知识理解与学习更加深入与透彻.
“遗传学实验”是最重要的基础实验课之一.该课程的多个实验内容涉及到染色体的显微观察.在这些实验的教学过程中引入显微互动教学系统, 不但增强了教师授课的效果、提升了课堂指导的效率、加强了教师对教学过程的监控性, 还使教师对学生实验结果的考察更具有科学性.受到了教师和学生的一致好评,从整体上提升了“遗传学实验”的教学质量.
本文首先构造了分数阶拉普拉斯算子的一种新型积分公式,并给出了相应的误差估计.基于该积分公式,我们设计了一种求解分数阶拉普拉斯方程的新型有限差分格式,并得到了该格式的最优误差分析.最后通过一些数值实验验证了格式的高效性和理论分析的正确性.
传统的工程力学实验教学中引入先进的现代科研仪器设备, 不仅可激发学生兴趣开拓视野, 而且促进实验教学由传统模式转向综合探究模式, 全面提高学生的实践能力.据此, 将现代热点VIC-3D非接触测量系统应用于金属材料拉伸实验教学中, 既加深巩固对理论知识的理解, 也直观展示了工程应力—应变与真应力—应变的分布特征的差异, 实现了对理论教学的补充, 提高了整体实验教学质量.
本文研究了无限维余Frobenius Hopf代数对角交叉积表示范畴刻画的问题.利用乘子Hopf代数以及同调代数理论中的方法,获得了无限维余Frobenius Hopf代数对角交叉积的表示范畴与广义Yetter-Drinfeld范畴同构的结果,推广了Panaite等人在有限维Hopf代数中的结果.“,”The categorical interpretations on representations of diagonal crossed products of infinite-dimensional
本文研究了相适应于多尺度连续椭球覆盖的恒等逼近问题.通过使用调和分析中的实变方法,得到了如下两个恒等逼近结果:在欧氏空间Rn上紧子集的一致恒等逼近和L1(Rn)范数下的恒等逼近.该结果推广了经典情况下和各向异性情形下相应的恒等逼近结果.“,”In this paper we develop some approximation of the identity results adapted to continuous multi-level ellipsoid cover.By using real-va
液体表面张力系数是表征液体性质的一个重要物理参数, 与液体的种类、成分、温度、浓度、纯度等性质有关, 在物理、化学、医学、生物等领域有着重要的应用.提出了一种测量液体表面张力系数的方法,这种测量方法基于杠杆的拉脱法, 测量装置采用了杠杆和拉力传感器, 测量过程中只需要向下调节烧杯.这种测量法操作简单方便, 测量精度高, 而且可以通过调节杠杆两臂的比值改变测量的精度.
本文研究离散模型下带有分红交易费和税的最优分红问题.在分红率有界的条件下,通过更新初始时间得到最优值函数并证明最优值函数为Hamilton-Jacobi-Bellman方程的唯一有界解.另外,我们通过解HJB方程获得最优映像函数的近似解.“,”In this paper,we study the optimal dividend problem in the discrete risk model in which transaction costs and taxes are required when
设计了应用于检测技术实训的“基于瑞萨SK-S7G2和 LabVIEW 的流量检测系统”.系统硬件部分由传感器模块、控制器模块、输入捕获模块、串口通信模块和上位机等模块组成, 完成了控制器与各模块之间的端口配置.软件部分由e2Studio和labVIEW软件实现数据处理, 并设计监控界面实现流量数据实时监测等功能.设计了SK-S7G2与上位机之间的串口通信程序, 实现了各模块间的数据传输.通过检测技术实训设计, 能够有效提高学生在检测系统的设计与调试方面的综合能力.
齿轮泵在固体颗粒污染介质的环境下, 内泄漏量突升, 输出流量、压力均下降明显.为揭示其性能减弱机理, 根据三体摩擦理论和颗粒破碎理论从微粒角度推导出齿轮泵轴向泄漏的数学模型, 并制作测试台对其进行检验, 注入试验颗粒, 观察内泄漏变化.结果表明:建立的数学模型是正确的, 能合理解释在颗粒污染条件下齿轮泵性能的减弱现象.注入颗粒直径小于临界间隙尺寸dcrit 时内泄漏无明显变化, 颗粒直径接近或大于临界间隙尺寸dcrit 时内泄漏量加大, 且随粒径增大而增大.