Using Assertions In Declarative And Operational Models For Automated Debugging

Author : Linkoeping University. Dept. of Computer and Information Science,Peter Fritzson,Mikhail Auguston,Nahid Shahmehri
Publisher : Unknown
Page : 12 pages
File Size : 42,9 Mb
Release : 1993
Category : Debugging in computer science
ISBN : OCLC:186642714

Get Book

Using Assertions in Declarative and Operational Models for Automated Debugging by Linkoeping University. Dept. of Computer and Information Science,Peter Fritzson,Mikhail Auguston,Nahid Shahmehri Pdf

Abstract: "The paper presents an improved method for semi- automatic bug localization, by extending the Generalized Algorithmic Debugging Technique, GADT [Fritzson, et.al-91], which uses declarative assertions about program units such as procedures, with operational assertions about program behavior. For example, functional properties are best expressed through declarative assertions about procedure units, whereas order-dependent properties such as race conditions in parallel processing, or sequencing constraints in general, are more easily expressed using operational semantics. A powerful assertion language, called FORMAN, has been developed to this end. Such assertions can be collected into assertion-libraries, which can greatly increase the degree of automation in bug localization. The long-range goal of this work is a semi-automatic debugging and testing system which can be used during large- scale program development of non-trivial programs. The need for such automated debugging support will increase as applications on parallel architectures become more prevalent, since such programs are both harder to write and to debug, partly because of non-sequential execution semantics. Our previously developed GADT method was the first declarative algorithmic debugging technique for procedural imperative languages with side-effects. GADT is generally applicable to procedural languages, and is not dependent on any ad hoc assumptions regarding the subject program. The original form of algorithmic debugging, introduced by Shapiro [Shapiro-82], is however limited to small Prolog programs without side-effects. Another drawback of the original method is the large number of interactions with the user during bug localization. To our knowledge, the extended GADT presented here is the first method which uses powerful operational assertions in algorithmic debugging. In addition to providing support for local-level bug localization within procedures (which is not handled well by basic algorithmic debugging), the operational assertions reduce the number of irrelevant questions to the programmer during bug localization, thus further improving bug localization. Previously, we have enhanced the bug localization properties of GADT, using lookup in a category partition testing database. In addition, we use program slicing, a data flow analysis technique, to dynamically compute which parts of the program are relevant for the search. A prototype of the GADT has been implemented in Pascal, supporting debugging in a subset of Pascal. An interpreter of FORMAN assertions has also been implemented in Pascal. During bug localization, both types of assertions are evaluated on execution traces."

Author : Peter A. Fritzson
Publisher : Springer Science & Business Media
Page : 392 pages
File Size : 40,5 Mb
Release : 1993-11-10
Category : Computers
ISBN : 3540574174

Get Book

Automated and Algorithmic Debugging by Peter A. Fritzson Pdf

Debugging has always been a costly part of software development, and many attempts have been made to provide automatic computer support for this task.Automated debugging has seen major develoments over the last decade. Onesuccessful development is algorithmic debugging, which originated in logic programming but was later generalized to concurrent, imperative, and lazy functional languages. Important advances have also been made in knowledge-based program debugging, and in approaches to automated debugging based on static and dynamic program slicing based on dataflow and dependence analysis technology. This is the first collected volume of papers on automated debugging and presents latest developments, tutorial papers, and surveys.

Author : Vipin Kumar,Marina L. Gavrilova,C.J. Kenneth Tan,Pierre L'Ecuyer
Publisher : Springer
Page : 1062 pages
File Size : 43,5 Mb
Release : 2003-08-03
Category : Computers
ISBN : 9783540448396

Get Book

Computational Science and Its Applications - ICCSA 2003 by Vipin Kumar,Marina L. Gavrilova,C.J. Kenneth Tan,Pierre L'Ecuyer Pdf

The three-volume set, LNCS 2667, LNCS 2668, and LNCS 2669, constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2003, held in Montreal, Canada, in May 2003.The three volumes present more than 300 papers and span the whole range of computational science from foundational issues in computer science and mathematics to advanced applications in virtually all sciences making use of computational techniques. The proceedings give a unique account of recent results in computational science.

Author : Yuan-Shun Dai
Publisher : Nova Publishers
Page : 336 pages
File Size : 48,7 Mb
Release : 2007
Category : Computers
ISBN : 1600212026

Get Book

Advanced Parallel and Distributed Computing by Yuan-Shun Dai Pdf

