...
Technology/approach for runtime verification (https://en.wikipedia.org/wiki/Runtime_verification) will depend heavily on the results on the "constructive" side - we do not want to make a commitment on this at this point.
Learning Objectives
- Hyperledger Fabric chaincode programming (if that's not already in the candidate's toolbox)
- Experiment planning and evaluation
- Working under guidance and collaborating using open-source tools
- Analytic thinking - and also thinking a bit out of the box
Expected Outcome
- A representative ("towards a benchmark") set of smart contract functionality and their key variations, defined in natural language (various token contracts, cross-organizational processes, data recording, etc.).
- A set of (possibly branching) natural language conversation scripts, and a report on evaluating the capabilities and shortcomings of a selected (expected to be best-of-breed) generative approach.
- A set of functionally equivalent specifications in a structured approach (we expect this to be a variant of BDD, but there are other options to try).
- A report on evaluating the capabilities and shortcomings of the structured approach on the selected (expected to be best-of-breed) generative approach, and comparison with the "conversational" approach.
- At least expected: specification-compliance runtime checking code for the cases of the structured approach (determining the checked properties and a coverage goal is part of the work).
- In optimal case: automatically generated checker code.
Relation to Hyperledger
Hyperledger Fabric.
Mentee Skills
This project does not really need significant existing credentials; curiosity is the key factor. That said, basic experience in programming and knowledge of requirement-driven development approaches is needed.
Mentee Open Source Contribution Experience
...