LaTeX 的测试框架 API

Question 1

使用多种语言进行测试断言和您在问题中提到的测试用例。中的断言LaTeX可以采用以下一般形式：

      \def\test#1{\def\res{#1}\ifx\foo\res\else\ERROR\fi}

或者只返回“通过”或“失败”。对于较长的测试用例，我倾向于后者，而且如果对结果进行颜色编码，很容易发现错误。

在此处输入图片描述

代码可以根据含义简单判断真假

\newcommand\assert[2][]{%
   \ttfamily
   \def\result{#2}
   \ifx\foo\result\textcolor{green}{Passed}%
     \else \textcolor{red}{Failed}\fi
   \space Test:\,\stepcounter{tst}\thetst
   \detokenize{#1}
\par}

或检查事物是否已经定义（有时很棘手）。

% Checks if defined can be unreliable
\newcommand\assertdef[2][]{
 \ttfamily
  \ifdefined#2\textcolor{green}{Passed}%
     \else \textcolor{red}{Failed}\fi
   \space Test:\,\stepcounter{tst}\thetst
   \detokenize{#1}
\par
}

下面的 MWE 示例测试了一些定点算法和一些Lisp 遗迹来自 LaTeX 内核并生成上图的输出：

\documentclass{article}
\usepackage{xcolor,fp}
\parindent0pt
\makeatletter
\newcounter{tst}
\setcounter{tst}{9}
% asserts true on meaning
\newcommand\assert[2][]{%
   \ttfamily
   \def\result{#2}
   \ifx\test\result\textcolor{green}{Passed}%
     \else \textcolor{red}{Failed}\fi
   \space Test:\,\stepcounter{tst}\thetst
   \detokenize{#1}
   \par}
% Checks if defined can be unreliable
\newcommand\assertdef[2][]{
 \ttfamily
  \ifdefined#2\textcolor{green}{Passed}%
     \else \textcolor{red}{Failed}\fi
   \space Test:\,\stepcounter{tst}\thetst
   \detokenize{#1}
\par
}
\begin{document}
\section{\jobname\\ \today}
\edef\test{\@car 123\@nil}\assert[\@car 123\@nil==1]{1}
\edef\test{\@car{1}23\@nil} \assert[\@car {1}23\@nil==1]{1}
\edef\test{\@car {123}{456}{7}\@nil} \assert{123}
\edef\test{\@carcube1234567\@nil}\assert{123}
\edef\test{\@cdr 123\@nil} \assert{23}
\edef\test{\@cdr {134}{x}\@nil}\assert{x}
\edef\test{\@cdr {134}{{x}}\@nil}\assert{{x}}
\let\test\@nnil\assert{\@nil}
\toks@={abc\test}\addto@hook\toks@{x\bar}
\expandafter\def\expandafter\test\expandafter{\the\toks@} \assert{abc\test x\bar}
\g@addto@macro\test{y\gee} \assert{abc\test x\bar y\gee}
\def\xx{456}
\def\test{123}\@cons\test{\xx78}\assert{123\@elt45678}
\@cons\test{\xx780}\assert{123\@elt45678}
% assert if defined
\assertdef\assert
\assertdef[\@@par is defined]\@@par
% asserts for fp values
\FPadd\test{1}{1}\assert[\FPadd\test{1}{1}==2.000000000000000000]{2.000000000000000000}
\FPadd\test{1}{1}\assert[\FPadd\test{1}{1}==2.00000000000000000]{2.000000000000000000}
\end{document}

人们可以更有创造力并创建额外的断言，例如\assertfalse，\assertcat用于类别代码检查等。据我了解，LaTeX3 团队做了很多测试；然而，将上述内容应用到学习环境中，我不太确定这样做是否可行或可取。

在教程中，你将主要测试如何掌握命令的使用。对于在线应用程序，我会选择Moodle带有用于考试和测验的内置结构的安装类型，但后来你选择了 Django:)

Answer

使用多种语言进行测试断言和您在问题中提到的测试用例。中的断言LaTeX可以采用以下一般形式：

      \def\test#1{\def\res{#1}\ifx\foo\res\else\ERROR\fi}