The field of parallel and distributed computing is undergoing changes at a breathtaking pace. Networked computers are now omnipresent in virtually every application, from games to sophisticated space missions. The increasing complexity, heterogeneity, largeness, and dynamism of the emerging pervasive environments and associated applications are challenging the advancement of the parallel and distributed computing paradigm. Many novel infrastructures have been or are being created to provide the necessary computational fabric for realising parallel and distributed applications from diverse domains. New models and tools are also being proposed to evaluate and predict the quality of these complicated parallel and distributed systems. Current and recent past efforts, made to provide the infrastructures and models for such applications, have addressed many underlying complex problems and have thus resulted in new tools and paradigms for effectively realising parallel and distributed systems. This book showcases these novel tools and approaches with inputs from relevant experts.

Author : Shmuel Ur,Eyal Bin,Yaron Wolfsthal
Publisher : Springer
Page : 270 pages
File Size : 41,7 Mb
Release : 2006-03-03
Category : Computers
ISBN : 9783540326052

Get Book

Hardware and Software, Verification and Testing by Shmuel Ur,Eyal Bin,Yaron Wolfsthal Pdf

This book constitutes the refereed post-proceedings of the First International Conference on Hardware Verification, Software Testing, and PADTAD held in November 2005. The conference combines the sixth IBM Verification Workshop, the fourth IBM Software Testing Workshop, and the third PADTAD (Parallel and Distributed Systems: Testing and Debugging) Workshop. The 14 revised full papers presented together with three invited contributions were carefully reviewed and selected from 31 submissions. The papers address all current issues in hardware/software verification, software testing, and testing of parallel and concurrent applications.

Author : Zoran Stojanovic,Zoran Stojanovi?,Ajantha Dahanayake
Publisher : IGI Global
Page : 434 pages
File Size : 42,5 Mb
Release : 2005-01-01
Category : Technology & Engineering
ISBN : 9781591404262

Get Book

Service-oriented Software System Engineering by Zoran Stojanovic,Zoran Stojanovi?,Ajantha Dahanayake Pdf

Annotation Current IT developments like competent-based development and Web services have emerged as new effective ways of building complex enterprise systems and providing enterprise allocation integration. However, there is still much that needs to be researched before service-oriented software engineering (SOSE) becomes a prominent source for enterprise system development. Service-Oriented Software System Engineering: Challenges and Practices provides a comprehensive view of SOSE through a number of different perspectives.

Author : Barry Boehm,IEEE, Press Staff
Publisher : Unknown
Page : 766 pages
File Size : 49,9 Mb
Release : 1999
Category : Computer science
ISBN : 1581130740

Get Book

