符号表

摘要： 由于面向对象程序具有多态性等复杂特性,在软件单元测试中仅凭静态分析难以判断指针和引用指向对象的具体类型,为了解决这一问题,对类的抽象内存模型进行研究,并提出类的操作语义模拟算法;在路径分析时,通过构建和更新抽象内存模型,从而对变量所属类的范围进行限定;对于单元测试,对基于输入域的随机测试进行优化,提出基于路径的随机测试方法,得到输入变量的类型集合;实验表明,类的抽象内存模型结合操作语义模拟算法能够有效提取出路径中类相关的约束,基于路径的随机测试方法比起基于输入域的随机测试方法能够明显提高测试效率。

摘要： 活动背景春分时节,辽阔的大地上,岸柳青青,莺飞草长,油菜花香,桃红梨白,大自然界散发着美的景象。燕子从南方飞回来开始筑巢生蛋孵小燕子,这样的自然景象深深吸引着幼儿,带给幼儿无限的创作与想象。中班上学期的幼儿处于符号表证的阶段,比较关注事物明显的外部特征,对事物的色彩、形状、布局形成的美非常感兴趣。燕子的外形独特、色彩具有较大的冲击力,燕子妈妈哺育小燕子场景的布局能对幼儿引发有意识地关注和创造。因此,我结合幼儿的年龄特点和生活经验,以燕子哺育小燕子的场景为切入点,引导幼儿在创作中感受春分时节自然界中的景象,从而激发幼儿对生命的热爱,萌发对传统文化的关注。

摘要： 介绍一种检测软件非法输入处理正确性的方法,采用类编译原理技术,分析源代码词法语法,获取源代码中的输入类控件信息.对输入类控件进行识别,找出未对非法情况进行处理的控件.该方法能检测软件是否对非法输入进行处理,帮助软件开发人员、测试人员发现软件漏洞,提高软件质量.

摘要： 也许你见过这样的画面,远看是一幅不折不扣的图片,但凑到近前一看,原来是由许许多多的ASCII码字符组成。将各种各样的ASCII字符以适当的方式进行排列,最终以图片的形式展现给读者,这种以ASCII符号表现图片的方法被称为ASCII艺术。借助两个小软件,即可轻松制作这类艺术画。

摘要： 禅意茶素于2013年开业．是广州炳眭旗下的一个素食品牌．2018年获得了《米其林广州指南》“米其林餐盘奖”。与传统的斋菜值不同，禅意茶素将素食与茶艺做了有机的结合。在装饰布置上充满了禅意的符号表述，在幽静的环境下品茗。务求带给食客不一样的感受。其素菜出品对食材的选择有比较高的要求。不会选用仿荤制品．在烹饪技法上注重酱汁的搭配。也讲究餐盘的设计。

摘要： 提出一种基于语句表和Profibus的水箱液位与进水口流量串级控制方案.给出系统组成和设备硬件组态,说明使用符号地址访问数据块中数据的方法.阐述了PID功能块FB41的使用方法和主要参数说明,给出了语句表主要程序段.相关测试结果表明:该系统响应速度快,超调量小.

摘要： 本文通过对编译论域的论域分析,探讨了编译论域的可复用软件构件库的体系结构.以语法单元作为最基本的类构件,给出了编译过程的词法分析、语法分析以及符合表管理类化模型.重点讨论了面向对象的符号表类的设计和实现以及语法和语义处理分离的作用和意义.

摘要： 为了进行基于系统崩溃的故障模型的软件静态测试,需要从抽象语法树上获取相关的数据依赖关系和定义使用链. 这就要求在原有抽象语法树的基础上进行语义分析,产生最终的抽象语法树.论文描述了C/C++抽象语法树及其语法和语义分析过程的具体方法.

摘要： 为了进行基于系统崩溃的故障模型的软件静态测试,需要从抽象语法树上获取相关的数据依赖关系和定义使用链. 这就要求在原有抽象语法树的基础上进行语义分析,产生最终的抽象语法树.论文描述了C/C++抽象语法树及其语法和语义分析过程的具体方法.

摘要： 为了进行基于系统崩溃的故障模型的软件静态测试,需要从抽象语法树上获取相关的数据依赖关系和定义使用链. 这就要求在原有抽象语法树的基础上进行语义分析,产生最终的抽象语法树.论文描述了C/C++抽象语法树及其语法和语义分析过程的具体方法.

摘要： 为了进行基于系统崩溃的故障模型的软件静态测试,需要从抽象语法树上获取相关的数据依赖关系和定义使用链. 这就要求在原有抽象语法树的基础上进行语义分析,产生最终的抽象语法树.论文描述了C/C++抽象语法树及其语法和语义分析过程的具体方法.

摘要： 本发明公开一种基于符号表的可编程逻辑调试方法，包括如下内容：工具获取并分析图形化方式搭建的逻辑页面，生成可编程逻辑配置信息；处理器扫描输入信息，将所述输入信息表达的逻辑模块，生成相应的数据结构；所述数据结构基于栈式结构，依据符号匹配规则，自外向内，逐级生成符号表；所述符号表向系统注册变量，生成相应信号实体；客户端依据符号表查询相应系统变量，从而获取系统运行状态信息。本发明还公开了一种对应所述基于符号表的可编程逻辑调试方法的系统。此种方法采用符号表编码规则，确保变量唯一生成，便于系统运行态信息的采集和分析。

