A trace is a record of the execution of a computer program, showing the sequence of operations executed. Dynamic traces are obtained by executing the program and depend upon the input. Static traces, on the other hand...
详细信息
A trace is a record of the execution of a computer program, showing the sequence of operations executed. Dynamic traces are obtained by executing the program and depend upon the input. Static traces, on the other hand, describe potential sequences of operations extracted statically from the source code. Static traces offer the advantage that they do not depend upon input data. This paper describes a new automatic technique to extract static traces for individual stack and heap objects. The extracted static traces can be used in many ways, such as protocol recovery and validation in particular and program understanding in general. In addition, this article describes four case studies we conducted to explore the efficiency of our algorithm, the size of the resulting static traces, and the influence of the underlying points-to analysis on this size. (c) 2004 Elsevier Inc. All rights reserved.
Predicting software quality as perceived by a customer may allow an organization to adjust deployment to meet the quality expectations of its customers, to allocate the appropriate amount of maintenance resources, and...
详细信息
ISBN:
(纸本)9781581139631
Predicting software quality as perceived by a customer may allow an organization to adjust deployment to meet the quality expectations of its customers, to allocate the appropriate amount of maintenance resources, and to direct quality improvement efforts to maximize the return on investment. However, customer perceived quality may be affected not simply by the software content and the development process, but also by a number of other factors including deployment issues, amount of usage, software platform, and hardware configurations. We predict customer perceived quality as measured by various service interactions, including software defect reports, requests for assistance, and field technician dispatches using the afore mentioned and other factors for a large telecommunications software system. We employ the non-intrusive data gathering technique of using existing data captured in automated project monitoring and tracking systems as well as customer support and tracking systems. We find that the effects of deployment schedule, hardware configurations, and software platform can increase the probability of observing a software failure by more than 20 times. Furthermore, we find that the factors affect all quality measures in a similar fashion. Our approach can be applied at other organizations, and we suggest methods to independently validate and replicate our results. Copyright 2005 ACM.
The strategic imperatives in softwareengineering education require that universities address the limits of human performance in the intellectual control of computersystems in industry and government. The remarkable ...
详细信息
Distributed transaction service is one of the most important services in a J2EE application server and its efficiency has a big impact on the latter's overall performance. This paper presents a distributed transac...
详细信息
ISBN:
(纸本)0769520898
Distributed transaction service is one of the most important services in a J2EE application server and its efficiency has a big impact on the latter's overall performance. This paper presents a distributed transaction service design which is both extensible and portable in a J2EE application server and strategies to optimize its performance. Experimental data indicate much improved performance of the transaction service without sacrifice of transaction integrity.
Despite vast interest in design patterns, the specification and application of patterns is generally assumed to rely on manual implementation. We describe a precise method of specifying how a design pattern is applied...
详细信息
Despite vast interest in design patterns, the specification and application of patterns is generally assumed to rely on manual implementation. We describe a precise method of specifying how a design pattern is applied: by phrasing it as an algorithm in a meta-programming language. We present a prototype of a tool that supports the specification of design patterns and their realization in a given program. Our prototype allows automatic application of design patterns without obstructing the source code text from the programmer, whom may edit it at will. We demonstrate pattern specification in meta-programming techniques and a sample outcome of its application.
Agile software development methods are quickly being adopted by the software industry. Concerns have been raised whether agile methods are suitable for any given information systems development domain. Indeed, quite l...
详细信息
ISBN:
(纸本)9783540729877
Agile software development methods are quickly being adopted by the software industry. Concerns have been raised whether agile methods are suitable for any given information systems development domain. Indeed, quite little is known empirically about the validity of agile methods in most of the industrial domains. Mobile information systems present no exception in this sense. Yet, they are subject to frequent requirements changes in terms of changing business needs and technology, and their market is highly competitive. Moreover, most of these systems are far away from so called agile home ground. This talk presents the need for agile methods in the focal domain, identifies their shortcomings on the basis of three large-scale case studies from industry. All of the cases deal with the development of mobile information system and come from Nokia, F-Secure and Philips. The talk also discusses the possible strategies for deploying agile solutions in practice.
computer vision is a branch of artificial intelligence (AI) that enables computers and systems to derive meaningful information from digital images, videos, and other visual inputs to conduct actions or offer suggesti...
详细信息
The article proposes is to solve the problem of measuring and controlling the state of water resources, in particular circulating water in water supply and sewerage systems. Existing hardware and software do not provi...
详细信息
This paper deals with the fast modeling and fast multiobjective optimal design of mechatronic systems. To solve this problem, the object-oriented modeling language Modelica and object-oriented programming language Jav...
详细信息
ISBN:
(纸本)9780791844854
This paper deals with the fast modeling and fast multiobjective optimal design of mechatronic systems. To solve this problem, the object-oriented modeling language Modelica and object-oriented programming language Java have been used to build an innovate software platform. This platform has been designed to allow multidisciplinary design optimization of complex systems using a free platform. This platform only contains open-source tools and frameworks and was validated on an optimization application: the stabilization of a quarter-car system.
It is important to share the reasoning evidence between contractor (IT vendor) and contractee (customer) when entering into a software development project, to achieve satisfactory agreement in estimating development v...
详细信息
It is important to share the reasoning evidence between contractor (IT vendor) and contractee (customer) when entering into a software development project, to achieve satisfactory agreement in estimating development volume. However, IT vendors usually find it difficult to explain the detail of system complexity to customers who have little knowledge about software development. This tends to result in complaint and dissatisfaction for such estimating effort. In this paper, we have applied CoBRA(Cost estimation Benchmarking and Risk Assessment) method for evaluating system requirement, found that the system complexity and the performance requirement are closely related as the cause of estimation discrepancy between IT vendor and customer, and made it clear that the visual explanation for these two factors is a key for the success of software development. (C) 2015 Published by Elsevier B.V.
暂无评论