erlang项目开发之－dialyzer和eunit

这个东西如果写，可能会写很长很长的篇幅，但是有悖erlang的精神，
我就挑选最精要的说，也是自己这几天学习到的一些东西。
一个项目，首先设计完成后，日夜赶工，写成了代码。这个时候，我们就要检验代码是否真实的表达了我们的意图。
dialyzer和eunit就派上用场了！
dialyzer偏向于static“静态”的代码分析，其主要完成以下工作：
1,可能出现的拼写错误
2,没有使用的代码和函数
3,无用的测试代码
如果想让dialyzer更高效出色的工作，就需要代码中的type(类型）和spec(函数)进行配合。
我们知道erlang是动态的语言，本身没有很多静态的信息，我们就是通过这些-type和-spec来规范代码的静态性。
具体的type和spec的说明，请参考：http://www.erlang.org/eeps/eep-0008.html
说明几点：type通常我们定义在一个hrl文件中，需要这个type信息的erl文件，只要include此头文件既可。每个module的所有的export函数都应该有spec信息.
验证了静态信息,我们还需要通过eunit测试我们的逻辑是否正确.当然这里只是单元测试.每次我们修改完代码以后,我们都可以重新进行单元测试,验证我们的模块,大大节省时间.
eunit文档:
http://svn.process-one.net/contribs/trunk/eunit/doc/overview-summary.html
dialyzer和eunit进行完以后,那么就集成测试了.最后期待能制作一个坚固的产品!

Tags: erlang 作者 cheng
No Comments »

使用EUnit进行单元测试

为了写一个好的产品，必定离不开完善的测试。
最近开始筹划项目，因此单元测试必不可少，一定要在开始的时候把测试做好，从下到上才能让产品更加坚固。
我们选择使用EUnit进行单元测试。使用Eunit的好处：减少代码的修改；提高开发速度；有利于接口与实现分离；有利于系统集成；还有测试本身可以作为一种文档。
1，首次从http://support.process-one.net/doc/display/CONTRIBS/EUnit 获取对应的SVN checkout路径，http://svn.process-one.net/contribs/trunk/eunit，通过svn进行下载。
2，将整个eunit目录放到你的erlang安装目录下的lib目录中。也可以使用通过code:add_path/1或者其他编译选项指明eunit的路径，但是不是很方便。
3，在你的module中添加: -include_lib(”eunit/include/eunit.hrl”). 这样就引入了eunit的头文件，此时你的module具有了下面的特性：自动的将以”_test”结尾的函数作为测试函数；为你的module添加并导出了test/0函数；为你提供了丰富的test macro。（自动导出test函数，是通过compile指示符的parse_transform选项进行处理）
此时，我们的module已经具有了eunit赋予的一切权利。注意你从svn下载的代码，没有进行编译，你需要进行编译生成beam文件。由于本人是在windows下工作，编译不是很方便，所以我就直接从这里下载了eunit的beam文件，放到eunit/ebin/目录下。
在我们要测试的module中我们加入一个函数：
basic_test() ->
?assert(1 == 1).
好了，编译module，随后运行M:test()，进行单元测试，我们会看到
Test successful.
的提示。测试ok。
这里bsic_test/0会在执行test/0的时候调用，我们也可以把basic_test/0写成另一种形式：
basic_test_() ->
fun() -> ?assert(1 == 1) end.
以”_test_”结尾的函数，在EUnit中称为“test generation function”，测试生成函数，
它返回一个或一个函数list，EUnit会依次执行每个函数。为了让代码更紧凑简洁，
我们又有了另一个macro：_test，这样上面的test可以变成这样：
basic_test_() ->
?_test(?assert(1 == 1)).
是不是代码少一些了？好的让我们再进一步，我们使用另一个macro：_assert：
basic_test_() ->
?_assert(1 == 1).
怎么样，很简单了吧，好的，比如我有一系列的内容要测试，我就可以简单的写成这样：
basic_test_() ->
[?_assert(1 == 1),
?_assert(2 == 2),
[...]

Tags: erlang 作者 cheng
3 Comments »