2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC)最新文献

筛选

英文中文

A Low-Cost Chlorophyll Fluorescence Sensor System 一种低成本叶绿素荧光传感器系统

2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC) Pub Date : 2016-11-01 DOI: 10.1109/SBESC.2016.036

Christopher J. Gull, Minko T. Minkov, E. G. Pereira, J. Nacif

引用次数: 6

JFORTES: Java Formal Unit TESt Generation Java正式单元测试生成

2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC) Pub Date : 2016-11-01 DOI: 10.1109/SBESC.2016.012

Larissa Bentes, Herbert Rocha, E. Valentin, R. Barreto

{"title":"JFORTES: Java Formal Unit TESt Generation","authors":"Larissa Bentes, Herbert Rocha, E. Valentin, R. Barreto","doi":"10.1109/SBESC.2016.012","DOIUrl":"https://doi.org/10.1109/SBESC.2016.012","url":null,"abstract":"The use of computer-based systems has increased significantly over the last years in several domains, mainly when we take into account the applications running on mobile platforms that have exploded in just a few short years, so that software verification and testing now play an important role in ensuring the overall product quality. In this paper, we describe the preliminary results of a work that presents a method to integrate formal verification techniques adopting ESC/Java2 and JCute tools with unit testing by TestNG framework to verify Java programs. This method aims to extract the safety properties generated by ESC/Java2 to automatically generate test cases using the rich set of assertions provided by the TestNG framework and JCute to validate those test cases. It is worth noting that is widely recognized that there is a growing need for automated testing techniques aimed at mobile applications, in platforms, such as: Android or Java Platform, Micro Edition (Java ME). Additionally, a critical challenge is the systematic generation of test cases. We show preliminary results of our proposed method over publicly available benchmarks, and compare the results to recognized tools, e.g., CBMC and JavaPathFinder. Experimental results show that our proposed method detects 86.04% of correct results (i.e., if a property satisfy its specification or is violated), while CBMC has found 79.06%, and JPF has found 93,02%.","PeriodicalId":336703,"journal":{"name":"2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126477881","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}

引用次数: 2

首页上一页