检索结果-内蒙古大学图书馆

2th ACM International conference on systems, programming, languages, and applications: Software for Humanity (SPLASH)

作者： Thummalapenta, Suresh Xie, Tao Tillmann, Nikolai de Halleux, Jonathan Su, Zhendong IBM Res Bangalore Karnataka India

ISBN: (纸本)9781450309400

High-coverage testing is challenging. Modern object-oriented programs present additional challenges for testing. One key difficulty is the generation of proper method sequences to construct desired objects as method parameters. In this paper, we cast the problem as an instance of program synthesis that automatically generates candidate programs to satisfy a user-specified intent. In our setting, candidate programs are method sequences, and desired object states specify an intent. Automatic generation of desired method sequences is difficult due to its large search space sequences often involve methods from multiple classes and require specific primitive values. This paper introduces a novel approach, called Seeker, to intelligently navigate the large search space. Seeker synergistically combines static and dynamic analyses: (1) dynamic analysis generates method sequences to cover branches;(2) static analysis uses dynamic analysis information for not-covered branches to generate candidate sequences;and (3) dynamic analysis explores and eliminates statically generated sequences. For evaluation, we have implemented Seeker and demonstrate its effectiveness on four subject applications totalling 28K LOC. We show that Seeker achieves higher branch coverage and def-use coverage than existing state-of-the-art approaches. We also show that Seeker detects 34 new defects missed by existing tools.

关键词： object-oriented testing Symbolic execution

来源：评论

学校读者我要写书评

暂无评论

Agile enterprise software development using domain-driven design and test first

Agile enterprise software development using domain-driven de...

引用

WikiSym'07, ISMM'07, HPC-GECO/CompFrame'07, DLS'07 - 22nd ACM SIGPLAN conference on object-oriented programming systems and applications Companion, oopsla'07

作者： Landre, Einar Wesenberg, Harald Olmheim, Jorn Statoil ASA Application Development Center Forusbeen 50 N-4035 Stavanger Norway Statoil ASA Energy Trading Support Rotvoll N-7005 Trondheim Norway Statoil ASA Application Development Center Rotvoll N-7005 Trondheim Norway

ISBN: (纸本)9781595938657

In this paper we present the experience gained and lessons learned when the IT department at Statoil ASA, a large Oil and Gas company in Norway, applied Domain-Driven design techniques in combination with agile software development practices to assess the software architecture of our next generation oil trading and supply chain application. Our hypothesis was that the use of object oriented techniques, Domain-Driven design and a proper objectrelational mapping tool would significantly improve the performance and reduce the code base compared with current legacy systems. The legacy system is based on several Oracle databases serving a variety of clients written in Java, Gupta Centura Team Developer and HTML. The databases have a layer of business logic written in PL/SQL offering various system services to the clients. To validate our new object oriented software architecture, we re-implemented one of the most computationally heavy and data intensive services using Test First and Domain-Driven design techniques. The resulting software was then tested on a set of servers with a representative subset of data from the production environment. We found that using these techniques improved our software architecture with respect to performance as well as code quality when running on top of our Oracle databases. We also tested the switch to an object database from Versant and achieved additional performance gains.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

MOP: An efficient and generic runtime verification frame

MOP: An efficient and generic runtime verification frame

引用

22nd Annual ACM SIGPLAN International conference on object-oriented programming, systems, languages, and applications, oopsla'07

作者： Chen, Feng Ros¸u, Grigore University of Illinois Urbana-Champaign Urbana-Champaign United States

ISBN: (纸本)1595937862

