Erlang Workshop最新文献_第4页

Using Erlang to implement a autonomous build and distribution system for software projects 使用Erlang实现软件项目的自主构建和分发系统

Erlang Workshop Pub Date : 2010-09-30 DOI: 10.1145/1863509.1863522

Tino Breddin

引用次数: 0

Teaching Erlang using robotics and player/stage 使用机器人和player/stage教授Erlang

Erlang Workshop Pub Date : 2009-09-05 DOI: 10.1145/1596600.1596606

Sten Grüner, Thomas Lorentsen

引用次数: 3

Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck 基于模型的数据约束测试:使用Quviq QuickCheck测试Mnesia应用程序的业务逻辑

Erlang Workshop Pub Date : 2009-09-05 DOI: 10.1145/1596600.1596611

Nicolae Paladi, T. Arts

{"title":"Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck","authors":"Nicolae Paladi, T. Arts","doi":"10.1145/1596600.1596611","DOIUrl":"https://doi.org/10.1145/1596600.1596611","url":null,"abstract":"Correct implementation of data constraints, such as referential integrity constraints and business rules is an essential precondition for data consistency. Though most modern commercial DBMSs support data constraints, the latter are often implemented in the business logic of the applications. This is especially true for non relational DBMS like Mnesia, which do not provide constraints enforcement mechanisms. This case study examines a database application which uses Mnesia as data storage in order to determine, express and test data constraints with Quviq QuickCheck, adopting a model-based testing approach. Some of the important stages of the study described in the article are: reverse engineering of the database, analysis of the obtained database structure diagrams and extraction of data constraint, validation of constraints, formulating the test specifications and finally running the generated test suits. As a result of running the test suits randomly generated by QuickCheck, we have detected several violations of the identified and validated business rules. We have found that the applied methodology is suitable for applications using non relational, unnormalized databases. It is important to note the methodology applied within the case study is not bound to a specific application or DBMS, and can be applied to other database applications.","PeriodicalId":140676,"journal":{"name":"Erlang Workshop","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121485478","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 8

ECT: an object-oriented extension to Erlang ECT: Erlang的面向对象扩展

Erlang Workshop Pub Date : 2009-09-05 DOI: 10.1145/1596600.1596608

G. Fehér, A. G. Békés

{"title":"ECT: an object-oriented extension to Erlang","authors":"G. Fehér, A. G. Békés","doi":"10.1145/1596600.1596608","DOIUrl":"https://doi.org/10.1145/1596600.1596608","url":null,"abstract":"To structure the code of an Erlang program, one can split it into modules. There are also available some basic data structures: lists, records and tuples. However, there are no fully functional classes that encapsulate data and functionality, and can be extended with inheritance. We think these features could promote code reuse in certain cases, therefore we decided to extend the language with object-oriented capabilities. A strong evidence of the usability of this is the fact that part of the program itself was rewritten using our newly created language elements, and the new version was simpler and cleaner than the original Erlang one. Our main goals were to preserve the single-assignment nature of Erlang and to keep method-call and value-access times constant. It was also a priority to make the extension easily installable, to reach as much developers as possible. For this, we avoided changes in the Erlang compiler itself. Instead, we created the extension as a parse transformation1 . In our implementation a class is a module that contain the methods, and a record type whose instances are the object instances. Both methods and fields can be inherited. We also examined the currently available other object-oriented extensions for Erlang, and compared them with ours. Our implementation has strong advantages, but it also lacks some features. Compatibility with records and speed are the main advantages. In this paper - among describing and comparing our extension - we also show the possible ways of adding the missing features.","PeriodicalId":140676,"journal":{"name":"Erlang Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127507979","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

Development of a distributed system applied to teaching and learning 分布式教与学系统的开发

Erlang Workshop Pub Date : 2009-09-05 DOI: 10.1145/1596600.1596607

Hugo Cortés, Mónica García, Jorge Hernández, M. Hernández-Gutiérrez, Esperanza Pérez-Cordoba, Erik Ramos

引用次数: 2

Automatic testing of TCP/IP implementations using QuickCheck 使用QuickCheck自动测试TCP/IP实现

Erlang Workshop Pub Date : 2009-09-05 DOI: 10.1145/1596600.1596612

J. París, T. Arts

引用次数: 8

Automated module interface upgrade 自动化模块接口升级

Erlang Workshop Pub Date : 2009-09-05 DOI: 10.1145/1596600.1596603

L. Lövei