导读:本文包含了程序分析论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:程序,静态,缺陷,自动机,流程,测试,方法。
程序分析论文文献综述
王超[1]（2019）在《一种基于有限自动机的程序分析技术研究》一文中研究指出程序分析在软件测试和软件维护方面均有着重要作用。为实现软件程序的自动分析,基于有限自动机理论,提出一种实现软件静态信息识别的程序分析技术,根据程序设计语言的语法规则对程序语句进行了分类,针对每类语句设计了对应的识别自动机,在此基础上设计并实现了一个程序分析原型系统。系统应用结果表明,利用这一技术可以有效的提取出程序的控制流和数据流信息,能够为软件质量的定量分析和软件维护工作奠定良好基础。(本文来源于《计算机时代》期刊2019年12期）
黄源源[2]（2019）在《美国337调查的“100天程序”分析》一文中研究指出对美国337调查以及"100天程序"进行了概述,对适用"100天程序"的Laminated Packaging案等叁个案例进行了分析,总结了该程序适用的具体范围,即确定国内产业是否存在、诉讼主体是否适格,以及涉案专利是否有效等问题。对我国被诉企业提出了积极应诉、联合应诉;聘请专业的律师团队对案情进行合理准确的分析;全面判断案情,主动启动"100天程序",争取在案件初期就取得主动权,从而增加胜诉机会的建议。(本文来源于《西部学刊》期刊2019年13期）
黄书祺[3]（2019）在《公路工程施工图预算审查方法及程序分析》一文中研究指出本文通过查阅大量的资料,对公路工程施工图预算审查的基本工作方法进行了总结,对施工图预算审查程序及具体过程进行分析,以保障施工图预算审查的效果。(本文来源于《建材与装饰》期刊2019年19期）
张欣[4]（2019）在《基于动静态程序分析结合的移动众包测试引导技术》一文中研究指出安卓移动应用以快速迭代开发模式占据大部分市场。安卓系统碎片化和应用场景多样化给移动应用质量保障提出新挑战。自动化测试和众包测试成为解决移动应用质量困境的两种有效互补手段。但当前众包测试依然存在流程无监管和专业素质参差不齐等问题,需要引入引导技术进一步提高效率。本文提出一种基于动静态程序分析结合的移动众包测试引导技术。动态分析选用慕测平台自动化测试框架,基于程序执行日志和组件遍历信息,提取自动化测试过程中触发异常的场景,引导众包工人在不同设备和不同环境下复现异常。采用Android GUI静态分析工具GATOR,在不执行程序的情况下,遍历并分析上下文相关的程序控制流路径。该技术从代码端得到GUI状态的变化情况,提取自动化测试未覆盖的窗口跳转部分,引导众包工人探索新异常。跟踪测试任务完成情况,个性化推荐测试任务。推荐系统根据测试任务的不同类型,基于前置事件序列还原当前窗口下的异常触发路径、基于最短路径计算当前窗口下的未覆盖窗口跳转路径,使用截图和文本相结合的提示信息,引导众包工人以一次窗口跳转为单位,执行操作事件序列,引导快速完成测试任务。同时,测试任务推荐系统引导众包工人之间形成协作式关系,过滤已被多次完成的测试任务,均衡整体测试效果。本文在“简豆”、“记乐部”和“QQ影音”叁个常用Android应用上开展实验验证。实验包括无引导众包测试、动静态程序分析引导下的众包测试以及只包含自动化测试引导的众包测试。实验结果表明在相同时间内,动静态程序分析引导下的众包测试能够比无引导众包测试平均多触发约30%的异常,其中未充分验证的异常降低50%多。该技术对比于自动化测试引导的众包测试,能够提升代码覆盖率超过20%。结果表明引入Android GUI静态分析的必要性。面向众包工人的问卷调查结果显示,众包工人对该系统的满意度高达86%。(本文来源于《南京大学》期刊2019-05-27）
查春柳[5]（2019）在《基于程序分析的JavaScript程序缺陷检测与定位》一文中研究指出随着Web应用的快速发展,JavaScript语言被广泛用于基于webview的手机端、基于electron的电脑端和基于Nodejs的服务端,在不同的平台上发挥着越来越重要的作用。JavaScript语言具有弱类型和动态性等特性,主要表现在动态添加和删除对象属性、动态代码生成、隐式类型转换等方面。为保证JavaScript应用程序的正确性、可靠性,现有研究主要集中在测试用例的设计、生成及自动执行上,针对函数参数不一致、空引用等常见缺陷,研究工作通常围绕着缺陷的检测、定位等展开。为了有效保障JavaScript应用质量,针对JavaScript函数参数不一致、空引用这两大缺陷,本文提出了基于程序分析的缺陷检测与定位方法:采用静态分析和概率类型推导相结合的方法对函数参数不一致情况进行检测;采用动态分析方法定位JavaScript空引用缺陷。这两项工作既可以帮助开发者在运行程序前检测函数参数不一致缺陷,又可以在发现缺陷后自动定位空引用缺陷。本文的主要贡献有:1)基于静态分析与概率类型推导相结合的方法,对JavaScript程序中最普遍的“函数参数不一致”缺陷进行检测,设计实现了工具原型JSParameter。针对JavaScript应用的参数类型不确定等困难,首先为JavaScript项目构造函数调用图,得到整个项目的函数定义-调用对;然后提取函数参数相关的信息,包括定义函数信息和调用函数信息,并将其与函数调用图结合,得到带信息的函数定义-调用对;根据提取的参数命名、注释、数据流等参数相关信息对参数类型进行概率推断,主要通过神经网络和数据流约束相结合的方法进行类型推断。具有准确推断参数类型、实时检测函数参数不一致等优点。2)为评估函数参数不一致检测方法的有效性,在13个开源项目上进行了实验,得到4776个函数形参-实参对。实验结果表明,对于参数类型不一致,JSParameter能准确检测出69%的不一致,针对不同项目内的检测,最大能达到100%的检测效果,最少有45%,中位数约达到80%。且该方法中的参数类型推断模块在top-1、top-3和top-5 F1-值分别是78.87%、87.23%和92.67%,好于着名的JavaScript类型推断工具JSNice,并与最新的工作NL2Type效果相当。3)基于动态分析和后向切片技术定位JavaScript“空引用”缺陷,设计实现了工具原型JSLocator。针对JavaScript语言的动态特性、过程间空值传播等困难,首先对进行缺陷定位的项目进行插桩,然后运行插桩后的代码并收集与空值有关的执行轨迹,最后通过后向切片分析技术对执行轨迹和源代码进行分析,并报告出空引用缺陷的根源位置。具有处理多类空值传播过程、准确定位JavaScript空引用缺陷等优点。4)为评估空引用缺陷定位方法的精度,在包含54个JavaScript空引用缺陷的数据集(12个真实缺陷、42个植入缺陷)中应用了JSLocator,JSLocator能准确定位48例(88.89%)缺陷的根源位置,而现有技术AutoFLox只能处理23例(42.59%)。JSLocator的运行时定位时间和源代码运行时间相比,平均开销大约是9倍,处于用户可接受的范围。(本文来源于《南京大学》期刊2019-05-22）
刘玲[6]（2019）在《林区植树造林的常用方法与具体程序分析》一文中研究指出随着我国各项事业的发展进步,我国园林产业与过去相比获得了迅猛的发展,并且随着人们生活水平的提高,对林业产业的要求也越来越高。为了更好的适应社会发展的需要,跟上时代的发展潮流,我国林区建设也逐渐进行快速发展实际,就目前来说,我国林业发展过程中存在着较大的优势,但同时也存在着较大的问题,所以文章主要对我国林区植树造林常用的方法进行分析研究,并针对其具体程序进行阐述。(本文来源于《广东蚕业》期刊2019年05期）
郑跃君,周炳海,陈健[7]（2019）在《基于流程程序分析的注塑机底箱装配生产线改善》一文中研究指出应用流程程序分析方法,以某公司注塑机底箱装配生产线为研究对象,对注塑机底箱装配过程进行分析,确认搬运、储存、人员走动、等待等浪费现象。基于工业工程的取消、合并、调整、简化原则,对注塑机底箱台位式装配的流程、工艺、生产线平衡及布局提出改进方案。实施改进方案后,注塑机底箱装配生产线的浪费大幅减少,生产场地占用空间减小,生产线效率得到提升。(本文来源于《机械制造》期刊2019年04期）
崔少轩,喻垚慎[8]（2019）在《静态程序分析过程中形式化验证工具Frama-C的应用》一文中研究指出软件的静态程序分析是确保软件安全可靠的一种有效手段。常见的形式化的静态分析工具一般是基于模型检测,定理证明或抽象解释理论来对软件进行分析验证。然而,基于单一理论的验证工具具有一定的局限性。介绍了一个开源的静态分析平台Frama-C,根据该工具的特点,分别使用不同的插件对一小段代码进行静态分析,有助于将不同的程序分析方法相结合。最后对如何使用Frama-C工具解决航空控制软件等安全关键软件的执行时间分析问题的过程进行了演示。(本文来源于《计算技术与自动化》期刊2019年01期）
孙涛[9]（2019）在《某型轨道机车异形构架叁坐标检测程序分析》一文中研究指出某型轨道机车构架作为一种全新的构架类型,其结构特殊且复杂,与传统的"H"型、"日"字型、"目"字型构架结构相比存在较大差异,目前没有同类型结构产品可进行检测程序建立的参考。且其要求检测尺寸位置特殊,尺寸精度要求高,与传统构架检测程序相比,其程序在检测坐标系的建立、程序路径的选择、检测尺寸偏差的评定、探针的选择上存在差异和难点。(本文来源于《内燃机与配件》期刊2019年05期）
李建,周炳海[10]（2019）在《基于流程程序分析的电动执行器装配线改善研究》一文中研究指出以电动执行器装配线为研究对象,应用流程程序分析方法,对电动执行器装配线进行宏观分析,找出搬运、储存、等待等隐藏成本浪费。以电动执行器的生产工艺流程,以及装配线平衡与布局为突破口,应用工业工程中的取消、合并、重排、简化原则进行分析和改善,从而达到减少浪费、提高生产效率的目的。(本文来源于《机械制造》期刊2019年01期）
程序分析论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
对美国337调查以及"100天程序"进行了概述,对适用"100天程序"的Laminated Packaging案等叁个案例进行了分析,总结了该程序适用的具体范围,即确定国内产业是否存在、诉讼主体是否适格,以及涉案专利是否有效等问题。对我国被诉企业提出了积极应诉、联合应诉;聘请专业的律师团队对案情进行合理准确的分析;全面判断案情,主动启动"100天程序",争取在案件初期就取得主动权,从而增加胜诉机会的建议。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
程序分析论文参考文献
[1].王超.一种基于有限自动机的程序分析技术研究[J].计算机时代.2019
[2].黄源源.美国337调查的“100天程序”分析[J].西部学刊.2019
[3].黄书祺.公路工程施工图预算审查方法及程序分析[J].建材与装饰.2019
[4].张欣.基于动静态程序分析结合的移动众包测试引导技术[D].南京大学.2019
[5].查春柳.基于程序分析的JavaScript程序缺陷检测与定位[D].南京大学.2019
[6].刘玲.林区植树造林的常用方法与具体程序分析[J].广东蚕业.2019
[7].郑跃君,周炳海,陈健.基于流程程序分析的注塑机底箱装配生产线改善[J].机械制造.2019
[8].崔少轩,喻垚慎.静态程序分析过程中形式化验证工具Frama-C的应用[J].计算技术与自动化.2019
[9].孙涛.某型轨道机车异形构架叁坐标检测程序分析[J].内燃机与配件.2019
[10].李建,周炳海.基于流程程序分析的电动执行器装配线改善研究[J].机械制造.2019
论文知识图