Monitoring-oriented programming (MOP1) [21, 18, 22, 19] is a formal framework for software development and analysis, in which the developer specifies desired properties using definable specification formalisms, along with code to execute when properties are violated or validated. The MOP framework automatically generates monitors from the specified properties and then integrates them together with the user-defined code into the original system. The previous design of MOP only allowed specifications without parameters, so it could not be used to state and monitor safety properties referring to two or more related objects. In this paper we propose a parametric specificationformalism-independent extension of MOP, together with an implementation of JavaMOP that supports parameters. In our current implementation, parametric specifications are translated into AspectJ code and then weaved into the application using off-the-shelf AspectJ compilers; hence, MOP specifications can be seen as formal or logical aspects. Our JavaMOP implementation was extensively evaluated on two benchmarks, Dacapo [14] and Tracematches [8], showing that runtime verification in general and MOP in particular are feasible. In some of the examples, millions of monitor instances are generated, each observing a set of related objects. To keep the runtime overhead of monitoring and event observation low, we devised and implemented a decentralized indexing optimization. Less than 8% of the experiments showed more than 10% runtime overhead; in most cases our tool generates monitoring code as efficient as the hand-optimized code. Despite its genericity, JavaMOP is empirically shown to be more efficient than runtime verification systems specialized and optimized for particular specification *** property violations were detected during our experiments; some of them are benign, others indicate defects in programs. Many of these are subtle and hard to find by ordinary testing. © 2007 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

LANGUAGE LEVEL PERSISTENCE FOR AN object-oriented APPLICATION programming PLATFORM.

LANGUAGE LEVEL PERSISTENCE FOR AN OBJECT-ORIENTED APPLICATIO...

引用

Proceedings of the Twenty-First Annual Hawaii International conference on System Sciences. Volume II: Software Track.

作者： Kempf, James Paepcke, Andreas Beach, Brian Mohan, Joseph Mahbod, Brom Snyder, Alan Hewlett-Packard Co Hewlett-Packard Co

ISBN: (纸本)0818608420

A description is given of a prototype persistent-object system, called DOOM (Data-oriented object Manager), which was designed to explore issues in language-level persistence for object-oriented application platforms. Language-level persitence presumes that the abstraction constructs for dealing with persistent data should be a well-integrated part of the underlying object-oriented language, rather than a separate language altogether. In its first iteration (DOOM-I), the language aspects of persistence were investigated, and a design which allowed the exchange of persistent objects between Commonobjects (an object-oriented extension to Common Lisp) and objective-C**2 (an object-oriented extension to C) was implemented. The system features a tight coupling between the languages' run-time support and a relational storage manager. In a second iteration (DOOM-II), the coupling between the database and the language was loosened, and more characteristics of the database were exposed to the applications programmer. The change was a result of disappointment on the part of trial users at the performance obtainable without caching of objects at the level of the language run-time system, and the desire to better support multiuser systems.

关键词： COMPUTER programming languages

来源：评论

学校读者我要写书评

暂无评论

COMBINING LOGIC- AND object-oriented programming LANGUAGE PARADIGMS.

COMBINING LOGIC- AND OBJECT-ORIENTED PROGRAMMING LANGUAGE PA...

引用

Proceedings of the Twenty-First Annual Hawaii International conference on System Sciences. Volume II: Software Track.

作者： Leonardi, Letizia Mello, Paola Univ di Bologna Italy Univ di Bologna Italy

The usefulness and synergetic advantages of combining logic- and object-oriented programming in a declarative framework are explored. Rather than present another specific combination of logic and object programming, t... 详细信息

ISBN: (纸本)0818608420

关键词： COMPUTER programming languages

来源：评论

学校读者我要写书评

暂无评论

Lazy modular upgrades in persistent object stores

Lazy modular upgrades in persistent object stores

引用

18th Annual conference on object-oriented programming, systems, languages and applications (oopsla 2003)

作者： Boyapati, C Liskov, B Shrira, L Moh, CH Richman, S MIT Comp Sci & Artificial Intelligence Lab Cambridge MA 02139 USA

