Download - Seminar Summary

Transcript
Page 1: Seminar Summary

Seminar Summary

Mooly Sagiv

Page 2: Seminar Summary

Goals

• Summarize the seminar

• Get some feedback from the students

Page 3: Seminar Summary

Subjects Presented• Negative Results (Sharon)• Testing with specification (Ori, Ofer)• Testing buffer overrun (Alex, Ilya)• Recording events- Bug trapper (Dimitry)• Generating test cases (Ety)• Mutation testing (Oran, Nir)• Code coverage (Nir, Shmuel Or)• Self correcting programs (Dan)• Code complexity (Eran)• Testing process (Shmuel Or, Mooly)

Page 4: Seminar Summary

Uncovered• Regression testing• Design for test• Related software tools

– Testing graphical software– Code slicing– Profiling– Proof carrying code– Build tools

• Famous bugs• Using AI techniques• Domain specific languages (DSL)

Page 5: Seminar Summary

Feedback


Top Related