- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我有一个关于如何在单元测试中“驱动”基于 flex bison 的解析器扫描仪的问题。
最终的解决方案将是一个可用的命令解析器或远程登录到目标板。我有一个使用标准输入的完全工作的 flex bison 实现。
现在我的重点是让命令解析器运行单元测试。
我希望能够向解析器(一个命令)提供一个“常量字符串”,然后测试在应用程序中调用了相应的命令(在应用程序 stub 中)。
我不知道如何为此设置 flex 和 bison。请在下面找到测试用例:
status_cmd_test.c:
#include "CUnit/Basic.h"
#include "cmd_stub.h"
void scan_string(const char* str);
void testSTATUS_OK(void)
{
scan_string("status\n\0\0");
CU_ASSERT(1 == status_sub_nrof_invokes())
}
void scan_string(const char* str)
{
YY_BUFFER_STATE buf;
buf = yy_scan_string(str);
yylex();
yy_delete_buffer(buf);
}
if (NULL == CU_add_test(suite_p, "test of status", testSTATUS_OK))
{
CU_cleanup_registry();
return CU_get_error();
}
/* Run all tests using the CUnit Basic interface */
CU_basic_set_mode(CU_BRM_VERBOSE);
CU_basic_run_tests();
CU_cleanup_registry();
return CU_get_error();
最佳答案
我看到这个问题已经将近一年没有得到解答,并且是 OP 的唯一问题。这可能是一个有趣的问题,涵盖了潜在不兼容技术的元素。它还包含一些不正确的断言,这些断言给出了解决方案空间的错误 View 。
首先,它值得总结所要求的内容。 Cunit is a unit testing library 允许对 C 代码进行检测以进行自动化单元测试。单元测试通常是在没有用户界面的情况下测试代码单元。 Flex 和 Bison 是用于构建基于语言的界面的工具。
基于语言的界面通常使用基于文件输入的自动化测试来测试,而不是基于单元的测试;然而,接口(interface)调用的软件功能可能是单元测试的。然而,单元测试可能在测试用 flex 和 bison 编写的软件中发挥作用。
问题指出解析器源文件不包含任何 C 代码,仅包含语法。这一定是不正确的,因为如果它只包含语法而没有语义 Action ,那么语言将什么也不做。解析器的运行不会有任何 Action ,但会显示或不显示错误消息,这是一个用户界面功能。要获得任何值,解析器必须调用用某种语言(通常是 C)编写的语义操作。这些多段且重要的 C 代码可以用于单元测试。
如问题所述,要使用 Cunit 进行单元测试,flex/bison 编码接口(interface)必须使用参数化输入和输出,而不是文件/流输入输出。
这是可以实现的。 SO上有很多其他的答案是指如何做到这一点(以及flex/bison手册)。如果我们想使用字符串输入进行测试,我们可以将字符串输入替换为文件输入,如下所述:
关于bison - flex bison扫描仪解析的单元测试,如何驱动测试用例,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/22205557/
我有一个使用 Yacc 编写的语法。语法的相关部分摘录在这里 postfix : primary | postfix '[' expr ']' | postfix '[' ex
如何在 bison/yacc 中使用继承的属性? 说,我有这样的语法 - 程序 -> stmts 我想做的是在 Bison 身上: 程序:stmts {$$.next = newLabel(); $1
有什么方法可以更改 Bison 错误消息的格式?例如,不要说 syntax error, unexpected T_ID, expected ';' or T_IMPORT说 unexpected i
我的语法有这两个标记声明: %token RP %token ELSE 而这两条规则: Statement : IF LP Exp RP Statement; Statement : IF LP
如果有一个表单的输入文件: BEGIN stuff.... END BEGIN stuff ... END 我的 .y 文件是这样的 %token BEGIN %token END %star
我希望为现有语言创建一个 JavaScript 解析器,该语言目前具有笨拙的“手工制作”C# 和 Java 解析器。我想使用 Jison,并且也一直在尝试学习 Bison 的基础知识。 我不确定如何回
目前我正在研究一个源到源编译器,我已经编写了一个野牛解析器,可以正确地为输入创建 AST。我现在需要对语法树进行多次转换,因此我需要向树中插入许多节点。 我可以手动创建所有要添加到语法树中的结构体/联
如果有一个表单的输入文件: BEGIN stuff.... END BEGIN stuff ... END 我的 .y 文件是这样的 %token BEGIN %token END %star
我正在寻找为现有语言创建 JavaScript 解析器的方法,该语言目前具有笨拙的“手工制作”C# 和 Java 解析器。想用Jison,也在努力学习Bison的基础。 一个我不确定如何回答的问题是
我正在使用 flex/bison 编写解析器(我可以用 Python 编写解析器,但我总是更喜欢经典。) 当我用这个编译代码时: gcc -lfl -ly chance.tab.c lex.yy.c
正在使用 flex/bison 开发编译器。我的构建输出中有此警告。 警告:在默认操作中键入冲突 ('s' '') 请问有什么帮助吗? 最佳答案 它似乎与源中的 %token 和 %type 声明有关
考虑这个 lex.l 文件: %{ #include "y.tab.h" %} digit [0-9] letter [a-zA-Z] %% "+"
我正在为 bison 中的一个简单的 Pascal 编译器编写语法,我想可视化我在 pascal.y 中指定的语法的解析树。是否可以基于我的 pascal.y 文件以图形方式显示语法树? 最佳答案 野
我正在尝试编写一个能够使用以下输入的语法: begin #this is a example x = 56; while x > 0 do begin point 15
我正在尝试使用 BNF 语法编写 Flex/Bison 文件。但是,当我尝试编译时出现错误,而且我不确定如何调试它们。 BNF语法: ::= | head() ::=:: | @ | tail() |
我正在用 Flex/Bison 编写一个小程序来标记/解析我创建的查询语言。 我想知道是否有任何方法可以在 Flex/Bison 中创建任何关键字。 我的意思是:flex 将输入分解成一个标记列表,但
我正在尝试使用 flex 和 bison 创建过滤器,因为我想从复杂的语言中获取某些语法元素。我的计划是使用 flex + bison 来识别语法,并转储出感兴趣元素的位置。 (然后使用脚本根据转储的
我正在尝试实现一个可以进行浮点运算的 Flex/bison 计算器。我的 Flex 代码如下所示 %{ #include "calc.tab.h" #include void yyerror(cha
我正在尝试使用 FLEX 和 BISON 进行一些练习。 这是我写的代码: calc_pol.y %{ #define YYSTYPE double #include "calc_pol.tab.h"
我有一个使用括号和方括号作为分隔符的语法。当由 bison 生成的解析器输入带有不平衡分隔符的输入时,传递给 yyerror 的 YYLTYPE* 中的错误位置是输入的结尾。所以,例如,在输入 x
我是一名优秀的程序员,十分优秀!