Second International Workshop on Automation of Software Test (AST '07)最新文献

筛选

英文中文

Towards a Framework for Differential Unit Testing of Object-Oriented Programs 面向对象程序差分单元测试框架研究

Second International Workshop on Automation of Software Test (AST '07) Pub Date : 2007-05-20 DOI: 10.1109/AST.2007.15

Tao Xie, Kunal Taneja, Shreya Kale, D. Marinov

{"title":"Towards a Framework for Differential Unit Testing of Object-Oriented Programs","authors":"Tao Xie, Kunal Taneja, Shreya Kale, D. Marinov","doi":"10.1109/AST.2007.15","DOIUrl":"https://doi.org/10.1109/AST.2007.15","url":null,"abstract":"Software developers often face the task of determining how the behaviors of one version of a program unit differ from (or are the same as) the behaviors of a (slightly) different version of the same program unit. In such situations, developers would like to generate tests that exhibit the behavioral differences between the two versions, if any differences exist. We call this type of testing differential unit testing. Some examples of differential unit testing include regression testing, N-version testing, and mutation testing. We propose a framework, called Diffut, that enables differential unit testing of object-oriented programs. Diffut enables \"simultaneous\" execution of the pairs of corresponding methods from the two versions: methods can receive the same inputs (consisting of the object graph reachable from the receiver and method arguments), and Diffut compares their outputs (consisting of the object graph reachable from the receiver and method return values). Given two versions of a Java class, Diffut automatically synthesizes annotations (in the form of preconditions and postconditions) in the Java Modeling Language (JML) and inserts them into the unit under test to allow the simultaneous execution of the corresponding methods.","PeriodicalId":211341,"journal":{"name":"Second International Workshop on Automation of Software Test (AST '07)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125450760","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}

引用次数: 33

Automated Test Data Generation using Search Based Software Engineering 使用基于搜索的软件工程自动生成测试数据

Second International Workshop on Automation of Software Test (AST '07) Pub Date : 2007-05-01 DOI: 10.1109/AST.2007.4

M. Harman

引用次数: 63

首页上一页