Automated Test-Input Generation

Mining Test Oracles for Test Inputs Generated from Java Bytecode

Frank Xu, Ph.D.Gannon UniversityAutomated Test-Input GenerationXu, W., Ding, T., Wang, H., Xu. D., Mining Test Oracles for Test Inputs Generated from Java Bytecode, Proc. of the 37th Annual International Computer Software & Applications Conference, pp. 27-32, Kyoto, Japan, July 2013 Mining Decision Trees as Test Oracles for Java Bytecode (Extended version of conference paper), Accepted by Journal of Systems and Software

About Me Frank XuEducationPh.D. in Software Engineering, North Dakota State UniversityM.S. in Computer Science, Towson University B.S. in Computer Science, Minor in Math, Southeast Missouri State UniversityWorking ExperienceGE Transportation, 2008- present, ConsultantGannon University, 2008- present, Assistant Professor of Software Engineering, Director of Keystone Software Development Institute University VA Wise, 2007- 2008, Assistant Professor of Software EngineeringSwanson Health Products, 2005 ~ 2007, Sr. Web Programmer Analyst Volt Information Science Inc., 2004 ~ 2005, Software Engineer (Web)

2TeachingSource: Student Evaluation Report

ResearchSource: Google scholar: http://scholar.google.com/citations?user=9_I4ZUgAAAAJ&hl=en

Automated Test-Input GenerationIntroduction Software testingTest automationTest InputsHow to Generate Test InputsSimplifying Java CodeApplying rulesEmpirical Study/DemoConclusions

IntroductionExerciseImplementing a method to solve Triangle problem

What is Triangle Problem?

What is Method?Is a function or a service to complete a taskA method that determines the maximum of two numbers.A method that sorts a list of namesA method that opens a file from the file systemMethodInvoked by a method callReturns a result to calling method (caller)Similar to a boss (caller) asking a worker (called method) to complete a task1// Fig. 6.3: SquareIntegers.java2// Creating and using a programmer-defined method.3public class SquareIntegers {

4public static void main (String args[])5{6int result; // store result of call to method square7// loop 10 times8for ( int counter = 1; counter