6.031
6.031 — Software Construction
Fall 2021

Project: ⭐️⚔️

Team contract due
Monday, November 22, 12:30pm
Iteration #0
Progress check-in on Wed Nov 24, due Mon Nov 29
Iteration #1
Progress check-in on Wed Dec 1, due Thu Dec 2
Project deadline
Friday, Dec 3, 10pm
Reflection deadline
Friday, Dec 3, 10pm

A blank Star Battle puzzle.
You can try this puzzle online.

Partially solved. Dots indicate
cells that must be empty,
given the 3 stars placed so far.

Mouse over or tap above
to show the solved puzzle!

In a Star Battle puzzle, a n×n grid is divided into n regions. To solve the puzzle, the player must find a placement of 2n stars such that each row, each column, and each region of the puzzle has exactly 2 stars, and no stars are vertically, horizontally, or diagonally adjacent. Other size variations are possible, but we’ll use 10×10 2-star puzzles for this project. We will also assume that valid puzzles have a single unique solution.

This logic puzzle was designed by Hans Eendebak in 2003. You can search the web for many more examples. Here is a site by Jim Bumgardner with tutorials, a web app, and pages and pages of Star Battle puzzle PDFs.

In this project, your group will construct a system that sends puzzles over the network and provides a graphical user interface for players to solve them.

The project will exercise many of the concepts you learned in class. You will implement a client/server architecture; you will use ParserLib to parse puzzles; and you will develop your own abstract datatypes to represent different aspects of the system. Most importantly, you will also practice working in a small group, using the software engineering techniques we have learned this semester.

Design Freedom

On this project, you have significant design freedom to choose the interfaces, classes, and method signatures you use in your code. Choose them wisely. You will be expected to use specs, tests, abstraction functions, rep invariants, safety arguments, checkRep and other assertions.

The specification in this handout constrains what your solution must do, but you will have many design questions that are not answered in this handout. You are free to come up with your own answers to these questions – just be reasonable, consistent, safe from bugs, easy to understand, and ready for change. You can always ask your TA mentor or on Piazza for advice, but there is unlikely to be a single hard-and-fast answer.

On this project, Didit will run only your own tests. As always, correctness is your responsibility, and you must rely on your own careful specification, testing, and implementation to achieve it.

Your team’s repository

To get started,

  1. One member of your team should ask Didit to create a remote projects/starb repository, which will create a single repository shared by all members of your team.

  2. Then all team members will be able to go to Didit, follow the link to your team repo page, and find the git clone command at top. Clone, npm install, and open in VS Code.

Overview

During the project, class meetings will be replaced by team work time. Your team is expected to meet and work together during these times.

Working separately

For several pieces of the project, two team members will independently do that piece, resulting in two different designs in iteration #0. The third member of the group will then be responsible for iterating on those designs and taking the next step on that part of the project in iteration #1. These tasks will be described in detail below.

Checking in

Your team will be assigned a TA mentor who will help you with your design and help you stay on track as you implement it. You are required to check in with your TA during every team work time class. At this check-in, each team member should be prepared to:

  • say what they have accomplished since the last check-in
  • say what they plan to accomplish by the next check-in
  • say what, if anything, is blocking their progress
  • show that their own working copy of the project is committed, pushed, and up to date with the remote repo

Use the check-in to review how each person’s plans fit together and decide how to resolve blocking problems.

Working together

Other than reflections at the end of the project, all parts of the project should be committed to the repository you share. Each commit to the repository should have a useful commit message that describes what you changed.

Use the code review skills you’ve practiced on Caesar to review one another’s code during the project. Caesar won’t have your project code loaded into it, however, so you can use in-person discussion or email for these reviews.

You are also strongly encouraged to try pair programming, where two people collaborate on a single computer, with one person watching over the other’s shoulder, or watching by videochat and screenshare. Pair programming is a skill that requires practice. Be patient: expect that pairing will mean you write code more slowly, because it’s like code review in real time, but the results are more correct, more clear, and more changeable. You can find plenty of advice on the Internet for how to structure your pairing.

Note that “pair programming” normally means just one keyboard, with one person driving (typing) and the other person in the backseat (code reviewing). So you are editing only one working copy, and committing the changes just once. When multiple people contribute to a commit, mention them in the commit message. Your TA will be reviewing the Git log to see individual contributions.

What we do in class with Constellation is a closer kind of collaboration than normal pair programming. Using Constellation during the project is possible but not encouraged, because it makes identical changes on two computers that require careful coordination to avoid merge conflicts. But if you really want to use Constellation, then before starting the collaboration, make sure both sides are in a clean state, with no uncommitted changes and fully in sync with the remote repo. After collaborating, both sides should commit the changes to their local repos, then push and pull until the commits are merged and both sides are again in a clean state. Note that you must be extremely disciplined to use Constellation and Git together successfully. Never walk away from a Constellation collaboration without cleaning up and getting merged.