摘要： 本发明公开了一种COStream语法分析过程中符号表和静态数据流图生成方法，属于编译领域。本发明针对COStream中特有的文法结构，以及在静态数据流图生成过程中对变量值、数据流类型和Composite参数的读写需求，设计了层次结构作用域和三种符号表，实现对作用域的快速存储和读取。在符号表的基础上，实现执行上下文的模拟，在编译过程中计算出Composite调用传递的参数信息；结合Composite调用的参数信息，确定包含Composite调用的程序执行路径，实现对条件语句和循环语句的常量传播，挖掘出程序包含的更多常量信息；根据这些常量信息，实现对包含由变量控制计算节点的程序的编译；嵌套数据流结构的实现使得在使用COStream编程时，能够嵌套使用Splitjoin和Pipeline编程结构，提高了COStream的用户友好性。

摘要： 本发明涉及一种适用于ASN.1编译器符号表的转换方法，其特点是：构成符号表与构成变量表，且符号表的节点为自定义数据类型，能够表达所有可能的数据类型，其内容至少包括，用于将该节点链接进符号表的双向链表头的hdr参数，用于表达ASN.1基本数据类型的枚举类型的kind参数，用于表达类型名称的非空字符串的name参数，用于表达约束的容器的restrict参数，用于包含该符号表项的其他信息的联合容器的extra参数，在上述过程中，对PDU数据格式进行鉴别。由此，能够将ASN.1数据结构转换为一个符号表，可通过对符号表的构建，完成分析过程。并且，采用表格化的流程处理，提高了数据处理效率。

摘要： 本发明提供一种移动终端内核符号表的调试方法和装置，其中方法包括：在移动终端的内核符号表中，查找待更新函数的函数地址；新建内核模块，并在新建内核模块中，设置调试信息；根据待更新函数的函数地址，将待更新函数替换为新建内核模块的函数；根据调试信息，对新建内核模块进行调试。本发明能够准确定位并进行在线更新，节省人力且缩短测试时间。

摘要： 本发明涉及一种无符号表二进制程序的内存操作分析方法、装置、电子设备、介质及程序，该方法包括：检测目标二进制程序中的待分析函数是否调用了操作系统提供的内存操作接口函数；在待分析函数调用了操作系统提供的内存操作接口函数的情况下，确定待分析函数属于包含内存操作的目标函数。本发明中通过检测无符号表的目标二进制程序中的待分析函数是否调用了操作系统提供的内存操作接口函数，在所述待分析函数调用了操作系统提供的内存操作接口函数的情况下，确定所述待分析函数属于包含内存操作的目标函数。精确地确定了待分析函数是否为执行内存操作的函数。本发明脱离数据库、云端数据，对无符号表二进制程序实现了便捷准确地内存操作分析。

摘要： 本发明涉及一种基于动态链接符号表的ELF文件相似性比对方法，属于软件二进制代码溯源分析技术领域。该比对方法通过ELF文件解析，提取并比对ELF文件动态链接符号表，完成了ELF文件相似性比对和相似度计算。该方法主要是为Unix/Linux操作系统下可执行文件、目标代码、共享库等ELF文件溯源提供技术手段，具有良好的鲁棒性、较高的准确性和比对效率，同时兼容32位和64位ELF文件。

摘要： 本发明实施例公开了一种符号表的下载控制、堆栈解析方法、装置、设备及介质。符号表的下载控制方法包括：获取构建系统中出现的新的符号表的下载链接，并将所述下载链接存储于数据库中；在检测到解析服务器由于缺失符号表而生成异常解析信息时，在所述数据库中查询所述解析服务器所缺失符号表的下载链接；从查询得到的下载链接处下载符号表，并将下载得到的符号表反馈给所述解析服务器，以供所述解析服务器对应处理匹配的异常解析信息。本发明实施例的技术方案，减少了符号表的冗余存储，并提高了堆栈信息的解析效率。

摘要： 本发明公开了一种COStream语法分析过程中符号表和静态数据流图生成方法，属于编译领域。本发明针对COStream中特有的文法结构，以及在静态数据流图生成过程中对变量值、数据流类型和Composite参数的读写需求，设计了层次结构作用域和三种符号表，实现对作用域的快速存储和读取。在符号表的基础上，实现执行上下文的模拟，在编译过程中计算出Composite调用传递的参数信息；结合Composite调用的参数信息，确定包含Composite调用的程序执行路径，实现对条件语句和循环语句的常量传播，挖掘出程序包含的更多常量信息；根据这些常量信息，实现对包含由变量控制计算节点的程序的编译；嵌套数据流结构的实现使得在使用COStream编程时，能够嵌套使用Splitjoin和Pipeline编程结构，提高了COStream的用户友好性。

摘要： 本发明公开一种基于符号表的可编程逻辑调试方法，包括如下内容：工具获取并分析图形化方式搭建的逻辑页面，生成可编程逻辑配置信息；处理器扫描输入信息，将所述输入信息表达的逻辑模块，生成相应的数据结构；所述数据结构基于栈式结构，依据符号匹配规则，自外向内，逐级生成符号表；所述符号表向系统注册变量，生成相应信号实体；客户端依据符号表查询相应系统变量，从而获取系统运行状态信息。本发明还公开了一种对应所述基于符号表的可编程逻辑调试方法的系统。此种方法采用符号表编码规则，确保变量唯一生成，便于系统运行态信息的采集和分析。

摘要： 本发明公开了一种嵌入式系统加载符号表的方法、存储介质及终端，所述方法包括：接收到程序调试指令时，读取预存于ROM内的符号表文件，其中，所述符号表文件包含验证码以及版本信息；获取所述符号表文件携带的验证码，并对所述验证码进行验证；当验证成功时，通过符号表加载接口将所述符号表文件导入系统，并开始调试。本发明中，将符号表文件保存到嵌入式系统ROM中，而目标镜像文件默认不带符号表，在系统正常运行时，符号表不常驻内存，而当需要shell调试，则将ROM中符号表被读出来并加载到内存；这样则既让符号表发挥了作用，又节省了内存资源。