QuickCheck Lounge / Erlang Workshop 2011 in Tokyo
-
- いいね！0
Kenji Rikitake
@jj1bdx
Quickcheck on C code. Interesting :) #quickcheck #Erlang #icfp (ed: in a shaking building in Shibuya. Amazing way to learn Quickcheck...)
2011-09-21 18:47:14
Kenji Rikitake
@jj1bdx
Making a simple list in C and checking it with #QuickCheck with automated tests. #Erlang
2011-09-21 18:55:38
Kenji Rikitake
@jj1bdx
Writing test cases in #Erlang for a C code. Very interesting. (ed: this is my first tutorial about #QuickCheck)
2011-09-21 19:00:14
Kenji Rikitake
@jj1bdx
Testing C code with side effects will be more complicated, but you can do it on #QuickCheck too #Erlang #ICFP
2011-09-21 19:15:32
Kenji Rikitake
@jj1bdx
Using state machine support helps testing C code with side effects #Erlang #QuickCheck #ICFP
2011-09-21 19:16:30
Kenji Rikitake
@jj1bdx
And #QuickCheck use case presented by Joe Norton of Gemini Mobile #Erlang #ICFP
2011-09-21 19:32:20
Kenji Rikitake
@jj1bdx
Simulating the race conditions by Meck, #QuickCheck - shortened the total test time and disclosed new bugs #ICFP #Erlang
2011-09-21 19:36:17
Kenji Rikitake
@jj1bdx
#Quickcheck could find a bug which you could not find for nine months viewing the log #Erlang #ICFP
2011-09-21 19:48:35
Kenji Rikitake
@jj1bdx
John Hughes on dets bug very rarely occuring (in a real application experience of @Klarna) #QuickCheck #Erlang #ICFP
2011-09-21 19:52:35
Kenji Rikitake
@jj1bdx
"Writing a sequential test for a ticket dispenser is meaningless - because the customers come concurrently" #QuickCheck #Erlang #ICFP
2011-09-21 19:54:31
Kenji Rikitake
@jj1bdx
Testing parallelly by unit tests will require enormous amount of the test outcomes #QuickCheck #Erlang #ICFP
2011-09-21 19:56:19
Kenji Rikitake
@jj1bdx
State machine model is also applicable to the parallel test cases when the operations are atomic #ICFP #Erlang #QuickCheck
2011-09-21 19:59:33
Kenji Rikitake
@jj1bdx
It's interesting to see John Hughes does the demo on #Erlang running Windows.
2011-09-21 20:05:13
Kenji Rikitake
@jj1bdx
Try again and again to #QuickCheck race conditions - it may happen next time you run #Erlang #ICFP
2011-09-21 20:06:23
Kenji Rikitake
@jj1bdx
Tracking down the cause of bug to the minimal cases will help debugging the code in shorter time #Erlang #QuickCheck
2011-09-21 20:22:42
Kenji Rikitake
@jj1bdx
#Erlang Workshop 2011 has begun. First: Steve Vinoski on Yaws / two reasons to build Yaws: horribleness of LAMP and ugliness of PHP
2011-09-23 09:10:14
Kenji Rikitake
@jj1bdx
I think Yaws is one of the first program to implement sendfile syscall driver for #Erlang.
2011-09-23 09:17:03
Kenji Rikitake
@jj1bdx
Watch out for benchmark results of servers NOT FULLY SUPPORTING HTTP for an HTTP server #Erlang #ICFP
2011-09-23 09:55:15
Kenji Rikitake
@jj1bdx
Do your OWN benchmarks for what you expect for your applications #Erlang #ICFP
2011-09-23 09:56:23
Kenji Rikitake
@jj1bdx
Lightweight servers will evolve into FORMERLY lightweight servers if they're lucky (ed: see UNIX...) #Erlang #ICFP
2011-09-23 09:58:11
Kenji Rikitake
@jj1bdx
Concurrency =/= parallelism; even when only one process gets access to data the data can be handled concurrently #Erlang #ICFP
2011-09-23 10:47:46
Kenji Rikitake
@jj1bdx
Concurrent process A: "Hello", B: "World!", both sending a message to the printer process - this will work on #Erlang
2011-09-23 11:04:00
Kenji Rikitake
@jj1bdx
DISTRIBUTED concurrent "Hello World!" - the order will not be preserved #Erlang
2011-09-23 11:05:10