JAMAICA 2013最新文献

Practical experience and evaluation of continuous code static analysis with C++Test 用c++ Test进行连续代码静态分析的实践经验和评价

JAMAICA 2013 Pub Date : 2013-07-15 DOI: 10.1145/2489280.2489290

Vincenzo Ciriello, G. Carrozza, S. Rosati

{"title":"Practical experience and evaluation of continuous code static analysis with C++Test","authors":"Vincenzo Ciriello, G. Carrozza, S. Rosati","doi":"10.1145/2489280.2489290","DOIUrl":"https://doi.org/10.1145/2489280.2489290","url":null,"abstract":"The static code analysis tools are a fundamental instruments to validate the developed code. They allow detecting bugs (as memory leak, accessing arrays out of bounds, etc.. ), structural errors and preventing entire classes of errors. This work refers to the Parasoft's tool \"C++test\". It helps developers prevent and eliminate defects using rules tuned to nd code patterns that lead to reliability, performance, and security problems. To be practical, the static analysis must be seamlessly in- tegrated into the team's work- ow. The \"`continuous static analysis\"' allows executing automatically the analysis when the new code is released. In this way is possible to realize a further automation in the software development executing the tool during the night or weekend. The time saved to run the tool can be used to analyze and correct the bugs. When you deal with static analysis, it's important to under- line the problem of false positive. It would be attractive if we could develop a tool that could intercept all defects in a given piece of software with certainty. Not all real errors can always be caught, and not all errors caught can always be real. This work presents a quantitative evaluation on the percentile of false positive generated by C++test.","PeriodicalId":203209,"journal":{"name":"JAMAICA 2013","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128213599","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}

引用次数: 4

Towards quality of model-based testing in the ioco framework 面向ioco框架中基于模型的测试质量

JAMAICA 2013 Pub Date : 2013-07-15 DOI: 10.1145/2489280.2489293

Michele Volpato, J. Tretmans

引用次数: 12

Automatic, load-independent detection of performance regressions by transaction profiles 通过事务配置文件自动、独立于负载的检测性能退化

JAMAICA 2013 Pub Date : 2013-07-15 DOI: 10.1145/2489280.2489286

Shadi Ghaith, Miao Wang, Philip Perry, John Murphy

引用次数: 3

Analysis and testing of matlab simulink models: a systematic mapping study matlab simulink模型的分析与测试:系统的绘图研究

JAMAICA 2013 Pub Date : 2013-07-15 DOI: 10.1145/2489280.2489285

Frank Elberzhager, Alla Rosbach, T. Bauer

引用次数: 16

Comparing the maintainability of selenium WebDriver test suites employing different locators: a case study 比较使用不同定位器的selenium WebDriver测试套件的可维护性:一个案例研究

JAMAICA 2013 Pub Date : 2013-07-15 DOI: 10.1145/2489280.2489284

Maurizio Leotta, Diego Clerissi, F. Ricca, C. Spadaro

引用次数: 42

A system for automated testing in development of measuring devices for industrial process instrumentation 用于工业过程仪表测量装置开发的自动测试系统

JAMAICA 2013 Pub Date : 2013-07-15 DOI: 10.1145/2489280.2489289

René Keimling, Christian Hansen, A. Bilgic

{"title":"A system for automated testing in development of measuring devices for industrial process instrumentation","authors":"René Keimling, Christian Hansen, A. Bilgic","doi":"10.1145/2489280.2489289","DOIUrl":"https://doi.org/10.1145/2489280.2489289","url":null,"abstract":"In this paper, we present the KROHNE TestCenter (KTC), a custom-made test system for automated verification on integration (and partly system) level in the field of industrial process instrumentation. The KTC has been designed and developed at KROHNE to meet demands of (a) aligned test activities amongst various product groups and demands of (b) normative requirements from international standards and industry expectations as well as to account for (c) specific boundary conditions from (partly proprietary) technological solutions. Providing high reproducibility, the developed system allows for test case implementation, remote control of the device under test along with the test equipment, automation of test execution and corresponding analysis as well as an automated generation of documentation. The system has been utilized in multiple running development projects, on the one hand contributing to test activities and on the other hand feeding back gained experiences in enhancements of KTC. This paper reflects initial results obtained over the past 1.5 years. It is envisaged to extend the system and use it as a standard tool within the KROHNE group.","PeriodicalId":203209,"journal":{"name":"JAMAICA 2013","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133411332","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}

引用次数: 0

Model-based test case generation using symbolic execution 使用符号执行生成基于模型的测试用例

JAMAICA 2013 Pub Date : 2013-07-15 DOI: 10.1145/2489280.2489282

Kazuki Munakata, Susumu Tokumoto, T. Uehara

{"title":"Model-based test case generation using symbolic execution","authors":"Kazuki Munakata, Susumu Tokumoto, T. Uehara","doi":"10.1145/2489280.2489282","DOIUrl":"https://doi.org/10.1145/2489280.2489282","url":null,"abstract":"In this paper, we present a test case generation method in which test cases are generated from Excel-based functional specications, called error-check/update specications. This method has the following two characteristics. 1) Logical structures and constraint conditions in error-check/update specications are translated into Java code. Then the trans- lated Java code is executed symbolically. A solution found by solving combinations of the constraint conditions, during the symbolic execution can serve as a test case for the Excel- based specication. 2)We present test case selection method to extract a suitable test-suite from the large number of test cases typically generated by the above symbolic execution. Our test case selection is based on a path condition-based test case selection criterion, proposed in our previous work, in which the selected test cases covers all the atomic conditions of path conditions collected during symbolic execution. In this paper, we extend this method with classication of test cases and priority of variable values with the aim of improv- ing the quality of the selected test-suite. We implemented the test case generation method in our tool and evaluated this method with Excel-based test specications for a real- world nancial system.","PeriodicalId":203209,"journal":{"name":"JAMAICA 2013","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122528112","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}

引用次数: 1

Early detection of faults related to database schematic changes 早期发现与数据库原理图变更相关的故障

JAMAICA 2013 Pub Date : 2013-07-15 DOI: 10.1145/2489280.2489283

D. Garg, A. Datta

引用次数: 0

An auto-review tool for model-based testing of safety-critical systems 用于安全关键系统的基于模型的测试的自动审查工具

JAMAICA 2013 Pub Date : 2013-07-15 DOI: 10.1145/2489280.2489294

Atit Mishra, M. Rao, C. Chethan, V. Rao, Y. Jeppu, N. Murthy

{"title":"An auto-review tool for model-based testing of safety-critical systems","authors":"Atit Mishra, M. Rao, C. Chethan, V. Rao, Y. Jeppu, N. Murthy","doi":"10.1145/2489280.2489294","DOIUrl":"https://doi.org/10.1145/2489280.2489294","url":null,"abstract":"Verification of Test Procedures and Test Cases (TP, TC) is an important process stage for fulfilling the RTCA/DO-178B/C compliance objective while developing software for safety critical flight control systems. Correctness of these results, their requirement coverage (High/Low level) analysis and justified discrepancies (if any) are the primary objectives that must be satisfied. Manual reviews are the most common methods for achieving these objectives. This paper consolidates some of the past experiences of conducting manual reviews in the flight control software V&V for a commercial aircraft program. Through them a clear need and scope for automating portions of manual review is identified. This led to the development of an Auto Review Tool (ART) which is qualified for claiming the certification credits. All the necessary documents such as Tool’s Operational Requirement (TOR), Tool Qualification Plan (TQP) and Tool Assessment Summary (TAS) are prepared. The paper presents the tool development process beginning with defining a library of Input/Output relation based functions for different control blocks, parser development and qualification activity that were performed by an independent testing team.","PeriodicalId":203209,"journal":{"name":"JAMAICA 2013","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131321539","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

FITNESS: a framework for automatic testing of ASTERIX based software systems 适应度:基于ASTERIX的软件系统的自动测试框架

JAMAICA 2013 Pub Date : 2013-07-15 DOI: 10.1145/2489280.2489292

Vittorio Manetti, L. Petrella

{"title":"FITNESS: a framework for automatic testing of ASTERIX based software systems","authors":"Vittorio Manetti, L. Petrella","doi":"10.1145/2489280.2489292","DOIUrl":"https://doi.org/10.1145/2489280.2489292","url":null,"abstract":"As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a systems functionality themselves, following hand-written instructions: this make testing of software components one of the most expensive phases in the software development cycle, either in terms of time as well as human effort. Concerning in particular safety critical systems, such as the ones belonging to the Air Traffic Management field, for which it is always necessary to be taken complete and rigorous security test and evaluation among development team and/or by third-party security certification organization, performing automatic tests on such systems become a very tricky process considering that the goal is to verify not only the proper functioning of the SUT, but the system dependability too. However, such software testing is usually time consuming, cost consuming and boresome and thus technologies of software testing automation have alluring application foreground in that field: making the execution of test cases automatic allows to reduce costs and to improve software quality from a dependability point of view. In this paper we present FITNESS, a framework for the automation of testing procedures for complex software systems with strict safety and quality requirements, and in particular we have focused on Air Traffic Control (ATC) application who rely on ASTERIX standard as data exchange format with the intent to propose a flexible solution to automate testing procedure for a generic system that use such communication standard. We also present a quantitative study that analyze the effectiveness of the proposed approach using our framework to test a Secondary Surveillance Radar system and showing that most of manual test steps can be automatically converted to automated test steps with no human intervention.","PeriodicalId":203209,"journal":{"name":"JAMAICA 2013","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133706822","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}

引用次数: 1