Loading...
Please wait, while we are loading the content...
Similar Documents
Verifying properties of RefactorErl-transformations using
| Content Provider | Semantic Scholar |
|---|---|
| Author | Deckers, Eva |
| Copyright Year | 2010 |
| Abstract | At the moment there exists no official tool for refactoring Erlang code. To this end the Programming Languages and Compilers department of the Eötvös Loránd University in Budapest is working on such a tool called RefactorErl. It is of utter importance that this tool is correct, or it might cause defects in critical systems, and should therefore be thoroughly verified (e.g. testing, formal proofs). To this end I have researched how to more strictly define the system’s current natural language specification, which decreases room for misinterpretation and enables for new means of testing (e.g. formal proofs). Also, in order to check applicability of model based testing, I defined a few model based tests using QuickCheck, which have revealed a few minor problems. All-in-all the paper gives a structured and thorough testing approach that can be applied in the future to increase the quality of the code. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.ru.nl/publish/pages/769526/verifying_properties_of_refactorerl-transformations_-_ely_deckers.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
