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

AUTOMATED SOFTWARE TEST DATA GENERATION

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1990年第8期16卷 870-879页

作者： KOREL, B Dep. Comp. Sci. Wayne State Univ. Detroit MI 48202 USA

An alternative approach to test-data generation based on actual execution of the program under test, function-minimization methods and dynamic data-flow analysis is presented. Test data are developed for the program using actual values of input variables. When the program is executed, the program execution flow is monitored. If during program execution an undesirable execution flow is observed then function-minimization search algorithms are used to automatically locate the values of input variables for which the selected path is traversed. In addition, dynamic data-flow analysis is used to determine those input variables responsible for the undesirable program behavior, significantly increasing the speed of the search process. The approach to generating test data is then extended to programs with dynamic data structures and a search method based on dynamic data-flow analysis and backtracking is presented. In the approach described, values of array indexes and pointers are known at each step of program execution; this information is used to overcome difficulties of array and pointer handling.

关键词： observational data executive stream Backtracking Data structures Flow Analysis Search methods Pointer Input variables Legal executions data flow analysis Search process program execution program Behavior

来源：评论

学校读者我要写书评

暂无评论

Techniques for secure execution of mobile code:: a review

引用

ANNALES DES TELECOMMUNICATIONS-ANNALS OF TELECOMMUNICATIONS 2000年第7-8期55卷 379-387页

作者： Mas-Ribés, JM Macq, B Univ Catholique Louvain Telecommun Lab B-1348 Louvain Belgium

Code mobility can be defined as the capability to dynamically change the bindings between code fragments and the location in which they are executed. The concept of code mobility is not new, but in recent years has become a hot topic. Web browsers are able to download programs attached to web pages that are executed locally. On the other hand, mobile agent technology allows for agents to autonomously migrate to new hosts. A major concern involved in the use of these technologies is security: the integrity of the receiving host must not be compromised by the execution of mobile code. The local host needs to define a security policy that specifies which resources are made available to mobile code, potentially untrusted. On the other hand, the runtime system must, somehow enforce such policy. In this paper;we present a survey of different techniques aimed at resolving the problem of secure resource management, and argue within which context they are appropriate.

关键词： mobile software security Java language resource management program execution review

来源：评论

学校读者我要写书评

暂无评论

ERRONEOUS execution AND RECOVERY IN MICROPROCESSOR SYSTEMS

引用

SOFTWARE & MICROSYSTEMS 1985年第3期4卷 63-70页

作者： HALSE, RG PREECE, C UNIV DURHAM DEPT ENGNDURHAM DH1 3LEENGLAND

Transient disturbances to microprocessor systems can cause program execution to depart from its normal sequence of operations. In the paper figures for the probability of recovery following a transient disturbance are calculated. The approach is based on analysis of program execution following a random jump to an arbitrary address within the memory map, and comparative figures are presented for a number of microprocessors. Suggestions are made for enhancing the probability of recovery.

关键词： fault recovery mechanisms system recovery transient disturbance Other aspects of analogue and digital computers recovery microprocessor systems memory map erroneous execution arbitrary address random jump fault tolerant computing Diagnostic, testing, debugging and evaluating systems program execution

来源：评论

学校读者我要写书评

暂无评论

OPENCL: A PARALLEL programMING STANDARD FOR HETEROGENEOUS COMPUTING SYSTEMS

引用

COMPUTING IN SCIENCE & ENGINEERING 2010年第3期12卷 66-72页

作者： Stone, John E. Gohara, David Shi, Guochun Univ Illinois Beckman Inst Adv Sci & Technol Theoret & Computat Biophys Grp Urbana IL USA Univ Illinois CUDA Ctr Excellence Urbana IL USA Washington Univ Sch Med Dept Biochem & Biophys St Louis MO 63130 USA Washington Univ Sch Med Ctr Computat Biol St Louis MO 63130 USA Penn State Univ University Pk PA 16802 USA Harvard Univ Sch Med Cambridge MA 02138 USA Univ Illinois Natl Ctr Supercomp Applicat Urbana IL USA

The OpenCL standard offers a common API for program execution on systems composed of different types of computational devices such as multicore CPUs, GPUs, or other accelerators.

关键词： API GPU OpenCL standard application program interfaces computational devices computer graphic equipment coprocessors heterogeneous computing systems multicore CPU parallel programming parallel programming standard program execution

来源：评论

学校读者我要写书评

暂无评论

COMPUTER-program SCHEMATA AND THE PROCESSES THEY GENERATE

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1982年第4期8卷 412-419页

作者： WESSELKAMPER, TC CUNY HUNTER COLL DEPT COMP SCINEW YORKNY 10021

An examination is conducted of the definitions for a program schema, the execution of such a program schema, and a process generated by a program schema. This is done not from the point of view of what the process does, of what it computes, but from the point of view of where the process goes, of the path that it takes during execution. A block of code executed in a straight line is seen as a single state visited. Results due to Hartfiel are utilized to characterize the cone of stochastic eigenvectors of the class of homogeneous Markov processes generated by a program schema. It is shown that the stochastic behavior vector of a process generated by the same schema lies in this cone. In the case of a cyclic structured program schema, all of the vertices of the base of the cone are exactly generated by the schema's circuits. Figures.

关键词： Strongly Connected Graph Cyclic Structured program Homogeneous Markov Process Process program execution program Schema State Frequency Vector State Transition Matrix Stochastic Eigenvector

来源：评论

学校读者我要写书评

暂无评论

I spy

引用

IEEE SOFTWARE 2007年第2期24卷 16-17页

