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

Verifying interactive Web programs 验证交互式Web程序

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

Daniel R. Licata, S. Krishnamurthi

{"title":"Verifying interactive Web programs","authors":"Daniel R. Licata, S. Krishnamurthi","doi":"10.1109/ASE.2004.10054","DOIUrl":"https://doi.org/10.1109/ASE.2004.10054","url":null,"abstract":"Web programs are important, increasingly representing the primary public interfaces of commercial organizations. Unfortunately, Web programs also exhibit numerous flaws. In addition to the usual correctness problems faced by software, Web programs must contend with numerous subtle user operations such as clicking the Back button or cloning and submitting a page multiple times. Many existing Web verification tools fail to even consider, much less effectively handle, these operations. This work describes a model checker designed to identify errors in Web software. We present a technique for automatically generating novel models of Web programs from their source code; these models include the additional control flow enabled by these user operations. In this technique, we exploit a constraint-based approach to avoid overapproximating this control flow; this approach allows us to evade exploding the size of the model. Further, we present a powerful base property language that permits specification of useful Web properties, along with several property idioms that simplify specification of the most common Web properties. Finally, we discuss the implementation of this model checker and a study of its effectiveness.","PeriodicalId":171484,"journal":{"name":"Proceedings. 19th International Conference on Automated Software Engineering, 2004.","volume":"1 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":"128723498","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}

引用次数: 52

Decompositional verification of component-based systems-a hybrid approach 基于组件的系统的分解验证——一种混合方法

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

Gaoyan Xie

引用次数: 8

Using a genetic algorithm and formal concept analysis to generate branch coverage test data automatically 采用遗传算法和形式化概念分析，自动生成分支覆盖率测试数据

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

Susan Khor, P. Grogono

{"title":"Using a genetic algorithm and formal concept analysis to generate branch coverage test data automatically","authors":"Susan Khor, P. Grogono","doi":"10.1109/ASE.2004.10049","DOIUrl":"https://doi.org/10.1109/ASE.2004.10049","url":null,"abstract":"Automatic test generators (ATGs) are an important support tool for large-scale software development. Contemporary ATGs include JTest that does white box testing down to the method level only and black box testing if a specification exists, and AETG that tests pairwise interactions among input variables. The first automatic test generation approaches were static, based on symbolic execution (Clarke, 1976). Korel suggested a dynamic approach to automatic test data generation using function minimization and directed search (Korel, 1990). A dynamic approach can handle array, pointer, function and other dynamic constructs more accurately than a static approach but it may also be more expensive since the program under test is executed repeatedly. Subsequent ATGs explored the use of genetic algorithms (Jones et al., 1996; Michael et al., 2001; Pargas et al., 1999) and simulated annealing (Tracey et al., 1998). These ATGs address the problem of producing test data for low level code coverage like statement, branch and condition/decision and depend on branch function (Korel, 1990) style instrumentation (Jones et al., 1996; Michael et al., 2001) and/or the program graph (Jones et al., 1996; Pargas et al., 1999). Unlike previous work, our ATG, called genet, produces test data for branch coverage with simpler instrumentation than branch functions, does not use program graphs, and is programming language independent, genet uses a genetic algorithm (GA) (Holland, 1975) to search for tests and formal concept analysis (FCA) (Ganter and Wille, 1999) to organize the relationships between tests and their execution traces. The combination of GA with FCA is novel. Further, genet extends the opportunistic approach of GADGET (Michael et al., 2001) by targeting several uncovered branches simultaneously. The relationships that genet learns provides useful insights for test selection, test maintenance and debugging","PeriodicalId":171484,"journal":{"name":"Proceedings. 19th International Conference on Automated Software Engineering, 2004.","volume":"14 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":"127443416","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}

引用次数: 52

Refactoring use case models on episodes 在情节上重构用例模型

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

Wei Yu, Jun Yu Li, Greg Butler

引用次数: 29

A dataflow language for scriptable debugging 用于可脚本化调试的数据流语言

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

G. Marceau, G. H. Cooper, S. Krishnamurthi, S. Reiss

引用次数: 14

Using transient/persistent errors to develop automated test oracles for event-driven software 使用瞬时/持久错误为事件驱动软件开发自动化测试oracle

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

A. Memon, Qing Xie

{"title":"Using transient/persistent errors to develop automated test oracles for event-driven software","authors":"A. Memon, Qing Xie","doi":"10.1109/ASE.2004.10074","DOIUrl":"https://doi.org/10.1109/ASE.2004.10074","url":null,"abstract":"Today's software-intensive systems contain an important class of software, namely event-driven software (EDS). All EDS take events as input, change their state, and (perhaps) output an event sequence. EDS is typically implemented as a collection of event-handlers designed to respond to individual events. The nature of EDS creates new challenges for test automation. In this paper, we focus on those relevant to automated test oracles. A test oracle is a mechanism that determines whether a software executed correctly for a test case. A test case for an EDS consists of a sequence of events. The test case is executed on the EDS, one event at a time. Errors in the EDS may \"appear\" and later ''disappear\" at several points (e.g., after an event is executed) during test case execution. Because of the behavior of these transient (those that disappear) and persistent (those that don't disappear) errors, EDS require complex and expensive test oracles that compare the expected and actual output multiple times during test case execution. We leverage our previous work to study several applications and observe the occurrence of persistent/transient errors. Our studies show that in practice, a large number of errors in EDS are transient and that there are specific classes of events that lead to transient errors. We use the results of this study to develop a new test oracle that compares the expected and actual output at strategic points during test case execution. We show that the oracle is effective at detecting errors and efficient in terms of resource utilization","PeriodicalId":171484,"journal":{"name":"Proceedings. 19th International Conference on Automated Software Engineering, 2004.","volume":"35 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":"125305018","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}

引用次数: 30

The education of a software engineer 软件工程师的教育

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

M. Jazayeri

引用次数: 73

ScriptEase: generating scripting code for computer role-playing games 为电脑角色扮演游戏生成脚本代码

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

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

引用次数: 8

Modeling and simulation of context-aware mobile systems 情境感知移动系统的建模与仿真

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

P. Guo, R. Heckel

引用次数: 12

CHET: a system for checking dynamic specifications 检查动态规格的系统

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

S. Reiss

引用次数: 2