Domain-Specific Program Checking

Transcript

1. Domain-Specific Program Checking Lukas Renggli, Stéphane Ducasse, Tudor Gîrba, Oscar Nierstrasz
2. Web Application Framework
3. 14000 16000 18000 Seaside 2.6 Seaside 2.7 Seaside 2.8 Seaside 2.8.1 Seaside 2.8.2 Seaside 2.8.3 Seaside 2.9a1 Seaside 2.9a2 Seaside 2.9a3 LOC
4. 1 2 3 4 Lint 14000 16000 18000 Seaside 2.6 Seaside 2.7 Seaside 2.8 Seaside 2.8.1 Seaside 2.8.2 Seaside 2.8.3 Seaside 2.9a1 Seaside 2.9a2 Seaside 2.9a3 LOC
5. 1 2 3 4 Lint ??? 14000 16000 18000 Seaside 2.6 Seaside 2.7 Seaside 2.8 Seaside 2.8.1 Seaside 2.8.2 Seaside 2.8.3 Seaside 2.9a1 Seaside 2.9a2 Seaside 2.9a3 LOC
6. <a href="...">Remove Task 1</a> <br /> <a href="...">Remove Task 2</a> <br /> <a href="...">Remove Task 3</a> <br />
7. renderTasksOn: html tasks do: [ :task | html anchor with: 'Remove Task ' , task number; callback: [ tasks remove: task ]. html break ]
8. renderTasksOn: html tasks do: [ :task | html anchor with: 'Remove Task ' , task number; callback: [ tasks remove: task ]. html break ] Modifies collection while iterating over it
9. ‣ HTML generation ‣ Javascript generation ‣ Composition definition ‣ Control flow ‣ Application configuration Internal Domain- Specific Languages
10. 1 2 3 4 Lint ??? 14000 16000 18000 Seaside 2.6 Seaside 2.7 Seaside 2.8 Seaside 2.8.1 Seaside 2.8.2 Seaside 2.8.3 Seaside 2.9a1 Seaside 2.9a2 Seaside 2.9a3 LOC
11. Generic (Lint) Program Checker
12. Generic (Lint) Program Checker Architecture Checker
13. Generic (Lint) Program Checker Domain-Specific Program Checker Architecture Checker
14. 30 Domain-Specific Rules ‣ Possible Bugs ‣ Bad Style ‣ Suboptimal Code ‣ Non-Portable Code
15. renderTasksOn: html tasks do: [ :task | html anchor with: 'Remove Task ' , task number; callback: [ tasks remove: task ]. html break ] #with: has to be last message in cascade
16. renderTasksOn: html tasks do: [ :task | html anchor callback: [ tasks remove: task ]; with: 'Remove Task ' , task number. html break ]
17. 1 2 3 4 Lint 14000 16000 18000 Seaside 2.6 Seaside 2.7 Seaside 2.8 Seaside 2.8.1 Seaside 2.8.2 Seaside 2.8.3 Seaside 2.9a1 Seaside 2.9a2 Seaside 2.9a3 LOC
18. 1 2 3 4 Lint Slime 14000 16000 18000 Seaside 2.6 Seaside 2.7 Seaside 2.8 Seaside 2.8.1 Seaside 2.8.2 Seaside 2.8.3 Seaside 2.9a1 Seaside 2.9a2 Seaside 2.9a3 LOC
19. Designed for Framework Development
20. Now used for Application Development
21. 69% developers state “Slime produces more relevant results than Lint”
22. 81% developers state “Slime helped me to detect critical bugs”
24. Generic (Lint) Program Checker Domain-Specific Program Checker Architecture Checker
25. Magritte Metamodel
26. Person username birthday Description accessor label required priority * description * description
27. Person username birthday Description accessor label required priority * description * description model
28. Person username birthday Description accessor label required priority * description * description model metamodel
29. Person username birthday Description accessor label required priority * description * description model metamodel <<described by>>
30. Person username birthday Description accessor label required priority * description * description model metamodel <<described by>> meta-metamodel
31. Person username birthday Description accessor label required priority * description * description model metamodel <<described by>> meta-metamodel <<described by>>
32. Person class>>descriptionUsername ^ StringDescription new accessor: #username; beRequired; default: nil; yourself Person username birthday Description accessor label required priority * description * description
33. Description class>>descriptionLabel ^ StringDescription new accessor: #label; label: ‘Label’; beRequired; yourself Person username birthday Description accessor label required priority * description * description
34. Generic (Lint) Program Checker Domain-Specific Program Checker Architecture Checker
35. Generic (Lint) Program Checker Domain-Specific Program Checker Architecture Checker Domain-Specific Model Checker
36. Person class>>descriptionUsername ^ StringDescription new accessor: #username; beRequired; default: nil; yourself Person username birthday Description accessor label required priority * description * description
37. Person class>>descriptionUsername ^ StringDescription new accessor: #username; label: ‘Username’; beRequired; default: nil; yourself Person username birthday Description accessor label required priority * description * description
38. Person class>>descriptionUsername ^ StringDescription new accessor: #username; label: ‘Username’; beRequired; default: nil; yourself Person username birthday Description accessor label required priority * description * description #label is a required value
39. Invalid default value Person class>>descriptionUsername ^ StringDescription new accessor: #username; label: ‘Username’; beRequired; default: nil; yourself Person username birthday Description accessor label required priority * description * description
40. 70000 Lines of Code 1100 Classes 300 Described Classes 12000 Methods
41. 70000 Lines of Code 1100 Classes 300 Described Classes 12000 Methods 500 Magritte Issues
43. Implementation
44. Extends existing Program-Checker
45. Parse Tree Matching
46. scg.unibe.ch/research/helvetia
47. Declarative Rule System
48. Generic (Lint) Program Checker Domain-Specific Program Checker Architecture Checker Domain-Specific Model Checker Domain-Specific Program Checking