README(学生版)

CS:APP Data Lab

给学生的指导

你的目标是修改你的 bits.c 副本,以便它通过 btest 中的所有测试,并且不违反任何代码准则。

0. 文件

文件名

说明

Makefile

构建 btest、fshow 和 ishow

README

本文件

bits.c

你将要修改和提交的文件

bits.h

头文件

btest.c

btest 主程序

btest.h

用于构建 btest

decl.c

用于构建 btest

tests.c

用于构建 btest

tests-header.c

用于构建 btest

dlc*

规则检查编译器的二进制文件(data lab 编译器)

driver.pl*

使用 btest 和 dlc 来为 bits.c 自动评分的驱动程序

Driverhdrs.pm

头文件,用于可选的“击败教授”比赛

fshow.c

实用代码,用于检查浮点表示

ishow.c

实用代码,用于检查整数表示

1. 修改 bits.c 并检查它是否符合 dlc 的要求

重要:在你开始之前,请仔细阅读 bits.c 文件中的说明。说明中给出了代码规则,如果你想获得全部分数,你需要遵守它们。

使用 dlc 编译器(./dlc)自动检查 bits.c 版本是否符合编码准则:

如果代码没有问题,dlc 将以静默方式返回。否则,它会打印消息,标记出问题。使用 -e 参数运行 dlc:

unix> ./dlc -e bits.c

可让 dlc 打印每个函数使用的运算符数目。

一旦有了合法解答,你就可以使用 ./btest 程序测试它的正确性。

2. 使用 btest 测试

此目录中的 Makefile 使用附加代码编译 bits.c 版本,以创建名为 btest 的程序(或测试工具)。

要编译并运行 btest 程序,请键入:

unix> make btest
unix> ./btest [optional cmd line args]

每次更改 bits.c 程序时,都需要重新编译 btest。当从一个平台迁移到另一个平台时,你会想删除旧版本 btest 并生成一个新版本。使用以下命令:

unix> make clean
unix> make btest

Btest 通过在每个函数上运行数百万个测试用例来测试代码的正确性。它测试了大范围的边缘用例,比如整数谜题的 Tmin(最小有符号数) 和 0,浮点谜题的 0,无限大(inf),以及非规范化和规范化数字之间的边界。当 btest 检测到某个函数中的错误时,它会打印出失败的测试、不正确的结果和预期的结果,然后终止对该函数的测试。

以下是 btest 的命令行选项:

  unix> ./btest -h
  用法: ./btest [-hg] [-r <n>] [-f <name> [-1|-2|-3 <val>]*] [-T <time limit>]
    -1 <val>   指定第一个函数参数
    -2 <val>   指定第二个函数参数
    -3 <val>   指定第三个函数参数
    -f <name>  只测试指定名称的函数
    -g         格式化输出评分,不包含错误信息
    -h         打印该信息
    -r <n>     给所有问题统一的权重 n
    -T <lim>   设置超时限制为 lim

样例:

测试所有功能的正确性并打印出错误消息:

unix> ./btest

以紧凑的形式测试所有函数,不含错误消息:

unix> ./btest -g

测试函数 foo 的正确性:

unix> ./btest -f foo

使用特定参数测试函数 foo 的正确性:

unix> ./btest -f foo -1 27 -2 0xf

btest 不会检查你的代码是否符合代码准则,需使用 dlc。

3. 帮助程序

我们提供了 ishow 和 fshow 程序,分别帮助你破译整数和浮点表示。每个都以一个十进制或十六进制数作为参数。要构建它们,请键入:

unix> make

用法样例:

unix> ./ishow 0x27
Hex = 0x00000027,   Signed = 39,    Unsigned = 39

unix> ./ishow 27
Hex = 0x0000001b,   Signed = 27,    Unsigned = 27

unix> ./fshow 0x15213243
Floating point value 3.255334057e-26
Bit Representation 0x15213243, sign = 0, exponent = 0x2a, fraction = 0x213243
Normalized.  +1.2593463659 X 2^(-85)

linux> ./fshow 15213243
Floating point value 2.131829405e-38
Bit Representation 0x00e822bb, sign = 0, exponent = 0x01, fraction = 0x6822bb
Normalized.  +1.8135598898 X 2^(-126)

最后更新于