In general, working together will be easier if you:

  1. pull every time you sit down to start working
  2. commit and push frequently
  3. don’t break the build! (don’t commit code that doesn’t compile)

High-level tasks

  • Team contract. Before you begin, write and agree to a team contract. This is due at the end of class on the day the project kicks off.

  • Understand the problem. Read the project specification on this page carefully.

  • Design. You will need to create abstract datatypes for various parts of your system, both client and server, and a grammar for parsing puzzles.

    Your software design is perhaps the most important part of the project: a good design will make it simpler to implement and debug your system. Remember to write clear specifications for classes and methods; define abstraction functions and rep invariants, and write checkRep; and document safety from rep exposure.

  • Iterate. Because of the short timeframe, the specification for how to iterate on this project is given to you by the staff. Design, test, and implement each piece, always working toward an end-to-end prototype. Then revisit your designs, improve the specifications, and test and implement more. And so on.

  • Test. You should write Mocha tests for the individual components of your system. Your test cases should be developed in a principled way, partitioning the spaces of inputs and outputs, and your testing strategy should be documented as we’ve been doing all along. Parts of your program may require manual testing, which you should document clearly as described in problem set 4.

  • Implement. Write implementation code so that your tests pass. Iterate on the design and tests as needed to make the system work.

  • Reflection. Individually, you will write a brief commentary saying what you learned from this project experience, answering the reflection questions. Your reflection may not exceed 300 words, and should be submitted to the reflection form.

Testing

Didit will compile your project and run your tests every time you push.

The testing page describes how this works, and how to exclude tests from execution if they cannot run on Didit. You are not required to run any of your tests on Didit, but your project must compile and have a green build on Didit in order to be graded. If it doesn’t build on Didit, your TA won’t be able to build it either.

The testing page also provides suggestions for how to test canvas drawing based on your work in Problem Set 3. For testing client/server communication, be sure to draw on your work in Problem Set 4.

Provided code

It’s fine to use any code provided in this semester’s class. For example:

Your initial Git repo includes:

iter0 directory
Each group member has a directory under iter0 for their work on iteration #0, since you may have files with the same names. Commit all iteration #0 work in those directories. After iteration #0, stop committing there and use src/ and test/ as usual.
StarbServer.ts
This file should start your server. Running npm run server will compile and run this file.
StarbClient.ts
startb-client.html
These files are your client user interface. Running npm run watchify-client will compile this TypeScript file and its dependencies, and automatically recompile whenever you edit the TypeScript. Opening starb-client.html in your web browser will run the code.
puzzles directory
Contains example Star Battle puzzle files that your system must be able to use.
kd-1-1-1.starb is the puzzle shown at the top of this handout.
ExamplePage.ts
example-page.html
A starting point for your user interface. Running npm run watchify-example will compile this TypeScript file, and opening example-page.html in your web browser will run the code and show you what it does.
README.md
Placeholder for project documentation. If you’re not sure your TA mentor will be able to find an iteration #0, iteration #1, or final project deliverable; or if there are instructions to run and use your project, document them here.

Since this assignment asks you to implement all the parsing, rendering, and game logic of our Star Battle puzzle system, remember that it is not appropriate to reuse any such components from an external source.

⭐️⚔️ Specification

Design, test, and implement a client/server Star Battle puzzle GUI.

Your system is only required to work for 10×10 2-star puzzles with unique solutions.

Until you have a complete working end-to-end implementation, your design freedom is limited. Items marked [for now] are requirements during iteration #0, iteration #1, and integration. Only once you have a complete working end-to-end system may you break these restrictions if it will improve your design, enable new features, etc.

Spec: Parser

Your system must be able to parse the provided example puzzles.

These provided puzzles are “solved”: the file indicates the locations of the stars in each region.

  • [for now] The same grammar and parser must also handle “blank” puzzles sent from server to client, described below.

  • You must use ParserLib.

  • Other than what appears in the examples, what other puzzle file syntax you accept or reject is entirely up to you.

  • Note that coordinates in the files are 1-indexed (row, col) from the top left of the puzzle.

  • And note that, unlike Problem Set 3, puzzles are not recursive, so you should not expect a recursive parser or AST.

Spec: ADTs

Your system must use an immutable puzzle ADT that can represent valid un-, partially-, and fully-solved puzzles. Its design is otherwise up to you.

Your client must use another client ADT to manage its state (for example, what puzzle is being played, using the puzzle ADT) and operations (for example, in reaction to user input). Its design is entirely up to you.

