https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/ 2026-06-22T22:10:48+00:00 https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/ https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/_media/wiki:dokuwiki-128.png text/html 2020-04-22T13:36:27+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/calendar?rev=1587562587&do=diff Weekly Calendar January 6 Title: Bugs are everywhere Reading material: page 1-2, 4-6 of the textbook Slides: [lecture1.pdf] January 8 Title: Testing on steriods Reading material: JUnit website Slides: [lecture2.pdf] Handout: [handout1.pdf], [handout2.pdf] Code: [ColorTest.java] January 10 Title: More testing on steroids text/html 2007-08-01T13:57:34+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/contact?rev=1185976654&do=diff Contact Course Director * Bob J. Smith * Office: CSE 999 (Computer Science and Engineering Building) * Phone: (416) 736-2100 x. 11111 * Email: bobsmith AT cse DOT yorku DOT ca You may contact the course director by e-mail at any time. Teaching Assistants text/html 2007-07-31T19:53:17+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/course_outline?rev=1185911597&do=diff Course Outline The course outline is a guideline to topics that will be discussed in the course, and when they will be discussed: Week 1 Your notes here. Week 2 Midterm Drop Deadline Week 13 Final Exam text/html 2020-04-22T14:01:17+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/deferred?rev=1587564077&do=diff Deferred final exam The deferred final exam will be available at this course wiki on Friday April 24 at 2 pm. Solutions need to be submitted before Friday April 24 at 4 pm. Material The exam will cover the material covered after the midterm. The exam will consist of one question. The question will be somewhat similar to Labs 5, 6, 7 and 8. text/html 2007-08-01T14:34:50+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/faq?rev=1185978890&do=diff Frequently Asked Questions Here, you can list frequently asked questions from your students along with responses. General Do I need to register for a CSE Computer Account? Yes. Do I need to attend class? If you wish to pass. Tests Do I need to write all tests? text/html 2020-04-08T23:01:02+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/final?rev=1586386862&do=diff Final exam The final exam will be available at this course wiki on Wednesday April 8 at 7 pm. Solutions need to be submitted before Wednesday April 8 at 9 pm. Material The exam will cover the material covered after the midterm. The exam will consist of one question. The question will be somewhat similar to Labs 5, 6, 7 and 8. text/html 2007-08-02T17:22:57+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/forums?rev=1186075377&do=diff Forums This page acts as a future placeholder for a link to a forum system. text/html 2007-08-03T19:04:58+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/grades?rev=1186167898&do=diff Grades The weight distribution of the course components is as follows: * 25% - Assignment 1 * 25% - Midterm * 25% - Assignment 2 * 25% - Final Exam You can view your marks here. Conversion from numeric to letter grade is applied to the overall mark only and in accordance with the following departmental standard: text/html 2007-07-31T17:53:24+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/important_dates?rev=1185904404&do=diff Important Dates Here, you would list important dates for your course. * Sept 1 - Assignment 1 Due * Oct 1 - Course finished text/html 2020-01-04T02:13:49+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/lab1?rev=1578104029&do=diff Lab 1 Write a JUnit test case to test the class Short, whose API can be found here. The JAR for the Short class can be found here. To receive feedback, submit your test case using the submit command before Tuesday January 14: submit 4315 lab1 ShortTest.java text/html 2018-01-02T22:03:17+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/lab2?rev=1514930597&do=diff Lab 2 * In your home directory create a directory named .jpf (note that the name of the directory starts with a dot). * In the created directory, create a file named site.properties with the following contents. # JPF site configuration jpf-core=/eecs/fac/pkg/jpf/jpf-core extensions=${jpf-core} text/html 2017-01-23T01:19:22+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/lab3?rev=1485134362&do=diff JPF in its basic form is a state exploring Java virtual machine (JVM) which can systematically explore all potential executions of Java code. There are many different ways to explore the executions. For example, JPF can use different search strategies such as breadth-first search (BFS) and depth-first search (DFS). Consider a Java code that gives rise to the following state space diagram. text/html 2018-11-06T15:55:50+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/lab4?rev=1541519750&do=diff LAB 3 Listeners Choose one of the following listeners (please don't all choose the first one). Write one or more sample programs to illustrate the use of the listener. Some listeners have associated properties. Illustrate their use as well. Describe the listener and its properties. The source code of the listeners can be found in jpf-core/src/main/gov/nasa/jpf/listener/ text/html 2019-01-29T01:12:54+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/lab4a?rev=1548724374&do=diff Lab 5 Implement a listener, named LocalVariableIds, that prints the set of IDs of the local variables manipulated in the main method. A sample run can be found below. It shows what type of output your listener should produce. Here are some hints that may be useful for implementing your listener. text/html 2019-01-29T01:21:32+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/lab4b?rev=1548724892&do=diff Lab 4 Implement a listener, named StateFrequency, that prints the IDs of the states and the number of times the state has been visited. A sample run can be found below. It shows what type of output your listener should produce. Here are some hints that may be useful for implementing your listener. text/html 2020-01-19T20:51:28+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/lab5?rev=1579467088&do=diff Lab 2 Write a listener, named LongestPath, that keeps track of the length of a longest path in the state space. The method getDepth of the class Search might be helpful (see JPF's API). To make it a little easier, you do not have to consider state spaces with cycles. A sample run can be found below. It shows what type of output your listener should produce. text/html 2020-02-03T21:07:57+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/lab6?rev=1580764077&do=diff Lab 3 Implement value search, that is, implement the class lab.ValueSearch. The API of this class and related classes can be found here. In your implementation, you do not have to keep track of the depth, nor do you have not notify that depth or space limits have been hit. A jar file containing the remaining classes can be found text/html 2020-02-25T19:35:56+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/lab7?rev=1582659356&do=diff Lab 4 Test the listener gov.nasa.jpf.StackDepthChecker. Use the JPF framework (TestJPF). To receive feedback, submit your code before March 5 using the submit command: submit 4315 lab4 <name of class>.java text/html 2020-02-29T21:15:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/lab8?rev=1583010937&do=diff Lab 5 Consider the following app. public class Main { public static void main(String[] args) { System.out.println(StrictMath.exp(23.7)); } } If we run JPF with the following configuration file target=Main classpath=(directory that contains Main.class) text/html 2020-03-12T17:52:45+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/lab9?rev=1584035565&do=diff Lab 6 Download [lab6.zip]. The corresponding API can be found here. Implement the Controller in such a way that cars do not collide on the bridge. The original version of this lab can be found here. To receive feedback, submit your Controller class using submit 4315 lab6 Controller.java text/html 2020-03-19T23:16:49+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/lab10?rev=1584659809&do=diff Lab 7 Download [lab7.zip]. This file contains a simplified version of the code for Lab 6. The corresponding API can be found here. Use Java PathFinder to check some properties of the code (for example, never are a red and blue car on the bridge at the same time, each car reaches the end of the bridge [as long as there are finitely many cars that want to cross the bridge], etc). You may modify the code (add, for example, ghost variables), develop a listener, etc. Describe which properties y… text/html 2020-03-26T22:06:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/lab11?rev=1585260360&do=diff Lab 8 Download [lab8.zip]. This file contains some code to solve the producer-consumer problem. The corresponding API can be found here. Implement the class BoundedBuffer. Use Java PathFinder to check some properties of the code. You may modify the code (add, for example, ghost variables), develop a listener, etc. Describe which properties you have checked, the changes you have made to the code, etc. text/html 2020-03-26T22:08:03+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/lab12?rev=1585260483&do=diff Lab 9 Work on your project. text/html 2020-02-15T21:45:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/midterm?rev=1581803100&do=diff The midterm will be about all the material covered up to and including Monday February 24, that is, material covered in the lectures and in the labs, as well as the posted reading material. Students may bring one letter-sized piece of paper with notes (both sides of the piece of paper may be used). No other material may be consulted during the midterm. The midterm will be held during lecture time. The midterm is scheduled for 60 minutes. text/html 2007-07-31T18:55:53+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/policies?rev=1185908153&do=diff Policies Here, you can list specific course policies. Academic Dishonesty For more information on Academic Dishonesty, click here. text/html 2020-04-01T20:10:15+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/project?rev=1585771815&do=diff Final Report and Code Submit the final report and code before April 21. There is a late penalty of 1% penalty per day. Late submissions should be sent to the instructor by email. A sample proposal can be found [here]. A sample first progress report can be found text/html 2020-01-19T19:59:39+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/project1?rev=1579463979&do=diff Part 1 of Project Install JPF on your laptop. On Friday January 26, bring your laptop to the lab and show the instructor how to run JPF. If you have correctly installed JPF and you can run JPF successfully on the code provided below, then you will receive 5% towards the mark for your project (50% in total). Otherwise, you can try again next week (1% penalty per week). text/html 2020-02-05T01:22:02+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/project2?rev=1580865722&do=diff Part 2 of Project Submit a draft of your project proposal before Saturday February 15. If you work in a group of two students, both names should be on the draft proposal and only one student should submit the draft proposal. If you submit your draft proposal before the deadline you will receive 2% towards the mark for your project (50% in total). There is a late penalty of 1% penalty per day. A sample of a draft proposal can be found text/html 2020-02-25T00:44:04+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/project3?rev=1582591444&do=diff Part 3 of Project Submit the final version of your project proposal before Tuesday February 25. If you submit your proposal before the deadline you will receive 3% towards the mark for your project (50% in total). There is a late penalty of 1% penalty per day. A sample of a proposal can be found text/html 2020-02-25T00:48:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/project4?rev=1582591713&do=diff Progress Report 1 Submit the first progress report before March 10. If you submit your progress report before the deadline and you have made excellent (good) progress with your project you will receive 5% (4%) towards the mark for your project (50% in total). There is a late penalty of 1% penalty per day. Late submissions should be sent to the instructor by email. text/html 2020-03-17T15:59:02+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/project5?rev=1584460742&do=diff Progress Report 2 Submit the second progress report before March 24. If you submit your progress report before the deadline and you have made excellent (good/reasonable) progress with your project since the first progress report, you will receive 5% (4%/3%) towards the mark for your project (50% in total). There is a late penalty of 1% penalty per day. Late submissions should be sent to the instructor by email. text/html 2019-04-02T15:53:35+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/project6?rev=1554220415&do=diff Submit the project before Tuesday April 23 here. Select 4315 as course and project as assignment. There is a late penalty of 1% penalty per day. Late submissions should be sent to the instructor by email. text/html 2019-07-29T21:39:51+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/projects?rev=1564436391&do=diff Projects Below you find a very brief overview of the projects that students did the last four years. Modifying MethodTracker The goal is to improve the listener gov.nasa.jpf.listener.MethodTracker. NoStateCycles Enhancement The goal is to improve the listener gov.nasa.jpf.listener.NoStateCycles. text/html 2020-01-08T22:16:47+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/quiz1?rev=1578521807&do=diff Quiz 1 The first quiz will be about testing (the material covered in lab 1 and lecture 2). Slides of lecture 2 as well as the JUnit site will be available during the quiz. No other material may be consulted during the quiz. You will be asked to test all features of a given text/html 2019-01-09T16:43:54+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/quiz2?rev=1547052234&do=diff Quiz 2 The second quiz will be about all the material covered before January 18, that is, material covered in the lectures and in the labs, as well as the posted reading material. Students may bring one letter-sized piece of paper with notes (both sides of the piece of paper may be used). No other material may be consulted during the midterm. The quiz will be held during lecture time. The quiz is scheduled for 60 minutes. text/html 2020-02-04T16:12:19+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/quiz3?rev=1580832739&do=diff Quiz 3 The third quiz will be about JPF's search strategies. Slides of the relevant lectures as well as the JPF notes and the API of Java and JPF will be available during the quiz. No other material may be consulted during the quiz. Not only correctness but also design and style will be considered when evaluating your work. text/html 2018-03-23T00:59:42+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/quiz4?rev=1521766782&do=diff Quiz 4 The fourth quiz will be about concurrency (the material lecture 14-17). Slides of lecture 14-17 and 20 as well as the JPF notes and the API of Java and JPF will be available during the quiz. No other material may be consulted during the quiz. Not only correctness but also design and style will be considered when evaluating your work. text/html 2017-03-25T22:01:27+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/quiz5?rev=1490479287&do=diff Quiz 5 The fifth quiz will be about concurrency (the material covered in lab 10 and lectures 15-18). Slides of lectures 15-18 as well as “The Java Tutorials: Concurrency” will be available during the quiz. No other material may be consulted during the quiz. You will be asked to solve a programming problem involving concurrency. Not only correctness but also design and style will be considered when evaluating your work. text/html 2017-03-18T13:11:28+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/quiz6?rev=1489842688&do=diff Quiz 6 The sixth quiz will be about material covered March 29. No material may be consulted during the quiz. text/html 2007-07-31T18:59:29+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/resources?rev=1185908369&do=diff Resources Use this page to list additional Resources that may be helpful to your students. * Department of CSE Home Page * York Exam Schedule text/html 2024-03-08T14:02:31+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/sidebar?rev=1709906551&do=diff * Weekly Calendar * Course Syllabus * Forum text/html 2020-05-12T00:01:28+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/start?rev=1589241688&do=diff Mission Critical Systems Click on Course Syllabus for more information about this course. Franck invigilating the final exam of EECS 4315 text/html 2020-02-05T01:21:05+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/syllabus?rev=1580865665&do=diff Course Syllabus Lectures Time: Monday and Wednesday, 9:00-10:30 Location: Victor Phillip Dahdaleh Building, room 0009 Instructor: Franck van Breugel, <franck@eecs.yorku.ca> Office Hours: Monday and Wednesday, 10:30-11:30 or by appointment, Lassonde Building, room 3046 Teaching assistant text/html 2007-07-31T18:42:03+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/textbook?rev=1185907323&do=diff Textbook You will require the following textbook for this course: * Jane Doe. Absolute Computing. Second edition. Addison Wesley, 2007. You may purchase this book through the York University Bookstore. text/html 2007-08-02T18:27:52+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2019-20/W/4315/whats_new?rev=1186079272&do=diff What's New? Here, you can list what's new in your course. 07-31-07 Assignment 1 is now due. If you have not submitted it, you will score 0. 07-28-07 Assignment 1 is coming due shortly. Please ensure that you submit it on time.