QUARK: Empirical Assessment of Automaton-based Specification Miners

2006 13th Working Conference on Reverse Engineering Pub Date : 2006-10-23 DOI:10.1109/WCRE.2006.47

D. Lo, Siau-Cheng Khoo

{"title":"QUARK: Empirical Assessment of Automaton-based Specification Miners","authors":"D. Lo, Siau-Cheng Khoo","doi":"10.1109/WCRE.2006.47","DOIUrl":null,"url":null,"abstract":"Software is often built without specification. Tools to automatically extract specification from software are needed and many techniques have been proposed. One type of these specifications - temporal API specification - is often specified in the form of automaton. There has been much work on reverse engineering or mining software temporal specification, using dynamic analysis techniques; i.e., analysis of software program traces. Unfortunately, the issues of scalability, robustness and accuracy of these techniques have not been comprehensively addressed. In this paper, we describe QUARK (quality assurance framework) that enables assessments of the performance of a specification miner in generating temporal specification of software through traces recorded from its API interaction. QUARK requires the temporal specification produced by the miner to be expressed as an automaton. It accepts a user-defined simulator automaton and a specification miner. It produces quality assurance measures on the specification generated by the miner. Extensive experiments on 3 specification miners have been performed to demonstrate the usefulness of our proposed framework","PeriodicalId":306640,"journal":{"name":"2006 13th Working Conference on Reverse Engineering","volume":"56 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"116","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 13th Working Conference on Reverse Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WCRE.2006.47","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 116

Abstract

Software is often built without specification. Tools to automatically extract specification from software are needed and many techniques have been proposed. One type of these specifications - temporal API specification - is often specified in the form of automaton. There has been much work on reverse engineering or mining software temporal specification, using dynamic analysis techniques; i.e., analysis of software program traces. Unfortunately, the issues of scalability, robustness and accuracy of these techniques have not been comprehensively addressed. In this paper, we describe QUARK (quality assurance framework) that enables assessments of the performance of a specification miner in generating temporal specification of software through traces recorded from its API interaction. QUARK requires the temporal specification produced by the miner to be expressed as an automaton. It accepts a user-defined simulator automaton and a specification miner. It produces quality assurance measures on the specification generated by the miner. Extensive experiments on 3 specification miners have been performed to demonstrate the usefulness of our proposed framework

查看原文本刊更多论文

QUARK:基于自动化的规范挖掘的经验评估

软件通常是在没有规范的情况下构建的。从软件中自动提取规范的工具是必要的，许多技术已经被提出。这些规范的一种类型——临时API规范——通常以自动机的形式指定。利用动态分析技术，在逆向工程或挖掘软件时间规范方面已经做了很多工作;例如，对软件程序轨迹的分析。不幸的是，这些技术的可伸缩性、健壮性和准确性问题还没有得到全面的解决。在本文中，我们描述了QUARK(质量保证框架)，它可以通过从API交互中记录的痕迹来评估规范挖掘器在生成软件临时规范方面的性能。QUARK要求矿工产生的时间规范被表示为自动机。它接受用户定义的模拟器自动机和规范挖掘器。它根据矿工产生的规格产生质量保证措施。在3个规范的矿工上进行了大量的实验，以证明我们提出的框架的有效性

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2006 13th Working Conference on Reverse Engineering

自引率

0.00%

发文量