Persistent object stores require a way to automatically upgrade persistent objects, to change their code and storage representation. Automatic upgrades are a challenge for such systems. Upgrades must be performed in a way that is efficient both in space and time, and that does not stop application access to the store. In addition, however, the approach must be modular: it must allow programmers to reason locally about the correctness of their upgrades similar to the way they would reason about regular code. This paper provides solutions to both problems. The paper first defines upgrade modularity conditions that any upgrade system must satisfy to support local reasoning about upgrades. The paper then describes a new approach for executing upgrades efficiently while satisfying the upgrade modularity conditions. The approach exploits object encapsulation properties in a novel way. The paper also describes a prototype implementation and shows that our upgrade system imposes only a small overhead on application performance.

关键词： software upgrades presistent objects ownership types

来源：评论

学校读者我要写书评

暂无评论

Introducing the ACM International conference on systems, programming, languages, and applications: Software for Humanity (SPLASH)

Proceedings of the Conference on Object-Oriented Programming...

引用

Proceedings of the conference on object-oriented programming systems, languages, and applications, oopsla 2011年 iii-iv页

作者： Lopes, Crista Videira University of California Irvine United States

来源：评论

学校读者我要写书评

暂无评论

Implementing concurrency control in reliable distributed object-oriented systems 2nd

引用

2nd European conference on object oriented programming, ECOOP 1988

作者： Parrington, Graham D. Shrivastava, Santosh K. Computing Laboratory The University of Newcastle upon Tyne Newcastle upon TyneNE1 7RU United Kingdom

ISBN: (纸本)9783540500537

One of the key concepts available in many object-oriented programming languages is that of type-inheritance, which permits new types to be derived from, and inherit the capabilities of, old types. This paper describes how to exploit this property in a very simple fashion to implement object-oriented concurrency control. We show how by using type-inheritance, objects may control their own level of concurrency in a type-specific manner. Simple examples demonstrate the applicability of the approach. The implementation technique described here is being used to develop Arjuna, a fault-tolerant distributed programming system supporting atomic actions. © 1988, Springer-Verlag Berlin Heidelberg.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Bottle graphs: Visualizing scalability bottlenecks in multi-threaded applications 13

Bottle graphs: Visualizing scalability bottlenecks in multi-...

引用

2013 28th ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications, oopsla 2013

作者： Bois, Kristof Du Sartor, Jennifer B. Eyerman, Stijn Eeckhout, Lieven Ghent University Belgium

ISBN: (纸本)9781450323741

Understanding and analyzing multi-threaded program performance and scalability is far from trivial, which severely complicates parallel software development and optimization. In this paper, we present bottle graphs, a powerful analysis tool that visualizes multi-threaded program performance, in regards to both per-thread parallelism and execution time. Each thread is represented as a box, with its height equal to the share of that thread in the total program execution time, its width equal to its parallelism, and its area equal to its total running time. The boxes of all threads are stacked upon each other, leading to a stack with height equal to the total program execution time. Bottle graphs show exactly how scalable each thread is, and thus guide optimization towards those threads that have a smaller parallel component (narrower), and a larger share of the total execution time (taller), i.e. to the 'neck' of the bottle. Using light-weight OS modules, we calculate bottle graphs for unmodified multi-threaded programs running on real processors with an average overhead of 0.68%. To demonstrate their utility, we do an extensive analysis of 12 Java benchmarks running on top of the Jikes JVM, which introduces many JVM service threads. We not only reveal and explain scalability limitations of several well-known Java benchmarks;we also analyze the reasons why the garbage collector itself does not scale, and in fact performs optimally with two collector threads for all benchmarks, regardless of the number of application threads. Finally, we compare the scalability of Jikes versus the OpenJDK JVM. We demonstrate how useful and intuitive bottle graphs are as a tool to analyze scalability and help optimize multi-threaded applications.

关键词： Scalability

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the conference on object-oriented programming systems, languages, and Application, oopsla: Foreword

Proceedings of the Conference on Object-Oriented Programming...

引用

Proceedings of the conference on object-oriented programming systems, languages, and applications, oopsla 2005年 iii页

作者： Johnson, Ralph Gabriel, Richard P. University of Illinois United States Sun Microsystems Laboratories

No abstract available

关键词：

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：