veyepar: RCU Mutation Testing

Hi user

Admin Login:

Name: RCU Mutation Testing
--client lca --show lca2016 --room r3mix 10825 --force
Prev: 12 Changes in the security module infrastructure
Next: 0 Kernel Miniconf Unconference

show more...

Author(s):	Paul McKenney
Location	Wool Museum
Date	feb Mon 01	Days Raw Files
Start	11:30	First Raw Start	10:54
Duration	0:30:00	Offset	0:35:56
End	12:00	Last Raw End	12:06
Chapters	00:00
Total cuts_time	29 min.

https://linux.conf.au/schedule/30386/view_talk
raw-playlist raw-mp4-playlist encoded-files-playlist host archive tweet mp4 svg png

final audio

assets release.pdf RCU_Mutation_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:	Mutation testing is an automated test technique often used in academia to determine the quality of test suites and the robustness of programs. Though seen as the gold standards by academics, it has seldom been applied to programs longer than a few hundred lines of code due to the computational explosion it is prone to as programs grow. We have been working to adapt this technique to the practical exigencies of the RCU to evaluate its testing harness as well as identify new bugs in a more scalable and automated way. By rapidly triaging and throwing away uninteresting mutants we have been able to use this technique to identify 1 bug and 2 test case modifications in a relatively well-established and solid module of the Linux Kernel over the last few weeks. In this talk, I will describe mutation testing and its potential, how we overcame the scalability issues associated with this technique, and how this technique can successfully be used to identify hairy bugs in big and complex systems. Joint work with Iftekhar Ahmed, Alex Groce, and Carlos Jensen, all of Oregon State University markdown
Comment:	production notes

recording sheet

recording sheet

2016-02-01/10_54_04.dv Apply: 11:30:00 - 11:31:02 ( 00:01:02 ) S: 10:54:04 - E: 11:31:02 D: 00:36:58 (Start: 2156.0) show more...

vlc ~/Videos/veyepar/lca/lca2016/dv/r3mix/2016-02-01/10_54_04.dv :start-time=02156.0 --audio-desync=0

	Raw File	Cut List
	10:54:04		seconds: 2156.0 Wall: 11:30:00
Duration	00:36:58
	11:31:02		seconds: 0.0 Wall: 10:54:04
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2016-02-01/11_31_01.dv Apply: 11:31:01 - 11:36:00 ( 00:04:59 ) S: 11:31:01 - E: 11:36:00 D: 00:04:59 show more...

vlc ~/Videos/veyepar/lca/lca2016/dv/r3mix/2016-02-01/11_31_01.dv :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	11:31:01		seconds: 0.0 Wall: 11:31:01
Duration	00:04:59
	11:36:00		seconds: 0.0 Wall: 11:31:01
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2016-02-01/11_36_01.dv Apply: 11:36:01 - 11:36:24 ( 00:00:23 ) S: 11:36:01 - E: 11:36:24 D: 00:00:23 show more...

vlc ~/Videos/veyepar/lca/lca2016/dv/r3mix/2016-02-01/11_36_01.dv :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	11:36:01		seconds: 0.0 Wall: 11:36:01
Duration	00:00:23
	11:36:24		seconds: 0.0 Wall: 11:36:01
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

audio viz

2016-02-01/11_36_24.dv Apply: 11:36:24 - 12:06:21 ( 00:29:57 ) S: 11:36:24 - E: 12:06:21 D: 00:29:57 show more...

vlc ~/Videos/veyepar/lca/lca2016/dv/r3mix/2016-02-01/11_36_24.dv :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	11:36:24		seconds: 0.0 Wall: 11:36:24
Duration	00:29:57
	12:06:21		seconds: 0.0 Wall: 11:36:24
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

2016-02-01/10_54_04.dv
audio viz

audio viz

2016-02-01/11_31_01.dv
audio viz

audio viz

2016-02-01/11_36_01.dv
audio viz

audio viz

2016-02-01/11_36_24.dv
audio viz

audio viz

Veyepar Video Eyeball Processor and Review