Naturally, you may have other ADTs that are used by those types, or for other purposes.

  • [for now] You must use the same immutable puzzle ADT on both server and client. Only the client uses the client ADT.

  • Note that clients and servers do not have shared memory, so they do not share instances of the puzzle ADT (or instances of the parser in the previous section). But you must use the same ADT type (and same parser class) in both parts of the system.

  • Unlike Problem Set 3, it is not required that every puzzle ADT instance (which includes partially-solved puzzles) have a parseable string representation (the parser is only required to handle “blank” and “solved”).

Spec: Server

The server must accept HTTP requests on port 8789 for puzzles identified by their filename.

It must transmit “blank” puzzles to the client: instead of listing star locations separately, all locations in each region should be listed as empty.

  • [for now] The server must not maintain any player or game state.

  • You must use express.

  • The particular URL(s) and spec(s) are entirely up to you.

  • Beyond sending blank puzzles, no other capabilities are required.

  • In particular, unlike Problem Set 4, the required spec does not include multi-player games. After fetching a puzzle, your client might be designed to proceed without ever contacting the server again.

Spec: Client

The client web page must: request a blank puzzle, display the puzzle on screen, allow the user to add stars that appear in the puzzle grid, and inform the user if and when they have solved the puzzle.

On startup, any instructions needed by the user should be shown on the web page.

The client must support clicking on the puzzle to add stars.

  • [for now] The client may use only canvas drawing, and may not use any other HTML elements.

  • [for now] The client must request and play the single puzzle given by the PUZZLE constant at the top of StarbClient.

  • The client may determine that the puzzle is solved on its own, or it may request a determination from the server.

  • No other interactions or capabilities are required (for example, marking empty cells or undoing stars is not required, even if they make solving more fun).

  • The particular graphical presentation is entirely up to you (for example, you could indicate regions with background colors instead of outlines, or draw smiley faces instead of stars).

  • Keep in mind that puzzle files have (row, col) coordinates, not (x, y) coordinates.

Spec: Extensions

This project is an opportunity to practice working together in a group, and an opportunity to demontrate your ability to write code that is safe from bugs, easy to understand, and ready for change.

But if you have a working system that demonstrates those properties, we encourage you to extend it! Some features you might consider…

  • Marking cells as empty while you solve, and undoing the placement of stars.

  • Requesting a list of available puzzles from the server and picking one to solve.

  • Awesome animation to celebrate a successfully-solved puzzle.

  • Asking for a hint, e.g. highlighting stars or cells the user should pay attention to.

  • Handling variations other than 10×10 2-star puzzles.

Make sure you still satisfy the required spec, but you are permitted to break the [for now] requirements as long as you have already specified, tested, and implemented a complete end-to-end system.

Dividing the work

Every team member must not only make a substantial contribution to the project, but every team member must make a concrete contribution to every major component of the project.

Contributions include writing specifications, writing testing strategy, writing tests, prototyping, writing internal docs, writing implementation code, fixing bugs, and giving code review feedback. Contributions you work on as a pair or a whole team are great, as long as everyone is involved.

Because of the short timeframe for the project, the staff has specified a breakdown of tasks you must follow. The description in this section is in reverse chronological order because the assignment of tasks for iteration #1 determines who does what for iteration #0.

Last: integration, refactoring, extensions

As team members complete their iteration #1 tasks assigned below, everyone should work together to integrate them. When you have a complete working system, revise and refactor to make it as safe from bugs, easy to understand, and ready for change as you can. Only if you have time, consider implementing some of the extensions suggested above or ideas of your own.

Iteration #1

Fill in names in the boxes below to plan the division of work on different modules of your system as described in the spec. Record your decisions in your team contract.

You are required to divide the work such that every team member makes several different kinds of contributions. Assign iteration #1 of these components, with two tasks per group member, such that no person is mentioned more than once in each row or column:

(That is: puzzle ADT, parser, and drawing must be divided among all three group members, and so on.)

As you fill in names, the page will automatically assign iteration 0 tasks below.

Nobody assigned yet.

Puzzle ADT: Parser: Drawing:
Server: Client ADT:
Interaction:
Puzzle ADT
the ADT(s) for representing puzzles on both the client and server
Parser
parser for puzzles read from a file and sent from server to client
Server
HTTP server for sending puzzles to clients
Client ADT
the ADT(s) for representing client state
Drawing
function(s) or type(s) for drawing puzzles
Interaction
function(s) or type(s) to drive client interaction with server and user

This assignment is only for iteration #1 of these components. Subsequently, any and all group members might contribute to further iteration on the specs, tests, and implementation of these pieces.

First: iteration #0

Before iteration #1, for each of these pieces, both other group members will complete an iteration #0 in parallel:

(That is: both group members who are not the person assigned to puzzle ADT iteration #1 above must be assigned to puzzle ADT specs + t.s. iteration #0 below; and so on. Here “t.s.” means a testing strategy that partitions inputs/outputs.)

The page will automatically assign these tasks if you fill in iteration #1 above.

Puzzle ADT
specs + t.s.:
Grammar: Drawing
prototype:
Web API
+ t.s.:
Client ADT
specs + t.s.:
Integration
t.s. + tests:
Puzzle ADT specs + t.s.
specs and testing strategy for puzzle ADT (no choosing tests or implementing)
Grammar
single grammar for “blank” and “solved” puzzles (no testing or implementation)
Web API + t.s.:
specs for client/server communication and testing strategy (no puzzle grammar, choosing tests, or implementation)
Client ADT specs + t.s.
specs and testing strategy for client ADT (no choosing tests or implementing)
Drawing prototype
hard-coded drawing of different puzzle components (not using puzzle or client ADTs)
Integration t.s. + tests
plan for manual testing of entire client/server system (partitions and outline of manual test cases)

These iteration #0 tasks should be done independently, in parallel by both of the group members assigned to them, resulting in two different specs, testing strategies, pieces of code etc.

And they should be done quickly: after reading this handout and understanding the spec, spend no more than one hour on each iteration #0 task. The group member assigned to work on iteration #1 will… iterate!

It should come as no surprise that these tasks are almost entirely about specifications and testing. Even the drawing prototype is offering a visual specification of what your puzzles might look like, while also exploring some of the newer and less-familar JavaScript APIs you will use on the project.

Each group member should commit their iteration #0 work in the directory under iter0 with their username: e.g. alyssap works in iter0/alyssap/. After iteration #0, leave those files where they are, and use src/ and test/ for iteration #1 and beyond.

  • For the drawing prototype: you can write the iter0 code by editing ExamplePage.ts, running npm run watchify-example, and viewing in example-page.html. But don’t commit there: copy and commit your work under your username directory in iter0, so you don’t create conflicts. Ask your TA mentor if you need advice.

Deliverables and grading

Iteration #0 progress check-in

At the iteration #0 check-in (Wed Nov 24), everyone should have completed at least two out of four of their iteration #0 tasks, with plans to finish any remaining tasks by the day after the break (Mon Nov 29). Both iteration #0 tasks for a component must be done and committed to the project repo before the team member assigned to iteration #1 of that component starts their work.

Remember that none of these things are close to final yet! Spend no more than about one hour on each of these tasks, and let your teammates know when they can look at your work.

Iteration #1 progress check-in

At the iteration #1 check-in (Wed Dec 1), everyone should have substantial progress at least one out of two of their iteration #1 tasks, with plans to finish any remaining tasks by the next day (Thu). You should demonstrate as many individual or connected-together parts of the system as you have working.

You should have a first (or for items covered by iteration #0, second) draft of grammars, specs, automated & manual tests, datatype definitions, rep invariants, abstraction functions, and equals/toString defined where appropriate. Remember once again that none of these things are final yet!

If you are having trouble, seek help early.

Schedule

Mon Nov 22, 11-12:30
Initial check-in meeting with your TA mentor. Use this opportunity to ask questions about the project specification, tasks, or schedule.
Mon Nov 22, 12:30pm
(end of class)
Your team contract must be committed to your group repository in a PDF file called team-contract.pdf in the top level of your repo. It should clearly describe the assignment of tasks as outlined above, according to the requirements.
Wed Nov 24, 11-12:30
Iteration #0 progress check-in meeting. You should discuss progress, plans, and blockers on iteration #0 tasks. By Mon Nov 29 at the latest, you should be done with iteration #0.
Mon Nov 29, 11-12:30
Check-in meeting. You should discuss progress, plans, and blockers. If you are ahead of the required schedule, this may be your iteration #1 progress check-in meeting.
Wed Dec 1, 11-12:30
Iteration #1 progress check-in meeting. You should discuss progress, plans, and blockers on iteration #1 tasks. By Thu Dec 2 at the latest, you should be done with iteration #1.
Fri Dec 3, 11-12:30
Final check-in meeting with your TA mentor. You should demonstrate your project working end-to-end, and discuss specific plans for any work needed to complete the project by 10pm.
Fri Dec 3, 10pm
Project deadline. Your specifications, tests, and implementation should be complete and committed to your group’s repository by this deadline.
Fri Dec 3, 10pm
Reflection deadline. Individually, you should write a brief reflection and submit it using the reflection form. Your reflection should be at most 300 words of plain text.

Grades will be determined according to the following breakdown:

  • Team contract: 5%
  • Design: 30%
  • Implementation: 35%
  • Testing: 25%
  • Reflection: 5%

Check-ins with your TA mentor are also graded as binary checkoffs, either passed or missed, based on whether all team members are prepared and participate in the meeting. Missing a check-in costs up to 5 points on the overall project grade. You will check in with your mentor in all five class times during the project.


Additional pages referenced above

Team contract

Testing

TypeScript in the web browser

Reflection