Software Engineering (ICSE '99) by Barry Boehm,IEEE, Press Staff Pdf

Author : Gopal Gupta
Publisher : Springer
Page : 376 pages
File Size : 49,6 Mb
Release : 2003-05-20
Category : Computers
ISBN : 9783540492016

Get Book

Practical Aspects of Declarative Languages by Gopal Gupta Pdf

Declarative languages have traditionally been regarded by the mainstream c- puting community as too impractical to be put to practical use. At the same time, traditionalconferencesdevotedto declarativelanguagesdo not haveissues related to practice as their central focus. Thus, there are few forums devoted to discussion of practical aspects and implications of newly discovered results and techniques related to declarative languages. The goal of the First International Workshop on Practical Aspects of Declarative Languages (PADL) is to bring together researchers,practitioners and implementors of declarative languages to discuss practical issues and practical implications of their research results. The workshop was held in San Antonio, Texas, during January 18-19, 1999. This volume contains its proceedings. Fifty three papers were submitted in response to the call for papers. These papers were written by authors belonging to twenty one countries from six c- tinents. Each paper was assigned to at least two referees for reviewing. Twenty four papers were nally selected for presentation at the workshop. Many good papers could not be included due to the limited duration of the workshop. The workshop included invited talks by Mark Hayden of DEC/Compaq Systems - search Center, speaking on \Experiences Building Distributed Systems in ML," and Mark Wallace of Imperial College Center for Planning And Resource C- trol (IC-PARC), speaking on \ECLiPSe: Declarative Specic ation and Scalable Implementation.

Author : Michael Johnson,Dusko Pavlovic
Publisher : Springer
Page : 238 pages
File Size : 53,8 Mb
Release : 2011-01-14
Category : Computers
ISBN : 9783642177965

Get Book

Algebraic Methodology and Software Technology by Michael Johnson,Dusko Pavlovic Pdf

This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010. The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.

Author : José Meseguer,Grigore Rosu
Publisher : Springer
Page : 434 pages
File Size : 42,9 Mb
Release : 2008-07-29
Category : Computers
ISBN : 9783540799801

Get Book

Algebraic Methodology and Software Technology by José Meseguer,Grigore Rosu Pdf

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies, logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, coinduction, theorem proving and logical frameworks for reasoning, logics of programs, as well as algebra and coalgebra.

Author : Pierpaolo Degano,Rocco de Nicola,José Meseguer
Publisher : Springer
Page : 810 pages
File Size : 55,8 Mb
Release : 2008-06-11
Category : Computers
ISBN : 9783540686798

Get Book

Concurrency, Graphs and Models by Pierpaolo Degano,Rocco de Nicola,José Meseguer Pdf

This Festschrift volume, published in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers that examine the research areas to which he has contributed, from logic programming to software engineering, as well as his many achievements.

Author : Anonim
Publisher : Institute of Electrical & Electronics Engineers(IEEE)
Page : 400 pages
File Size : 46,6 Mb
Release : 2003
Category : Computers
ISBN : 0769520359

Get Book

Proceedings by Anonim Pdf

The ASE conference is the major conference for theory and practice concerned with automating the software development process. Formerly known as Knowledge-Based Software Engineering (KBSE), the conference expanded in order to reach out to other scientific communities concerned with the automation aspects of formal methods, software process, human-computer interaction, requirements engineering, reverse engineering, testing and verification and validation, while still including an active artificial intelligence and knowledge-based research focus.

Author : Hanne Riis Nielson,Emilio Tuosto
Publisher : Springer
Page : 267 pages
File Size : 47,6 Mb
Release : 2019-06-04
Category : Computers
ISBN : 9783030223977

Get Book

Coordination Models and Languages by Hanne Riis Nielson,Emilio Tuosto Pdf

This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full papers included in this volume were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections named: computational models; tools; exploring new frontiers; and coordination patterns.

Author : Pierre Deransart,M.V. Hermenegildo,J. Maluszynski
Publisher : Springer
Page : 370 pages
File Size : 50,8 Mb
Release : 2006-12-31
Category : Computers
ISBN : 9783540400165

Get Book

Analysis and Visualization Tools for Constraint Programming by Pierre Deransart,M.V. Hermenegildo,J. Maluszynski Pdf

Coordinating production across a supply chain, designing a new VLSI chip, allocating classrooms or scheduling maintenance crews at an airport are just a few examples of complex (combinatorial) problems that can be modeled as a set of decision variables whose values are subject to a set of constraints. The decision variables may be the time when production of a particular lot will start or the plane that a maintenance crew will be working on at a given time. Constraints may range from the number of students you can ?t in a given classroom to the time it takes to transfer a lot from one plant to another.Despiteadvancesincomputingpower,manyformsoftheseandother combinatorial problems have continued to defy conventional programming approaches. Constraint Logic Programming (CLP) ?rst emerged in the mid-eighties as a programming technique with the potential of signi?cantly reducing the time it takes to develop practical solutions to many of these problems, by combining the expressiveness of languages such as Prolog with the compu- tional power of constrained search. While the roots of CLP can be traced to Monash University in Australia, it is without any doubt in Europe that this new software technology has gained the most prominence, bene?ting, among other things, from sustained funding from both industry and public R&D programs over the past dozen years. These investments have already paid o?, resulting in a number of popular commercial solutions as well as the creation of several successful European startups.

Author : Harry D. Foster,Adam C. Krolnik,David J. Lacey
Publisher : Springer Science & Business Media
Page : 377 pages
File Size : 52,5 Mb
Release : 2012-12-06
Category : Technology & Engineering
ISBN : 9781441992284

Get Book

Assertion-Based Design by Harry D. Foster,Adam C. Krolnik,David J. Lacey Pdf

There is much excitement in the design and verification community about assertion-based design. The question is, who should study assertion-based design? The emphatic answer is, both design and verification engineers. What may be unintuitive to many design engineers is that adding assertions to RTL code will actually reduce design time, while better documenting design intent. Every design engineer should read this book! Design engineers that add assertions to their design will not only reduce the time needed to complete a design, they will also reduce the number of interruptions from verification engineers to answer questions about design intent and to address verification suite mistakes. With design assertions in place, the majority of the interruptions from verification engineers will be related to actual design problems and the error feedback provided will be more useful to help identify design flaws. A design engineer who does not add assertions to the RTL code will spend more time with verification engineers explaining the design functionality and intended interface requirements, knowledge that is needed by the verification engineer to complete the job of testing the design.