EECS4315

Weekly Calendar

Anonymous (anonymous@undisclosed.example.com) — 2018-11-19T20:45:25+00:00

Weekly Calendar January 4 Title: Bugs are everywhere Reading material: page 1-2, 4-6 of the textbook Slides: [lecture1.pdf] January 5 Title: Testing on steroids Reading material: JUnit website Slides: [lab1.pdf] Lab: Lab 1 January 9 Title: Testing on steriods Reading material:

Contact

Anonymous (anonymous@undisclosed.example.com) — 2007-08-01T13:57:34+00:00

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

Course Outline

Anonymous (anonymous@undisclosed.example.com) — 2007-07-31T19:53:17+00:00

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

Frequently Asked Questions

Anonymous (anonymous@undisclosed.example.com) — 2007-08-01T14:34:50+00:00

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?

Anonymous (anonymous@undisclosed.example.com) — 2018-03-24T14:38:14+00:00

The final exam will be about all the material covered in the course, 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 final exam.

Forums

Anonymous (anonymous@undisclosed.example.com) — 2007-08-02T17:22:57+00:00

Forums This page acts as a future placeholder for a link to a forum system.

Grades

Anonymous (anonymous@undisclosed.example.com) — 2007-08-03T19:04:58+00:00

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:

Important Dates

Anonymous (anonymous@undisclosed.example.com) — 2007-07-31T17:53:24+00:00

Important Dates Here, you would list important dates for your course. * Sept 1 - Assignment 1 Due * Oct 1 - Course finished

Lab 1

Anonymous (anonymous@undisclosed.example.com) — 2017-12-31T17:16:59+00:00

Lab 1 Write a JUnit test case to test the class Boolean, whose API can be found here. The JAR for the Boolean class can be found here. To receive feedback, submit your test case using the submit command before Monday January 8: submit 4315 lab1 BooleanTest.java

Lab 2

Anonymous (anonymous@undisclosed.example.com) — 2018-01-02T22:03:17+00:00

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}

Anonymous (anonymous@undisclosed.example.com) — 2017-01-23T01:19:22+00:00

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.

LAB 3

Anonymous (anonymous@undisclosed.example.com) — 2018-01-23T02:56:36+00:00

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/

Lab 4

Anonymous (anonymous@undisclosed.example.com) — 2018-01-23T16:18:30+00:00

Lab 4 Implement a listener, named ArrayListener, that counts the number of reads and writes of array cells within the main method of an app. 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.

Lab 5

Anonymous (anonymous@undisclosed.example.com) — 2017-02-02T02:48:58+00:00

Lab 5 Create a listener, named RandomDetector, which prints Random! whenever a Random object is created. To receive feedback, submit your listener using the submit command before Tuesday February 7: submit 4315 lab5

Anonymous (anonymous@undisclosed.example.com) — 2016-02-08T22:33:49+00:00

Implement a simplified version of breadth first search. Implement it in a class called BFSearch. Only add notifications related to SearchListeners (no need for dealing with the attribute done, etcetera).

Lab 7

Anonymous (anonymous@undisclosed.example.com) — 2018-03-11T23:19:37+00:00

