Hi all,

I would propose the following projects for GSoC:

--------------------------------------------------------------------------------------------------------------

1. Acceptance Test Framework

Acceptance tests support developers not only in checking entire requirements but also show customers that their system works as expected. As these customers often have no knowledge about the Smalltalk programming language, business-readable domain-specific languages (like Cucumber) help them to understand which requirement is tested. For example, an acceptance test can look like follows: 

Given an authenticated user
When he clicks on the logout button
Then the system starts over with the welcome page

As part of this project, students should implement such a domain-specific language for acceptance tests in Smalltalk and integrate it into the Squeak IDE. Furthermore, they should connect the new acceptance tests with frameworks such as Morphic or Seaside. 

Website:
http://cukes.info/

Skill: Advanced
Mentor: Michael Perscheid (michaelperscheid at googlemail.com)

--------------------------------------------------------------------------------------------------------------

2. Smalltalk Likely Invariants with Daikon

"Daikon is an implementation of dynamic detection of likely invariants; that is, the Daikon invariant detector reports likely program invariants. An invariant is a property that holds at a certain point or points in a program; these are often seen in assert statements, documentation, and formal specifications. Invariants can be useful in program understanding and a host of other applications.”

In this project, students should implement a mapping from the Smalltalk programming language to the Daikon invariant detector. Furthermore, they should integrate detected likely invariants as automatically generated contracts as part of our test-driven fault navigation and so further enhance the debugging experience in Squeak. 

Website: 
http://plse.cs.washington.edu/daikon/
http://michaelperscheid.de/projects/index.html#testDrivenFaultNavigation

Skill: Advanced in Smalltalk and Java
Mentor: Michael Perscheid (michaelperscheid at googlemail.com)

--------------------------------------------------------------------------------------------------------------

Best regards,
Michael

On 11.02.2014, at 18:03, Bert Freudenberg <bert at freudenbergs.de> wrote:

> (sending on behalf of Paolo Bonzini, who runs this year's Smalltalk GSoC)
> 
> Hi folks,
> 
> ESUG, the European Smalltalk User Group, is applying for this year's Google Summer of Code.  As you probably know, the Summer of Code provides the opportunity to fund students to work during the summer on Smalltalk.  Please reply to this email (be sure to use "Reply to all") if you have ideas you would like to propose.
> 
> Please include a summary of the project and links to web pages that can help prospective students to write their application. Please also include the following information:
> 
> - if applicable, other dialects that you would be willing to mentor this project for
> 
> - the skill level
> 
> - name of the mentor(s), email addresses, and possibly any IRC network/channel/nickname where they can be found.
> 
> Thanks for contributing to ESUG's Summer of Code application!
> 
> - Bert - 
> 
> 
> 

---
Dr.-Ing. Michael Perscheid
michaelperscheid at googlemail.com

http://www.michaelperscheid.de/