Proceedings. 19th International Conference on Automated Software Engineering, 2004.最新文献_第2页

A statistical model to locate faults at input levels 用于定位输入级别故障的统计模型

Proceedings. 19th International Conference on Automated Software Engineering, 2004. Pub Date : 2004-09-20 DOI: 10.1109/ASE.2004.7

Wu Ji, Jia Xiao-xia, Liu Chang, Yang Hai-yan, Liu Chao, Jin Mao-Zhong

引用次数: 4

Automated analysis of timing information in UML diagrams 自动分析UML图中的时间信息

Proceedings. 19th International Conference on Automated Software Engineering, 2004. Pub Date : 2004-09-20 DOI: 10.1109/ASE.2004.10041

S. Konrad, L. A. Campbell, B. Cheng

引用次数: 16

Modeling Web-based dialog flows for automatic dialog control 为自动对话控制建模基于web的对话流

Proceedings. 19th International Conference on Automated Software Engineering, 2004. Pub Date : 2004-09-20 DOI: 10.1109/ASE.2004.10027

Matthias Book, V. Gruhn

引用次数: 37

Test-suite reduction for model based tests: effects on test quality and implications for testing 减少基于模型的测试的测试套件:对测试质量的影响和测试的含义

Proceedings. 19th International Conference on Automated Software Engineering, 2004. Pub Date : 2004-09-20 DOI: 10.1109/ASE.2004.10057

M. Heimdahl, G. Devaraj

{"title":"Test-suite reduction for model based tests: effects on test quality and implications for testing","authors":"M. Heimdahl, G. Devaraj","doi":"10.1109/ASE.2004.10057","DOIUrl":"https://doi.org/10.1109/ASE.2004.10057","url":null,"abstract":"Model checking techniques can be successfully employed as a test case generation technique to generate tests from formal models. The number of tests cases produced, however, is typically large for complex coverage criteria such as MCDC. Test-suite reduction can provide us with a smaller set of test cases that present the original coverage-often a dramatically smaller set. One potential drawback with test-suite reduction is that this might affect the quality of the test-suite in terms of fault finding. Previous empirical studies provide conflicting evidence on this issue. To further investigate the problem and determine its effect when testing formal models of software, we performed an experiment using a large case example of a flight guidance system, generated reduced test-suites for a variety of structural coverage criteria while presenting coverage, and recorded their fault finding effectiveness. Our results show that the size of the specification based test-suites can be dramatically reduced and that the fault detection of the reduced test-suites is adversely affected. In this report we describe our experiment, analyze the results, and discuss the implications for testing based on formal specifications.","PeriodicalId":171484,"journal":{"name":"Proceedings. 19th International Conference on Automated Software Engineering, 2004.","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115410889","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}

引用次数: 156

ScriptEase: generative design patterns for computer role-playing games 计算机角色扮演游戏的生成式设计模式

Proceedings. 19th International Conference on Automated Software Engineering, 2004. Pub Date : 2004-09-20 DOI: 10.1109/ASE.2004.10029

M. McNaughton, M. Cutumisu, D. Szafron, J. Schaeffer, James Redford, Dominique Parker

引用次数: 70

Automatic method completion 方法自动补全

Proceedings. 19th International Conference on Automated Software Engineering, 2004. Pub Date : 2004-09-20 DOI: 10.1109/ASE.2004.10034

R. Hill, Joe Rideout

引用次数: 79

Experiences integrating and scaling a performance test bed generator with an open source CASE tool 有使用开源CASE工具集成和扩展性能测试平台生成器的经验

Proceedings. 19th International Conference on Automated Software Engineering, 2004. Pub Date : 2004-09-20 DOI: 10.1109/ASE.2004.10061

Yuhong Cai, J. Grundy, J. Hosking

引用次数: 25

Property-oriented test generation from UML Statecharts 从UML Statecharts生成面向属性的测试

Proceedings. 19th International Conference on Automated Software Engineering, 2004. Pub Date : 2004-09-20 DOI: 10.1109/ASE.2004.10037

Shuhao Li, Ji Wang, Zhichang Qi

引用次数: 16

A computational framework for supporting software inspections 支持软件检查的计算框架

Proceedings. 19th International Conference on Automated Software Engineering, 2004. Pub Date : 2004-09-20 DOI: 10.1109/ASE.2004.3

Marcos Kalinowski, G. Travassos

引用次数: 27

Verifiable concurrent programming using concurrency controllers 使用并发控制器的可验证并发编程

Proceedings. 19th International Conference on Automated Software Engineering, 2004. Pub Date : 2004-09-20 DOI: 10.1109/ASE.2004.10025

Aysu Betin Can, T. Bultan

{"title":"Verifiable concurrent programming using concurrency controllers","authors":"Aysu Betin Can, T. Bultan","doi":"10.1109/ASE.2004.10025","DOIUrl":"https://doi.org/10.1109/ASE.2004.10025","url":null,"abstract":"We present a framework for verifiable concurrent programming in Java based on a design pattern for concurrency controllers. Using this pattern, a programmer can write concurrency controller classes defining a synchronization policy by specifying a set of guarded commands and without using any of the error-prone synchronization primitives of Java. We present a modular verification approach that exploits the modularity of the proposed pattern, i.e., decoupling of the controller behavior from the threads that use the controller. To verify the controller behavior (behavior verification) we use symbolic and infinite state model checking techniques, which enable verification of controllers with parameterized constants, unbounded variables and arbitrary number of user threads. To verify that the threads use a controller in the specified manner (interface verification) we use explicit state model checking techniques, which allow verification of arbitrary thread implementations without any restrictions. We show that the correctness of the user threads can be verified using the concurrency controller interfaces as stubs, which improves the efficiency of the interface verification significantly. We also show that the concurrency controllers can be automatically optimized using the specific notification pattern. We demonstrate the effectiveness of our approach on a Concurrent Editor implementation which consists of 2800 lines of Java code with remote procedure calls and complex synchronization constraints.","PeriodicalId":171484,"journal":{"name":"Proceedings. 19th International Conference on Automated Software Engineering, 2004.","volume":"34 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122424132","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}

引用次数: 40