adding counter examples (4c608c39) · Commits · Program Slicing / SDG

iacfg/src/test/java/es/upv/mist/slicing/graphs/icfg/ICFGTest.java

+37 −2

Original line number	Diff line number	Diff line
		@@ -28,10 +28,45 @@ public class ICFGTest {

		createGraph("TestExamplePaper.java", "grafoPaper");
		System.out.println("Grafo 5 generado...");
		*/

		createGraph("TestExamplePaperSimple.java", "grafoPaperSimple");
		createGraph("Test1.java", "grafoTest1");
		System.out.println("Grafo 6 generado...");

		createGraph("Test2.java", "grafoTest2");
		System.out.println("Grafo 7 generado...");

		createGraph("Test3.java", "grafoTest3");
		System.out.println("Grafo 8 generado...");

		createGraph("Test4.java", "grafoTest4");
		System.out.println("Grafo 9 generado...");

		createGraph("Test5.java", "grafoTest5");
		System.out.println("Grafo 10 generado...");

		createGraph("Test6.java", "grafoTest6");
		System.out.println("Grafo 11 generado...");*/

		createGraph("TestExamplePaperSimple.java", "grafoPaperSimple");
		System.out.println("Grafo 12 generado...");

		/* createGraph("TestExamplePaperSimpleContra1.java", "contra1");
		System.out.println("Grafo 13 generado...");*/

		/* createGraph("TestExamplePaperSimpleContra2.java", "contra2");
		System.out.println("Grafo 14 generado..."); */

		/* createGraph("TestExamplePaperSimpleContra3.java", "contra3");
		System.out.println("Grafo 15 generado...");*/

		/* createGraph("TestExamplePaperSimpleContra4.java", "contra4");
		System.out.println("Grafo 16 generado..."); */

		/* createGraph("TestExamplePaperSimpleContra5.java", "contra5");
		System.out.println("Grafo 17 generado..."); */

		/* createGraph("TestExamplePaperSimpleContra6.java", "contra6");
		System.out.println("Grafo 18 generado..."); */
		}

		private static void createGraph(String fileName, String graphName) throws IOException {

iacfg/src/test/resources/TestExamplePaperSimpleContra1.java

0 → 100644

+85 −0

Original line number	Diff line number	Diff line
		public class TestExamplePaperSimple {

		public static void main(String[] args) {

		while (1 > 2) {
		System.out.println("S1");
		p1();
		System.out.println("S2");
		p1();
		System.out.println("S3");
		}

		if (1 > 2) {
		System.out.println("S4");
		r1();
		System.out.println("S5");
		} else {
		System.out.println("S6");
		r1();
		System.out.println("S7");
		}

		if (20 < 10) {
		while (10 > 0) {
		r1();
		System.out.println("S9");
		}
		} else {
		while (10 > 0) {
		r1();
		System.out.println("S10");
		}
		}

		System.out.println("S11");
		l();
		System.out.println("S12");

		main(args);
		}

		public static void p1() {
		p2();
		}

		public static void p2() {
		p3();
		}

		public static void p3() {
		while (1 > 2) {
		System.out.println("P3!");
		}
		}

		public static void r1() {
		System.out.println("S20");
		if (21 > 0) {
		r1();
		}
		System.out.println("S23");
		System.out.println("S24");
		}

		public static void l() {
		if (1 > 0) {
		m();
		System.out.println("L3");
		}
		}

		public static void m() {
		if (1 > 0) {
		n();
		System.out.println("M3");
		}
		}

		public static void n() {
		if (1 > 0) {
		l();
		System.out.println("N3");
		}
		}
		}
		No newline at end of file

iacfg/src/test/resources/TestExamplePaperSimpleContra2.java

0 → 100644

+84 −0

Original line number	Diff line number	Diff line
		public class TestExamplePaperSimple {

		public static void main(String[] args) {

		while (1 > 2) {
		System.out.println("S1");
		p1();
		System.out.println("S2");
		p1();
		System.out.println("S3");
		}

		if (1 > 2) {
		System.out.println("S4");
		r1();
		System.out.println("S5");
		} else {
		System.out.println("S6");
		r1();
		System.out.println("S7");
		}

		if (20 < 10) {
		while (10 > 0) {
		r1();
		System.out.println("S9");
		}
		} else {
		while (10 > 0) {
		r1();
		System.out.println("S10");
		}
		}

		System.out.println("S11");
		l();
		System.out.println("S12");
		}

		public static void p1() {
		p2();
		}

		public static void p2() {
		p3();
		}

		public static void p3() {
		while (1 > 2) {
		System.out.println("P3!");
		}
		}

		public static void r1() {
		System.out.println("S20");
		if (21 > 0) {
		r1();
		}
		System.out.println("S23");
		System.out.println("S24");
		}

		public static void l() {
		if (1 > 0) {
		m();
		System.out.println("L3");
		}
		l();
		}

		public static void m() {
		if (1 > 0) {
		n();
		System.out.println("M3");
		}
		}

		public static void n() {
		if (1 > 0) {
		l();
		System.out.println("N3");
		}
		}
		}
		No newline at end of file

iacfg/src/test/resources/TestExamplePaperSimpleContra3.java

0 → 100644

+84 −0

Original line number	Diff line number	Diff line
		public class TestExamplePaperSimple {

		public static void main(String[] args) {

		while (1 > 2) {
		System.out.println("S1");
		p1();
		System.out.println("S2");
		p1();
		System.out.println("S3");
		}

		if (1 > 2) {
		System.out.println("S4");
		r1();
		System.out.println("S5");
		} else {
		System.out.println("S6");
		r1();
		System.out.println("S7");
		}

		if (20 < 10) {
		while (10 > 0) {
		r1();
		System.out.println("S9");
		}
		} else {
		while (10 > 0) {
		r1();
		System.out.println("S10");
		}
		}

		System.out.println("S11");
		l();
		System.out.println("S12");
		}

		public static void p1() {
		p2();
		}

		public static void p2() {
		p3();
		}

		public static void p3() {
		while (1 > 2) {
		System.out.println("P3!");
		}
		}

		public static void r1() {
		System.out.println("S20");
		if (21 > 0) {
		r1();
		}
		System.out.println("S23");
		System.out.println("S24");
		l();
		}

		public static void l() {
		if (1 > 0) {
		m();
		System.out.println("L3");
		}
		}

		public static void m() {
		if (1 > 0) {
		n();
		System.out.println("M3");
		}
		}

		public static void n() {
		if (1 > 0) {
		l();
		System.out.println("N3");
		}
		}
		}
		No newline at end of file

iacfg/src/test/resources/TestExamplePaperSimpleContra4.java

0 → 100644

+84 −0

Original line number	Diff line number	Diff line
		public class TestExamplePaperSimple {

		public static void main(String[] args) {

		while (1 > 2) {
		System.out.println("S1");
		p1();
		System.out.println("S2");
		p1();
		System.out.println("S3");
		}

		if (1 > 2) {
		System.out.println("S4");
		r1();
		System.out.println("S5");
		} else {
		System.out.println("S6");
		r1();
		System.out.println("S7");
		}

		if (20 < 10) {
		while (10 > 0) {
		r1();
		System.out.println("S9");
		}
		} else {
		while (10 > 0) {
		r1();
		System.out.println("S10");
		}
		}

		System.out.println("S11");
		l();
		System.out.println("S12");
		}

		public static void p1() {
		p2();
		l();
		}

		public static void p2() {
		p3();
		}

		public static void p3() {
		while (1 > 2) {
		System.out.println("P3!");
		}
		}

		public static void r1() {
		System.out.println("S20");
		if (21 > 0) {
		r1();
		}
		System.out.println("S23");
		System.out.println("S24");
		}

		public static void l() {
		if (1 > 0) {
		m();
		System.out.println("L3");
		}
		}

		public static void m() {
		if (1 > 0) {
		n();
		System.out.println("M3");
		}
		}

		public static void n() {
		if (1 > 0) {
		l();
		System.out.println("N3");
		}
		}
		}
		No newline at end of file