11/03のDevLove「あなたの知らないQAチーム、QAエンジニアの世界」で発表した内容になります
エムスリーのQAチームが目指すもの
11/03のDevLove「あなたの知らないQAチーム、QAエンジニアの世界」で発表した内容になります
Coq Tutorial at Proof Summit 2011
This document discusses the Coq proof assistant. It provides examples of defining concepts like booleans, natural numbers, and functions in Coq. It demonstrates tactics for proving properties like De Morgan's laws. It also shows how to define recursive functions over natural numbers like addition and equality testing. The document aims to introduce basic concepts and usage of the Coq system throug
形式手法とテスト、そして、その先について
【DL輪読会】DINOv2: Learning Robust Visual Features without Supervision
EUnit in Practice(Japanese)
The document describes a Makefile and EUnit tests for Erlang modules dealing with Fibonacci calculations and an adder server. It outlines the structure of tests, their success or failure, and correct implementations in different modules, alongside example outputs from the tests. Overall, it provides a comprehensive overview of the testing results for the specified modules.
How to test code with mruby
This document discusses testing code written for mruby, a lightweight Ruby implementation. It proposes using the mruby runtime itself to test code, rather than Ruby, by using the mruby-mtest library. This allows testing mruby code directly using the same binaries and libraries as production. Sample code shows how to structure tests and set up a test runner to execute tests against the mruby binary
power-assert in JavaScript
power-assert in JavaScript Aug 21, 2013 at 10th Tokyo Node Gakuen #tng10
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Consumer Driven Contractsで REST API/マイクロサービスをテスト #m3tech
アンチフラジャイルの世界
Androidで利用できるデバイスファームのメリット・デメリットの紹介 - DroidKaigi 2018
形式手法で捗る！インフラ構成の設計と検証
形式手法と AWS のおいしい関係。- モデル検査器 Alloy によるインフラ設計技法 #jawsfesta
アジャイルと形式手法
本当は恐ろしい分散システムの話
20170625 JXUG Fukuoka 発表資料 : Unit / UI Testing - Xamarin
こんなに使える！今どきのAPIドキュメンテーションツール
Xamarin 101 �~環境構築からビルド・テストまで~
Webアプリケーション負荷試験実践入門