mutant selection feature

Author: caev03

src/uniandes/tsdl/mutapk/MutAPK.java

@@ -6,6 +6,7 @@
 import java.io.FileWriter;
 import java.io.IOException;
 import java.io.InputStreamReader;
+import java.util.ArrayList;
 import java.util.HashMap;
 import java.util.List;
 import java.util.Set;
@@ -39,15 +40,17 @@ public static void main(String[] args) {
 			// System.out.println(finalTime);
 			// System.out.println(finalTime-initialTime);
 
+		} catch (NumberFormatException e) {
+			System.out.println("Amount of mutants parameter is not a number!");
 		} catch (Exception e) {
 			// TODO Auto-generated catch block
 			e.printStackTrace();
 		}
 	}
 
-	public static void runMutAPK(String[] args) throws Exception {
+	public static void runMutAPK(String[] args) throws NumberFormatException, Exception {
 		//Usage Error
-		if (args.length != 6) {
+		if (args.length < 6) {
 			System.out.println("******* ERROR: INCORRECT USAGE *******");
 			System.out.println("Argument List:");
 			System.out.println("1. APK path");
@@ -56,9 +59,10 @@ public static void runMutAPK(String[] args) throws Exception {
 			System.out.println("4. Binaries path");
 			System.out.println("5. Directory containing the operator.properties file");
 			System.out.println("6. Multithread generation (true/false)");
+			System.out.println("7. OPTIONAL Amount of mutants");
 			return;
 		}
-		
+
 		//Getting arguments
 		String apkName;
 		String apkPath = args[0];
@@ -67,8 +71,12 @@ public static void runMutAPK(String[] args) throws Exception {
 		String extraPath = args[3];
 		String operatorsDir = args[4];
 		boolean multithread = Boolean.parseBoolean(args[5]);
+		int amountMutants = -1;
+		if(args.length>6) {
+			amountMutants = Integer.parseInt(args[6]);
+		}
+
 
-		
 		// Fix params based in OS
 		String os = System.getProperty("os.name").toLowerCase();
 		if (os.indexOf("win") >= 0) {
@@ -79,21 +87,26 @@ public static void runMutAPK(String[] args) throws Exception {
 		} else {
 			apkName = apkPath.substring(apkPath.lastIndexOf("/"));
 		}
+		//Read selected operators
+		OperatorBundle operatorBundle = new OperatorBundle(operatorsDir);
+		System.out.println(operatorBundle.printSelectedOperators());
+
+		if(amountMutants>0 && operatorBundle.getAmountOfSelectedOperators()>amountMutants) {
+			throw new Exception("You must select as many mutants as selected operators, right now you select "+operatorBundle.getAmountOfSelectedOperators()+" operators but only ask for "+amountMutants+" mutants");
+		}
+
 		Helper.getInstance();
 		Helper.setPackageName(appName);
 		// Decode the APK
 		APKToolWrapper.openAPK(apkPath, extraPath);
 
-		//Read selected operators
-		OperatorBundle operatorBundle = new OperatorBundle(operatorsDir);
-		System.out.println(operatorBundle.printSelectedOperators());
 
 		//Text-Based operators selected
 		List<MutationLocationDetector> textBasedDetectors = operatorBundle.getTextBasedDetectors();
-		
+
 		//1. Run detection phase for Text-based detectors
 		HashMap<MutationType, List<MutationLocation>> locations = TextBasedDetectionsProcessor.process("temp", textBasedDetectors);
-		
+
 
 		// //2. Run detection phase for AST-based detectors
 		// //2.1 Preprocessing: Find locations to target API calls (including calls to constructors)
@@ -102,24 +115,30 @@ public static void runMutAPK(String[] args) throws Exception {
 		locations.putAll( scp.processFolder("temp", extraPath, appName));
 
 		// //2.2. Call the detectors on each location in order to find any extra information required for each case.
-//		locations = scp.findExtraInfoRequired(locations);
+		//		locations = scp.findExtraInfoRequired(locations);
 
 		Set<MutationType> keys = locations.keySet();
 		List<MutationLocation> list = null;
 		System.out.println("Amount Mutants	Mutation Operator");
 		for (MutationType mutationType : keys) {
 			list = locations.get(mutationType);
 			System.out.println(list.size()+"		"+mutationType);
-//			for (MutationLocation mutationLocation : list) {
-//				System.out.println("File: "+mutationLocation.getFilePath()+", start line:" + mutationLocation.getStartLine()+", end line: "+mutationLocation.getEndLine()+", start column"+mutationLocation.getStartColumn());
-//			}
+			//			for (MutationLocation mutationLocation : list) {
+			//				System.out.println("File: "+mutationLocation.getFilePath()+", start line:" + mutationLocation.getStartLine()+", end line: "+mutationLocation.getEndLine()+", start column"+mutationLocation.getStartColumn());
+			//			}
 		}
-		
+
 		//3. Build MutationLocation List
 		List<MutationLocation> mutationLocationList = MutationLocationListBuilder.buildList(locations);
 		printLocationList(mutationLocationList, mutantsFolder, appName);
 		System.out.println("Total Locations: "+mutationLocationList.size());
 
+		if(amountMutants>0) {
+			System.out.println("We have found: "+mutationLocationList.size()+" possible mutation points, we are going to select "+amountMutants+" of those");
+			mutationLocationList = selectMutants(amountMutants, locations);
+			System.out.println(mutationLocationList.size());
+		}
+
 		//3. Run mutation phase
 		MutationsProcessor mProcessor = new MutationsProcessor("temp", appName, mutantsFolder);
 
@@ -131,8 +150,37 @@ public static void runMutAPK(String[] args) throws Exception {
 
 	}
 
+	private static List<MutationLocation> selectMutants(int amountMutants, HashMap<MutationType, List<MutationLocation>> locations) {
+
+		HashMap<MutationType, List<MutationLocation>> newLocations = new HashMap<MutationType, List<MutationLocation>>();
+		HashMap<MutationType, List<MutationLocation>> tempLocations = locations;
+		int newAmountMutants = amountMutants;
+
+		for(MutationType key : tempLocations.keySet()) {
+			if(tempLocations.get(key).size()>0) {
+				int selectedMutantNumber = (int)Math.random()*tempLocations.get(key).size();
+				MutationLocation selectedMutant =  tempLocations.get(key).get(selectedMutantNumber);
+				ArrayList temp = new ArrayList<MutationLocation>();
+				temp.add(selectedMutant);
+				newLocations.put(key, temp);
+				tempLocations.get(key).remove(selectedMutantNumber);
+				newAmountMutants--;
+			}
+		}
+		List<MutationLocation> mutationLocationList = MutationLocationListBuilder.buildList(tempLocations);
+		List<MutationLocation> newMutationLocationList = MutationLocationListBuilder.buildList(newLocations);
+
+		for (int i = 0; i < newAmountMutants; i++) {
+			int selectedMutantNumber = (int)Math.random()*mutationLocationList.size();
+			MutationLocation selectedMutant =  mutationLocationList.get(selectedMutantNumber);
+			newMutationLocationList.add(selectedMutant);
+			mutationLocationList.remove(selectedMutantNumber);
+		}
+		return newMutationLocationList;
+	}
+
 	private static void printLocationList(List<MutationLocation> mutationLocationList, String mutantsFolder, String appName) {
-		
+
 		try {
 			BufferedWriter writer = new BufferedWriter(
 					new FileWriter(mutantsFolder + File.separator + appName + "-locations.json"));
@@ -173,7 +221,7 @@ private static void printLocationList(List<MutationLocation> mutationLocationLis
 			// TODO Auto-generated catch block
 			e.printStackTrace();
 		}
-		
+
 	}
 
 }

src/uniandes/tsdl/mutapk/operators/OperatorBundle.java

@@ -71,6 +71,10 @@ public List<MutationLocationDetector> getTextBasedDetectors() {
 		return textBasedDetectors;
 	}
 
+	public int getAmountOfSelectedOperators() {
+		return bundle.keySet().size();
+	}
+	
 	public String printSelectedOperators() {
 
 		Set<String> ids = bundle.keySet();

test/MutAPK-0.0.1.jar

@@ -1,10 +1,34 @@
-# 30	=	BuggyGUIListener
-# 15	=	BluetoothAdapterAlwaysEnabled
-# 31	=	InvalidIDFindView
-# 2	=	DifferentActivityIntentDefinition
-#4	=	InvalidKeyIntentPutExtra
-#17	=	InvalidURI
-#28	=	InvalidColor
-#20	=	NullBackEndServiceReturn
-#27	=	FindViewByIdReturnsNull
-6	=	NullIntent
+1	=	ActivityNotDefined
+2	=	DifferentActivityIntentDefinition
+3	=	InvalidActivityName
+4	=	InvalidKeyIntentPutExtra
+5	=	InvalidLabel
+6	=	NullIntent
+7	=	NullValueIntentPutExtra
+8	=	WrongMainActivity
+9	=	MissingPermissionManifest
+10	=	WrongStringResource
+12	=	SDKVersion
+13	=	LengthyBackEndService
+14	=	LongConnectionTimeOut
+15	=	BluetoothAdapterAlwaysEnabled
+16	=	NullBluetoothAdapter
+17	=	InvalidURI
+18	=	NullGPSLocation
+19	=	InvalidDate
+20	=	NullBackEndServiceReturn
+22	=	NullMethodCallArgument
+23	=	ClosingNullCursor
+24	=	InvalidIndexQueryParameter
+25	=	InvalidSQLQuery
+26	=	ViewComponentNotVisible
+27	=	FindViewByIdReturnsNull
+28	=	InvalidColor
+29	=	InvalidViewFocus
+31	=	InvalidIDFindView
+32	=   InvalidFilePath
+33	=	NullInputStream
+35	=	OOMLargeImage
+36	=	LengthyGUIListener
+37	=	NullOutputStream
+38	=	LengthyGUICreation

test/operators.properties

@@ -0,0 +1,10 @@
+# 30	=	BuggyGUIListener
+# 15	=	BluetoothAdapterAlwaysEnabled
+# 31	=	InvalidIDFindView
+# 2	=	DifferentActivityIntentDefinition
+#4	=	InvalidKeyIntentPutExtra
+#17	=	InvalidURI
+#28	=	InvalidColor
+#20	=	NullBackEndServiceReturn
+#27	=	FindViewByIdReturnsNull
+6	=	NullIntent