veyepar: Discovering edge cases with property-based testing.

Hi user

Admin Login:

Name: Discovering edge cases with property-based testing.
--client lca --show lca2017 --room tasman_bc 12084 --force
Next: 12 Make your testing Groovy

show more... Marks

Author(s):	Svetlana Filimonova
Location	Tasman Hall B/C
Date	jan Mon 16	Days Raw Files
Start	20:20	First Raw Start	19:57
Duration	0:45:0	Offset	0:22:23
End	21:05	Last Raw End	21:27
Chapters	00:00 0:04:29
Total cuts_time	31 min.

http://linux.conf.au/schedule/presentation/153/
raw-playlist raw-mp4-playlist encoded-files-playlist host archive tweet mp4 svg png

final audio

assets release.pdf Discovering_edge_cases_with_propertybased_testing.json
logs
Admin: episode episode list cut list raw files day marks day marks day image_files

State:

Locked:

clear this to unlock

Locked by:

user/process that locked.

Start:

initially scheduled time from master, adjusted to match reality

Duration:

length in hh:mm:ss

Name:

Video Title (shows in video search results)

Emails:

email(s) of the presenter(s)

Released:

has someone authorised pubication

Normalise:

Channelcopy:

m=mono, 01=copy left to right, 10=right to left, 00=ignore.

Thumbnail:

filename.png

Description:

markdown

Property-based testing is a popular concept in the world of functional programming. QuickCheck in Haskell is an iconic framework supporting this testing approach. Today we can find testing libraries supporting PBT in any main-stream languages, inlcuding Scala, JavaScript, Ruby, Python, Java etc.

Generated input is obviously constrained by the type of parameters accepted as an input for the code. However the range of this input covers large amount of edge cares, the cases you didn't even know existed in your application. Discovering these cases on early stages of your development process brings quite a big support for 'building quality in' instead of ensuring the quality after an application has been created. As any other automated tests, PBT tests are a part of your continuous integration pipeline, which gives quite a big coverage for regression testing as well. It provides essential feeling of confidence in changing the product as much as required.

In this talk I will present pbt concept and my experience of adopting it on a couple of projects I've been engaged too. I will give an introduction into this practice and some pros and cons, so hopefully it will give you a good idea on when and 
why would you want to use it.

Target Audience: testers/developers, people ensuring quality.

Comment:

production notes

2017-01-17/12_57_37.ts Apply: 19:57:37 - 20:23:08 ( 00:25:31 ) S: 19:57:37 - E: 20:27:37 D: 00:30:00 (End: 1531.0) show more...

vlc ~/Videos/veyepar/lca/lca2017/dv/tasman_bc/2017-01-17/12_57_37.ts :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	19:57:37		seconds: 0.0 Wall: 19:57:37
Duration	00:30:00
	20:27:37		seconds: 1531.0 Wall: 20:23:08
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2017-01-17/12_57_37.ts Apply: 20:23:08 - 20:27:37 ( 00:04:29 ) S: 19:57:37 - E: 20:27:37 D: 00:30:00 (Start: 1531.0) show more...

vlc ~/Videos/veyepar/lca/lca2017/dv/tasman_bc/2017-01-17/12_57_37.ts :start-time=01531.0 --audio-desync=0

	Raw File	Cut List
	19:57:37		seconds: 1531.0 Wall: 20:23:08
Duration	00:30:00
	20:27:37		seconds: 0.0 Wall: 19:57:37
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2017-01-17/13_27_37.ts Apply: 20:27:37 - 20:54:41 ( 00:27:04 ) S: 20:27:37 - E: 20:57:37 D: 00:30:00 (End: 1624.0) show more...

vlc ~/Videos/veyepar/lca/lca2017/dv/tasman_bc/2017-01-17/13_27_37.ts :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	20:27:37		seconds: 0.0 Wall: 20:27:37
Duration	00:30:00
	20:57:37		seconds: 1624.0 Wall: 20:54:41
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2017-01-17/13_27_37.ts Apply: 20:54:41 - 20:57:37 ( 00:02:56 ) S: 20:27:37 - E: 20:57:37 D: 00:30:00 (Start: 1624.0) show more...

vlc ~/Videos/veyepar/lca/lca2017/dv/tasman_bc/2017-01-17/13_27_37.ts :start-time=01624.0 --audio-desync=0

	Raw File	Cut List
	20:27:37		seconds: 1624.0 Wall: 20:54:41
Duration	00:30:00
	20:57:37		seconds: 0.0 Wall: 20:27:37
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2017-01-17/13_57_37.ts Apply: 20:57:37 - 21:15:33 ( 00:17:56 ) S: 20:57:37 - E: 21:27:37 D: 00:30:00 (End: 1076.0) show more...

vlc ~/Videos/veyepar/lca/lca2017/dv/tasman_bc/2017-01-17/13_57_37.ts :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	20:57:37		seconds: 0.0 Wall: 20:57:37
Duration	00:30:00
	21:27:37		seconds: 1076.0 Wall: 21:15:33
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2017-01-17/13_57_37.ts Apply: 21:15:33 - 21:15:54 ( 00:00:21 ) S: 20:57:37 - E: 21:27:37 D: 00:30:00 (Start: 1076.0) (End: 1097.0) show more...

vlc ~/Videos/veyepar/lca/lca2017/dv/tasman_bc/2017-01-17/13_57_37.ts :start-time=01076.0 --audio-desync=0

	Raw File	Cut List
	20:57:37		seconds: 1076.0 Wall: 21:15:33
Duration	00:30:00
	21:27:37		seconds: 1097.0 Wall: 21:15:54
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2017-01-17/13_57_37.ts Apply: 21:15:54 - 21:27:37 ( 00:11:43 ) S: 20:57:37 - E: 21:27:37 D: 00:30:00 (Start: 1097.0) show more...

vlc ~/Videos/veyepar/lca/lca2017/dv/tasman_bc/2017-01-17/13_57_37.ts :start-time=01097.0 --audio-desync=0

	Raw File	Cut List
	20:57:37		seconds: 1097.0 Wall: 21:15:54
Duration	00:30:00
	21:27:37		seconds: 0.0 Wall: 20:57:37
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

Rf filename:

root is .../show/dv/location/, example: 2013-03-13/13:13:30.dv

Sequence:

get this:

check and save to add this

2017-01-17/12_57_37.ts
audio viz

audio viz

2017-01-17/13_27_37.ts
audio viz

audio viz

2017-01-17/13_57_37.ts
audio viz

audio viz

Veyepar Video Eyeball Processor and Review