发布求助
文献互助 智能选刊 最新文献

International Conference/Workshop on Automation of Software Test最新文献

筛选
英文 中文
Supporting the selection of model-based testing approaches for software projects 支持为软件项目选择基于模型的测试方法
International Conference/Workshop on Automation of Software Test Pub Date : 2008-05-11 DOI: 10.1145/1370042.1370047
A. C. Dias-Neto, G. Travassos
{"title":"Supporting the selection of model-based testing approaches for software projects","authors":"A. C. Dias-Neto, G. Travassos","doi":"10.1145/1370042.1370047","DOIUrl":"https://doi.org/10.1145/1370042.1370047","url":null,"abstract":"Software technologies, such as model-based testing approaches, have specific characteristics and limitations that can affect their use in software projects. To make available knowledge regarding such technologies is important to support the decision regarding their use in software projects. In particular, a choice of model-based testing approach can influence testing success or failure. Therefore, this paper aims at describing knowledge acquired from a systematic review regarding model-based testing approaches and proposing an infrastructure towards supporting their selection for software projects.","PeriodicalId":443108,"journal":{"name":"International Conference/Workshop on Automation of Software Test","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126632283","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}
引用次数: 15
Vision: testing of mechatronics software using agile simulation 愿景:使用敏捷仿真测试机电一体化软件
International Conference/Workshop on Automation of Software Test Pub Date : 2008-05-11 DOI: 10.1145/1370042.1370060
S. P. Masticola, M. Gall
{"title":"Vision: testing of mechatronics software using agile simulation","authors":"S. P. Masticola, M. Gall","doi":"10.1145/1370042.1370060","DOIUrl":"https://doi.org/10.1145/1370042.1370060","url":null,"abstract":"Mechatronics is the practice of creating systems that synergize electrical, mechanical, and software technology. With few exceptions, testing software that is embedded in mechatronics systems has historically been done only with the hardware in the loop (HIL). There are many disadvantages to HIL testing, including cost, schedule delays, and resource bottlenecks. Ironically, cost and schedule delays are also often seen by technical managers as impediments to simulating the mechatronics hardware.\u0000 We present a vision for agile simulation, with the intent to lower the cost and time barriers of simulating mechatronics hardware to test software. Some key ideas include: focus on validating the software alone, rather than the entire system; doing the minimum amount of dynamic modeling needed to test the software; work even with legacy systems that might not have been designed with testability in mind; leverage existing tools wherever possible; support stubbing out the hardware using agile techniques such as refactoring and test-driven development.","PeriodicalId":443108,"journal":{"name":"International Conference/Workshop on Automation of Software Test","volume":"128 10","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114043453","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
On the integration of design and test: a model-based approach for embedded systems 嵌入式系统设计与测试的集成:基于模型的方法
International Conference/Workshop on Automation of Software Test Pub Date : 2006-05-23 DOI: 10.1145/1138929.1138933
C. Pfaller, A. Fleischmann, J. Hartmann, M. Rappl, S. Rittmann, D. Wild
{"title":"On the integration of design and test: a model-based approach for embedded systems","authors":"C. Pfaller, A. Fleischmann, J. Hartmann, M. Rappl, S. Rittmann, D. Wild","doi":"10.1145/1138929.1138933","DOIUrl":"https://doi.org/10.1145/1138929.1138933","url":null,"abstract":"One of the most crucial questions concerned with model-based testing is how to find \"interesting\" test cases. We consider test cases to be interesting if firstly, they cover the user requirements and secondly, they have a high probability to find potential errors. In this paper we introduce an approach to derive test cases along different levels of abstraction during the design phase. These levels start with services representing user requirements on the topmost level and result in models for a specific technical platform on the most concrete level. Within the presented test process we use design models of different abstraction levels as test models out of which test cases can be generated. The test cases are executed on more concrete levels and finally on the implementation. An exception is the (topmost) service level which isused for the derivation of the test case specification.One main advantage of our approach lies in preserving the link from test cases to corresponding user requirements. Furthermore the danger of using too abstract models which do not reflect inevitable crucial aspects of the realization is avoided. Finally this yields to a front loading of quality control activities to a point as early as possible in the development process. In our work we focus on embedded reactive systems especially in the field of automotive software. Our current research targets at new kinds of test coverage criteria which reflect the systems requirements rather than structural aspects of models.","PeriodicalId":443108,"journal":{"name":"International Conference/Workshop on Automation of Software Test","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116876438","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}
引用次数: 24
EasyAccept: a tool to easily create, run and drive development with automated acceptance tests EasyAccept:一个使用自动化验收测试轻松创建、运行和驱动开发的工具
International Conference/Workshop on Automation of Software Test Pub Date : 2006-05-23 DOI: 10.1145/1138929.1138951
J. Sauvé, Osório Lopes Abath Neto, W. Cirne
{"title":"EasyAccept: a tool to easily create, run and drive development with automated acceptance tests","authors":"J. Sauvé, Osório Lopes Abath Neto, W. Cirne","doi":"10.1145/1138929.1138951","DOIUrl":"https://doi.org/10.1145/1138929.1138951","url":null,"abstract":"This paper introduces EasyAccept, a tool to create and run client-readable acceptance tests easily, and describes how it can be used to allow a simple but powerful acceptance-test driven software development (ATDD) approach. EasyAccept takes acceptance tests enclosing business rules and a Façade to access the software under development, and checks if the outputs of the software's execution match expected results from the tests. Driven by EasyAccept runs, software can be constructed with focus, control and correctness, since the acceptance tests also serve as automated regression tests. Results of experiments with undergraduate students demonstrate the benefits of the ATDD approach using EasyAccept and show that this tool can also help to teach and train good testing and development practices.","PeriodicalId":443108,"journal":{"name":"International Conference/Workshop on Automation of Software Test","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122231361","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
Automatically testing interacting software components 自动测试交互软件组件
International Conference/Workshop on Automation of Software Test Pub Date : 2006-05-23 DOI: 10.1145/1138929.1138941
L. Gallagher, A. Offutt
{"title":"Automatically testing interacting software components","authors":"L. Gallagher, A. Offutt","doi":"10.1145/1138929.1138941","DOIUrl":"https://doi.org/10.1145/1138929.1138941","url":null,"abstract":"One goal of integration testing for object-oriented software is to ensure high object interoperability. Sent messages should have the intended effects on the states and subsequent actions of the receiving objects. This is especially difficult when software is comprised of components developed by different vendors, with different languages, and the implementation sources are not all available. A previous paper presented a model of inter-operating OO classes based on finite state machines. It addresses methods for identifying the relevant actions of a test component to be integrated into the system, transforms the finite state specification into a control and data flow graph, labels the graph with all defs and uses of class variables, and presents an algorithm to generate test specifications as specific paths through the directed graph. It also presents empirical results from an automatic tool that was built to support this test method. This paper presents additional details about the tool itself, including how several difficult problems were solved, and adds new capabilities to help automate the transformation of test specifications into executable test cases. The result is a fresh approach to automated testing. It follows accepted theoretical procedures while operating directly on an object-oriented software specification. This yields a data flow graph and executable test cases that adequately cover the graph according to classical graph coverage criteria. The tool supports specification-based testing and helps to bridge the gap between theory and practice.","PeriodicalId":443108,"journal":{"name":"International Conference/Workshop on Automation of Software Test","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132677271","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}
引用次数: 17
Deriving tests from UML 2.0 sequence diagrams with neg and assert 从带有否定和断言的UML 2.0序列图中派生测试
International Conference/Workshop on Automation of Software Test Pub Date : 2006-05-23 DOI: 10.1145/1138929.1138934
M. S. Lund, K. Stølen
{"title":"Deriving tests from UML 2.0 sequence diagrams with neg and assert","authors":"M. S. Lund, K. Stølen","doi":"10.1145/1138929.1138934","DOIUrl":"https://doi.org/10.1145/1138929.1138934","url":null,"abstract":"In this paper we define an algorithm for deriving tests from UML 2.0 sequence diagrams based on the operational semantics for sequence diagrams defined in [13]. The algorithm is a modifiedand adapted version of the algorithm presented in [19, 20]. This modified algorithm is based on the standard semantic model of sequence diagrams and allows diagrams to contain the operators neg and assert. The derived tests are themselves sequence diagrams.","PeriodicalId":443108,"journal":{"name":"International Conference/Workshop on Automation of Software Test","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127364462","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}
引用次数: 25
Testing software modelling tools using data mutation 使用数据突变测试软件建模工具
International Conference/Workshop on Automation of Software Test Pub Date : 2006-05-23 DOI: 10.1145/1138929.1138938
L. Shan, Hong Zhu
{"title":"Testing software modelling tools using data mutation","authors":"L. Shan, Hong Zhu","doi":"10.1145/1138929.1138938","DOIUrl":"https://doi.org/10.1145/1138929.1138938","url":null,"abstract":"Modelling tools play a crucial role in model-driven software development methods. A particular difficulty in testing such software systems is the generation of adequate test cases because the test data are structurally complicated. This paper proposes an approach called data mutation to generating a large number of test data from a few seed test cases. It is inspired in mutation testing methods, but differs from them in the way that mutation operators are defined and used. In our approach, mutation operators transform the input data rather than the program under test or the specification of the software. It is not a test adequacy measurement. Instead, it generates test cases. The paper also reports a case study with the method on testing a modelling tool and illustrates the applicability of the proposed method. Experiment data clearly demonstrated that the method can achieve a high test adequacy. It has a high fault detecting ability and good cost effectiveness.","PeriodicalId":443108,"journal":{"name":"International Conference/Workshop on Automation of Software Test","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129221250","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}
引用次数: 14
The class-level mutants of MuJava MuJava的类级突变
International Conference/Workshop on Automation of Software Test Pub Date : 2006-05-23 DOI: 10.1145/1138929.1138945
J. Offutt, Yu-Seung Ma, Y. Kwon
{"title":"The class-level mutants of MuJava","authors":"J. Offutt, Yu-Seung Ma, Y. Kwon","doi":"10.1145/1138929.1138945","DOIUrl":"https://doi.org/10.1145/1138929.1138945","url":null,"abstract":"This paper presents results from empirical studies of object-oriented, class level mutation operators, using the automated analysis and testing tool MuJava. Class mutation operators modify OO programming language features such as inheritance, polymorphism, dynamic binding and encapsulation. This paper presents data from 866 classes in six open-source programs. Several new class-level mutation operators are defined in this paper and an analysis of the number of mutants generated is provided. Techniques for eliminating some equivalent mutants are described and data from an automated tool are provided. One important result is that class-level mutation operators yield far more equivalent mutants than traditional, statement-level, operators. Another is that there are far fewer class-level mutants than statement-level mutants. Together, these data suggest that mutation for inter-class testing can be practically affordable.","PeriodicalId":443108,"journal":{"name":"International Conference/Workshop on Automation of Software Test","volume":"319 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122703395","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}
引用次数: 99
Automated WCET analysis based on program modes 基于程序模式的自动WCET分析
International Conference/Workshop on Automation of Software Test Pub Date : 2006-05-23 DOI: 10.1145/1138929.1138937
Mengluo Ji, Ji Wang, Shuhao Li, Zhichang Qi
{"title":"Automated WCET analysis based on program modes","authors":"Mengluo Ji, Ji Wang, Shuhao Li, Zhichang Qi","doi":"10.1145/1138929.1138937","DOIUrl":"https://doi.org/10.1145/1138929.1138937","url":null,"abstract":"Program mode is a regular trajectory of the execution of a program that is determined by the values of its input variables. By exploiting program modes we may make Worst Case Execution Time (WCET) analysis more precise. This paper presents a novel method to automatically find program modes and calculate the WCET of programs. It consists of two phases. In phase one, we firstly automatically find the modes of a program by mode-relevant program slicing; then we compute the precondition for each mode using a path-wise test data generation method; after that, we can either conclude that it is an infeasible path, or get its precondition. In phase two, we calculate the WCET estimate of each given mode for modern RISC processors with caches and pipelines. The experiments are demonstrated to show the effectiveness of the method.","PeriodicalId":443108,"journal":{"name":"International Conference/Workshop on Automation of Software Test","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130462719","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}
引用次数: 13
Automated verification and test case generation for input validation 输入验证的自动验证和测试用例生成
International Conference/Workshop on Automation of Software Test Pub Date : 2006-05-23 DOI: 10.1145/1138929.1138936
Hui Liu, Hee Beng Kuan Tan
{"title":"Automated verification and test case generation for input validation","authors":"Hui Liu, Hee Beng Kuan Tan","doi":"10.1145/1138929.1138936","DOIUrl":"https://doi.org/10.1145/1138929.1138936","url":null,"abstract":"Input validation is essential for any software that deals with input from its external environment. It forms a major part of such software that has intensive interaction with its environment. Through the integration of invariant and empirical properties for implementing input validation, this paper proposes a novel approach for the automation of the following tasks from processing the source code of a program: (1) verification of existence of input validation; (2) generation of test cases to test and demonstrate all the input validations; (3) classification of each validation into the various types defined along with its test case generated. All the empirical properties in the theory have been validated statistically based on open source systems. Our evaluation shows that the proposed approach can help in both testing of input validation features and verifying the adequacy of input control.","PeriodicalId":443108,"journal":{"name":"International Conference/Workshop on Automation of Software Test","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124030853","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}
引用次数: 17
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信