adtech studio

[AdTech Scala Meetup] Scala Test Tools

By yusuke

勉強会

こんにちは。AMoAdでエンジニアをしております、西部と申します。

10月初めからアドテクスタジオのオフィスがリニューアルされました。
アドテクスタジオ、「Hack」がテーマの新オフィスをOPEN★

今回は、そのリニューアルしたオフィスのプレゼンテーションルームで初開催された
AdTech Scala Meetupの一部を紹介しようと思います。

 
テーマは「Scala Test Tools」です。
 

Specs2テスト入門

1人目はProfitXのPhucさんの発表でした。

Bit Requestを題材に、Specs2のライブラリ利用方法について話してくれました。
スライド後半のDataTablesがいい感じですね。

 

正しいScalaのコードが欲しい

2人目は、基盤チームの志村さんの発表です。

%e3%82%b9%e3%82%af%e3%83%aa%e3%83%bc%e3%83%b3%e3%82%b7%e3%83%a7%e3%83%83%e3%83%88-2016-10-28-14-37-23
スライドはこちら

証明支援言語Isabelleを用いて正しいScalaのコードを得る、という内容です。
プログラム自体を証明する、という普段の仕事とは違った視点が得られて、個人的に勉強になりました。

 

まとめ

今回はテストツールに関係する発表を紹介しました。

AdTech Scala Meetupが始まってちょうど1年になります。
これまで多くの方々に発表していただき、Scalaの知見を共有するいい場になっているのではと思います。
今後の発表内容についても公開を続けて行きたいと思いますので、どうぞよろしくお願いいたします。