Lab 7 In this lab, we consider a concurrent stack. We start from the following skeleton of a sequential stack. Note that the class Stack does not implement a stack correctly. /** * A stack. It stores integers. * * @author */ public class Stack { private int[] content; private int size; /* * The maximal number of integers that can be stored in a stack. */ private final static int CAPACITY = 5; /** * Initializes this stack to be empty. */ public Stack() { th…

Lab 6

Anonymous (anonymous@undisclosed.example.com) — 2018-02-25T15:00:35+00:00

Lab 6 Consider the following app. public class Main { public static void main(String[] args) { System.out.println(StrictMath.cbrt(4.4)); } } If we run JPF with the following configuration file target=Main classpath=(directory that contains Main.class)

Lab 10

Anonymous (anonymous@undisclosed.example.com) — 2017-03-17T22:23:45+00:00

Lab 10 In 1994, John Trono introduced the Santa Claus problem. Its description can be found in John Trono. A new exercise in concurrency. ACM SIGCSE Bulletin, 26(3):8-10, September 1994. Implement a solution in Java. To receive feedback, submit your test case using the submit command before Tuesday March 21:

Anonymous (anonymous@undisclosed.example.com) — 2018-02-16T15:07:39+00:00

The midterm will be about all the material covered before the reading week, 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.

Policies

Anonymous (anonymous@undisclosed.example.com) — 2007-07-31T18:55:53+00:00

Policies Here, you can list specific course policies. Academic Dishonesty For more information on Academic Dishonesty, click here.

Anonymous (anonymous@undisclosed.example.com) — 2018-04-15T22:38:14+00:00

For those students who choose to participate, submit your project before Monday April 23. Please combine all relevant files in one zip file and submit that file using the submit command: submit 4315 project

Part 1 of Project

Anonymous (anonymous@undisclosed.example.com) — 2018-01-31T02:31:23+00:00

Part 1 of Project Install JPF on your laptop. On Friday February 2, bring your laptop to the lab and show the TA 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 (30% in total). Otherwise, you can try again next week (1% penalty per week).

PROJECT

Anonymous (anonymous@undisclosed.example.com) — 2018-02-28T16:46:38+00:00

PROJECT Submit a draft of your project proposal before Wednesday February 21 here. Select 4315 as course and draft as assignment. If you submit your draft proposal before the deadline you will receive 2% towards the mark for your project (30% in total). There is a late penalty of 1% penalty per day. A sample of a draft proposal can be found

PROJECT

Anonymous (anonymous@undisclosed.example.com) — 2018-02-28T16:46:19+00:00

PROJECT Submit the final version of your project proposal before Wednesday February 28 here. Select 4315 as course and proposal as assignment. If you submit your proposal before the deadline you will receive 3% towards the mark for your project (30% in total). There is a late penalty of 1% penalty per day. Late submissions should be sent to the instructor by email.

Projects

Anonymous (anonymous@undisclosed.example.com) — 2017-10-30T20:10:47+00:00

Projects Below you find a very brief overview of the projects that students did the last two years. Extension of jpf-jmt The goal is to extend jpf-jmt (see below) with * state space graph listener which prints graph with memory usage at each state

Quiz 1

Anonymous (anonymous@undisclosed.example.com) — 2017-01-30T13:51:32+00:00

Quiz 1 The first quiz will be about testing (the material covered in lab 1 and lecture 2). Slides of lab 1 and 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

Quiz 2

Anonymous (anonymous@undisclosed.example.com) — 2018-02-07T01:26:16+00:00

Quiz 2 The second quiz will be about JPF (the material lecture 4-9). Slides of lecture 4-9 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. You will be asked to implement listeners. Not only correctness but also design and style will be considered when evaluating your work.

Quiz 3

Anonymous (anonymous@undisclosed.example.com) — 2018-02-16T15:21:03+00:00

Quiz 3 The third quiz will be about JPF (the material lecture 10-13). Slides of lecture 10-13 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.

Quiz 4

Anonymous (anonymous@undisclosed.example.com) — 2018-03-23T00:59:42+00:00

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.

Quiz 5

Anonymous (anonymous@undisclosed.example.com) — 2017-03-25T22:01:27+00:00

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.

Quiz 6

Anonymous (anonymous@undisclosed.example.com) — 2017-03-18T13:11:28+00:00

Quiz 6 The sixth quiz will be about material covered March 29. No material may be consulted during the quiz.

Resources

Anonymous (anonymous@undisclosed.example.com) — 2007-07-31T18:59:29+00:00

Resources Use this page to list additional Resources that may be helpful to your students. * Department of CSE Home Page * York Exam Schedule

Anonymous (anonymous@undisclosed.example.com) — 2024-03-08T14:02:31+00:00

* Weekly Calendar * Course Syllabus

Mission Critical Systems

Anonymous (anonymous@undisclosed.example.com) — 2017-10-30T19:41:28+00:00

Mission Critical Systems

Course Syllabus

Anonymous (anonymous@undisclosed.example.com) — 2018-02-15T18:23:35+00:00

Course Syllabus Lectures Time: Tuesday and Thursday, 9:00-10:30 Location: Stong College, room 203 Instructor: Franck van Breugel, Office Hours: Tuesdays and Thursdays, 10:30-11:30 or by appointment, Lassonde Building, room 3046 Labs Time: Friday, 10:00-11:00

Textbook

Anonymous (anonymous@undisclosed.example.com) — 2007-07-31T18:42:03+00:00

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.

What's New?

Anonymous (anonymous@undisclosed.example.com) — 2007-08-02T18:27:52+00:00

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.