Helping to improve the quality of software systems by inferring defects using static and dynamic analysis is coming at 11/27/2017 - 4:00pm
LPSC 125 Mon, 11/27/2017 - 4:00pm Iftekhar Ahmed Oregon State University Abstract: Software will always have bugs, and as software continues to become a more and more pervasive part of our lives, software failures will continue to affect more people than ever. In the absence of a major breakthrough in model checking or formal verification, improving and checking software quality requires a statistical approach; our confidence in our systems depends on our confidence in the exhaustiveness of our testing. As software systems get more complex, the task of exhaustive testing becomes more complex. In order to build less error prone systems, we therefore need to not only focus on quickly and efficiently identifying bugs through testing, but also on identifying factors associated with bugs in order to prevent them in the first place. Software development is a complex process that requires coordination between individuals and technology, and as we look to predict and prevent faults, we need to examine the effect that socio-technical factors have on code quality. In this talk, I present my research on identifying factors that are associated with software faults. I also present my work on improving the effectiveness of testing to automatically uncover bugs in complex real-world systems to build better quality software. Bio: Read more: http://eecs.oregonstate.edu/colloquium/helping-improve-quality-software-... [1] [1] http://eecs.oregonstate.edu/colloquium/helping-improve-quality-software-systems-inferring-defects-using-static-and-dynamic
_______________________________________________ Colloquium mailing list [email protected] https://secure.engr.oregonstate.edu/mailman/listinfo/colloquium
