International Conference/Workshop on Automation of Software Test最新文献_第4页

Constraint-based test database generation for SQL queries 为SQL查询生成基于约束的测试数据库

International Conference/Workshop on Automation of Software Test Pub Date : 2010-05-03 DOI: 10.1145/1808266.1808276

C. Riva, María José Suárez Cabal, J. Tuya

引用次数: 48

An effective method to control interrupt handler for data race detection 一种控制中断处理程序的有效方法，用于数据竞争检测

International Conference/Workshop on Automation of Software Test Pub Date : 2010-05-03 DOI: 10.1145/1808266.1808278

Makoto Higashi, Tetsuo Yamamoto, Yasuhiro Hayase, T. Ishio, Katsuro Inoue

{"title":"An effective method to control interrupt handler for data race detection","authors":"Makoto Higashi, Tetsuo Yamamoto, Yasuhiro Hayase, T. Ishio, Katsuro Inoue","doi":"10.1145/1808266.1808278","DOIUrl":"https://doi.org/10.1145/1808266.1808278","url":null,"abstract":"Embedded software frequently uses interrupts for timer or I/O processing. If a memory area is used by both an interrupt handler and other routines at the same time, the embedded system has the potential to fail because of unexpected data in the memory. To detect the race conditions of memory, this paper proposes a method of interrupt testing on a CPU emulator. The method consists of two features: one is interrupt generation at the instruction points that possibly causes race conditions; the other is replacing input value from external device to control interrupt handlers. An interrupt is generated just after the program reads or writes data on memory for the purpose of covering all possibility of sharing memory between the interrupt handler and other routines. Sequence of input value from the external device is prepared by hand before program execution. We have applied our method to testing for a race condition of uClinux. The experience of detecting race conditions has shown the mechanism causes interrupts at necessary and sufficient timing compared with random interrupt testing. Also, it is easy to substitute values in memory to detect race conditions.","PeriodicalId":443108,"journal":{"name":"International Conference/Workshop on Automation of Software Test","volume":"149 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117300456","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}

引用次数: 26

Automating software tests with partial oracles in integrated environments 在集成环境中使用部分oracle自动化软件测试

International Conference/Workshop on Automation of Software Test Pub Date : 2010-05-03 DOI: 10.1145/1808266.1808280

René Just, F. Schweiggert

引用次数: 10

Pattern-based generation of test plans for open distributed processing systems 开放分布式处理系统的基于模式的测试计划生成

International Conference/Workshop on Automation of Software Test Pub Date : 2010-05-03 DOI: 10.1145/1808266.1808284

Baris Güldali, Stefan Sauer, Peter Winkelhane, Holger Funke, M. Jahnich

{"title":"Pattern-based generation of test plans for open distributed processing systems","authors":"Baris Güldali, Stefan Sauer, Peter Winkelhane, Holger Funke, M. Jahnich","doi":"10.1145/1808266.1808284","DOIUrl":"https://doi.org/10.1145/1808266.1808284","url":null,"abstract":"Acceptance testing is a time-consuming task for complex software systems that have to fulfil a large number of requirements. To reduce efforts in acceptance testing, we have developed an approach that exploits redundancies and implicit relations in requirements specifications which are based on multi-viewpoint techniques, such as RM-ODP. We use linguistic analysis techniques, requirements clustering algorithms and pattern-based requirements collection for reducing the total number of test cases that are derived from the requirements specification. In particular, we present new capabilities for automatically deriving semi-formal test plans and acceptance criteria from the clustered informal textual requirements. Tool support for automated detection of redundancies and implicit relations is extended by new functionalities regarding measurement and the generation of quality plans. We apply our solution particularly in planning, procurement and acceptance testing of national electronic identification (eID) systems. In summary, we show that linguistic analysis and clustering techniques can help testers in understanding the relations between requirements and for improving test planning.","PeriodicalId":443108,"journal":{"name":"International Conference/Workshop on Automation of Software Test","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130487805","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

Automatically extracting mock object behavior from Design by Contract#8482; specification for test data generation 从契约式设计#8482中自动提取模拟对象行为测试数据生成规范

International Conference/Workshop on Automation of Software Test Pub Date : 2010-05-03 DOI: 10.1145/1808266.1808273

Stefan J. Galler, Andreas Maller, F. Wotawa

{"title":"Automatically extracting mock object behavior from Design by Contract#8482; specification for test data generation","authors":"Stefan J. Galler, Andreas Maller, F. Wotawa","doi":"10.1145/1808266.1808273","DOIUrl":"https://doi.org/10.1145/1808266.1808273","url":null,"abstract":"Test data generation is an important task in the process of automated unit test generation. Random and heuristic approaches are well known for test input data generation. Unfortunately, in the presence of complex pre-conditions especially in the case of non-primitive data types those approaches often fail. A promising technique for generating an object that exactly satisfies a given pre-condition is mocking, i.e., replacing the concrete implementation with an implementation only considering the necessary behavior for a specific test case. In this paper we follow this technique and present an approach for automatically deriving the behavior of mock objects from given Design by Contract#8482; specifications. The generated mock objects behave according to the Design by Contract#8482; specification of the original class. Furthermore, we make sure that the observed behavior of the mock object satisfies the pre-condition of the method under test. We evaluate the approach using the Java implementations of 20 common Design Patterns and a stack based calculator. Our approach clearly outperforms pure random data generation in terms of line coverage.","PeriodicalId":443108,"journal":{"name":"International Conference/Workshop on Automation of Software Test","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126202498","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}

引用次数: 21

Model-based testing in industry: a case study with two MBT tools 工业中基于模型的测试:使用两个MBT工具的案例研究

International Conference/Workshop on Automation of Software Test Pub Date : 2010-05-03 DOI: 10.1145/1808266.1808279

M. Sarma, P. Murthy, S. Jell, A. Ulrich

引用次数: 29

Calculating the usage probabilities of statistical usage models by constraints optimization 用约束优化方法计算统计使用模型的使用概率

International Conference/Workshop on Automation of Software Test Pub Date : 2010-05-03 DOI: 10.1145/1808266.1808285

W. Dulz, R. German, Stefan Holpp, Helmut Goetz

引用次数: 1

Automating the mutation testing of aspect-oriented Java programs 自动化面向方面的Java程序的突变测试

International Conference/Workshop on Automation of Software Test Pub Date : 2010-05-03 DOI: 10.1145/1808266.1808274

F. Ferrari, E. Nakagawa, A. Rashid, J. Maldonado

引用次数: 41

Ranking programs using black box testing 使用黑盒测试对程序进行排名

International Conference/Workshop on Automation of Software Test Pub Date : 2010-05-03 DOI: 10.1145/1808266.1808282

Koen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson

引用次数: 6

Generation of executable test cases based on behavioral UML system models 基于行为UML系统模型的可执行测试用例的生成

International Conference/Workshop on Automation of Software Test Pub Date : 2010-05-03 DOI: 10.1145/1808266.1808271

C. Schwarzl, B. Peischl

引用次数: 10