EECS4315

Weekly Calendar

Anonymous (anonymous@undisclosed.example.com) — 2017-04-05T01:42:36+00:00

Weekly Calendar January 6 Title: Bugs are everywhere Reading material: page 1-2, 4-6 of the textbook Slides: [lecture1.pdf] January 9 Title: Testing on steriods Reading material: JUnit website Slides: [lab1.pdf] Lab: Lab 1 January 11 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?

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-01-30T13:50:38+00:00

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

Lab 2

Anonymous (anonymous@undisclosed.example.com) — 2017-01-30T13:51:04+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 4

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

LAB 4 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 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) — 2017-02-18T20:32:02+00:00

Lab 7 The beam search strategy uses the breadth-first search strategy to build its state space. At each level of the search tree, it generates only a limited number of successors of the states at the current level. To simplify matters, we limit that number to two. In general, the beam search strategy would pick the two

Lab 8

Anonymous (anonymous@undisclosed.example.com) — 2017-03-03T15:55:52+00:00

Lab 8 Consider the following app. * Develop a model class so that the above app can be verified with JPF. This Wikipedia page might be helpful. * Develop a native peer so that the above app can be verified with JPF. To receive feedback, submit your code using the submit command before Tuesday March 7:

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:

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.

Part 1 of Project

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

Part 1 of Project Install JPF on your laptop. On Monday, bring your laptop to the lab and show the TA how to run JPF. Java code, to be checked by JPF, will be provided on Monday. If you have correctly installed JPF and you can run JPF successfully on the provided code, then you will receive 5% towards the mark for your project (40% in total). Otherwise, you can try again next week (1% penalty per week).

Projects

Anonymous (anonymous@undisclosed.example.com) — 2017-01-06T16:51:55+00:00

Projects Below you find a very brief overview of the projects that students did last year. Java PathFinder Memory Tools The goal of this extension of JPF, named jpf-jmt, is to provide accurate reporting of memory usage. Circle Game Puzzle Solver & Generator

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) — 2017-01-30T13:49:40+00:00

Quiz 2 The second quiz will be about material covered in the period January 13-25. Definitions will be available during the quiz. No other material may be consulted during the quiz.

Quiz 3

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

Quiz 3 The third quiz will be about listeners (the material covered in lab 5 and lectures 7-9). Slides of lectures 7-9 as well as the posted notes will be available during the quiz. No other material may be consulted during the quiz. You will be asked to implement a listener. Not only correctness but also design and style will be considered when evaluating your work.

Quiz 4

Anonymous (anonymous@undisclosed.example.com) — 2017-03-07T15:14:16+00:00

Quiz 4 The fourth quiz will be about model classes and native peers (the material covered in lab 8 and lectures 13-14). Slides of lectures 13-14 as well as the posted notes will be available during the quiz. No other material may be consulted during the quiz. You will be asked to implement a model class and a native peer. 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-04-16T15:31:53+00:00

Mission Critical Systems Siraj, Glib, Abasifreke, Anton, Dev, Alexander, Franck, Mina

Course Syllabus

Anonymous (anonymous@undisclosed.example.com) — 2017-02-15T01:09:18+00:00

Course Syllabus Lectures Time: Wednesday and Friday, 9:00-10:30 Location: Chemistry Building, room 120 Instructor: Franck van Breugel, Office Hours: Wednesday, 10:30-11:30, Lassonde Building, room 3046 Labs Time: Monday, 11:00-12:00 Location: Lassonde Building, lab 1006C

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.