作者： Spinellis, Diomidis Athens Univ Econ & Business Dept Management Sci & Technol Athens Greece

The ultimate source of truth regarding a program is its execution. When a program runs, everything comes to light: correctness, CPU and memory use, and even interactions with (potentially buggy) libraries, operating systems, and hardware. Yet, this source of truth is also fleeting, rushing into oblivion at the tune of billions of instructions per second. Worse, capturing that truth can be a tricky, tortuous, or downright treacherous affair. Peeking into a program's operation typically involves preparing a special version of it: we might compile it with specific flags or options, link it with appropriate libraries, or run it with suitable arguments. Often, we can't easily reproduce a problem, so we need to ship our carefully crafted program version to a customer, who then will have to wait for the problem to appear again. Irritatingly, some of the ways we instrument programs make the program too slow for production use or obfuscate the original problem

关键词： software engineering program execution software development analysis instrumentation measurement performance tracing computer software Software engineering Software design flexible AC transmission systems original problem program version Libraries program execution instructions per second truth

来源：评论

学校读者我要写书评

暂无评论

EMBEDDING DSP

引用

IEEE SPECTRUM 1991年第11期28卷 52-54页

作者： MATHER, BC Southwest Research Institute USA

Tools for designing systems around digital signal processor (DSP) chips are discussed. These tools accelerate the design and development of systems with embedded DSPs and can also reduce development costs by letting the engineer focus on a specific application rather than the myriad details of the programming task itself. While a developmental program is running, designers can use higher-level tools-debuggers, simulators, and emulators-to help provide insight into the program\'s execution and flaws. Some recent upgrades are noted, and tools for block-diagram algorithm development are examined. A table of representative packages is given.

关键词： Systems development Insight design system program execution EQUIPMENT simulator flaws Development programmes BLOCK DIAGRAM Personnel Selection digital signals

来源：评论

学校读者我要写书评

暂无评论

A Framework for Region-based Instrumentation of Energy Consumption of program executions

A Framework for Region-based Instrumentation of Energy Consu...

引用

Annual Conference of the IEEE Industrial Electronics Society

作者： Simon Ostermann Thomas S. Eiter Vlad Nae Radu Prodan Institute of Computer Science University of Innsbruck

ISBN: (纸本)9781479902255

Energy efficiency has become a key issue in computer science related research and development over the last years. While most approaches focus either on hardware or on software, we propose a solution incorporating both hardware and software enabling the measurement the energy consumption of code segments executed on physical machines. Our novel approach to energy measurement and instrumentation allows for both state-of-the-art offline analysis, and innovative online measurements associated with the code being executed. We present our modular architecture which shields the users from in-depth knowledge of their energy measurement hardware, and allows the development of code for measurement and instrumentation independent of each instruments' proprietary interface. Finally, we propose an efficient method for increasing the accuracy of measurements for low sampling rate measurement devices.

关键词： energy consumption computer science Energy measurement Computer hardware Codes program execution computer software Energy efficiency measuring instruments

来源：评论

学校读者我要写书评

暂无评论

Detection and prevention of stack buffer overflow attacks

引用

COMMUNICATIONS OF THE ACM 2005年第11期48卷 50-56页

作者： Kuperman, BA Brodley, CE Ozdoganoglu, H Vijaykumar, TN Jalote, A Swarthmore Coll Dept Comp Sci Swarthmore PA 19081 USA Tufts Univ Dept Comp Sci Medford MA 02155 USA Purdue Univ Sch Elect & Comp Engn W Lafayette IN 47907 USA

The July 2005 announcement by computer security researcher Michael Lynn atthe Black Hat security conference of a software flaw in Cisco Systems routers grabbed mediaattention worldwide. The flaw was an instance of a buffer overflow, a security vulnerability thathas been discussed for 40 years yet remains one of the most frequently reported types of remoteattack against computer systems. In 2004, the national cyber-security vulnerability database(***) reported 323 buffer overflow vulnerabilities, an average of more than 27 newinstances per month. For the first six months of 2005, it reported 331 buffer overflowvulnerabilities. Meanwhile, security researchers have sought to develop techniques to prevent ordetect the exploitation of these vulnerabilities. Here, we discuss what buffer overflow attacks areand survey the various tools and techniques that can be used to mitigate their threat to computersystems.

关键词： .causes attackers program execution DETECTION AND PREVENTION buffer overflow vulnerabilities overflow attack

来源：评论

学校读者我要写书评

暂无评论

PROVIDE - A PROCESS VISUALIZATION AND DEBUGGING ENVIRONMENT

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1988年第6期14卷 849-857页

作者： MOHER, TG Department of Electrical Engineering and Computer Science University of Illinois at Chicago IL 60680

The author introduces PROVIDE, a source-level process visualization and debugging environment currently under development at the University of Illinois at Chicago. PROVIDE is a modern coding and debugging environment that is designed to allow the user to configure interaction at a desired level of abstraction. It emphasizes the use of interactive computer graphics for the illustration of program execution, with special attention to the requirements of program debugging. The major features of PROVIDE are presented, especially the concepts of deferred-binding program animation, which allows users to interactively change the depiction of program execution during the debugging task, and process history consistency maintenance, which guarantees a consistent (automatically updated) record of program execution in the face of changes to program instructions and run-time data values. The current PROVIDE prototype is implemented on Macintosh workstations networked to a VAX 11/780 running 4.2 BSD Unix.

关键词： Interactive computer graphics Legal executions ILLUSTRATIONS Chicago program execution level of abstraction Illinois Virtual Address eXtension Debugging process visualization instruction

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：