We describe a complete theorem proving procedure for higher-order logic that uses SAT-solving to do much of the heavy lifting. The theoretical basis for the procedure is a complete, cut-free, ground refutation calculu...
详细信息
This paper studies the collection of appropriate data for software reliability analysis and modeling. Our approach satisfies the data requirements for various reliability models under the constraints imposed by our pr...
详细信息
This paper studies the collection of appropriate data for software reliability analysis and modeling. Our approach satisfies the data requirements for various reliability models under the constraints imposed by our project environment. These data-model relations and data - environment constraints are characterized to provide a tentative roadmap for data collection. In the process of collecting data for a group of projects in the system testing stage, we encountered various problems and devised solutions and improvement initiatives to deal with them. We summarize our experience in this paper so that similar initiatives in quality improvement under similar environments can be implemented more effectively.
This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particul...
详细信息
ISBN:
(数字)9781447134527
ISBN:
(纸本)9783540198840
This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and interpreting class hierarchies in Z; and software quality assurance using the SAZ method.;provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.
This study was conducted to determine the relative perceived difficulty of performing different mouse tasks (pairings of mouse actions with button combinations). Right-handed individuals with various types of computer...
This study was conducted to determine the relative perceived difficulty of performing different mouse tasks (pairings of mouse actions with button combinations). Right-handed individuals with various types of computer experience used a 3-button mouse to perform 49 simple target acquisition tasks. Perceived difficulty judgments varied with tasks. Significant groupings of tasks along the difficulty dimension were also apparent. For most mouse tasks, the left and center buttons were judged to be relatively easier to use than the right button. Additionally, chorded use of the left and center buttons was perceived to be easier than use of the right button alone. The results suggest that systems should not rely upon the right mouse button as a default setting for system-related functions. Other considerations for mouse usage are discussed.
We study the performance of various run placement policies on disks for the merge phase of concurrent mergesorts using parallel prefetching. The initial sorted runs (input) of a merge and its final sorted run (output)...
详细信息
A semantic file system is an information storage system that provides flexible associative access to the system's contents by automatically extracting attributes from files with file type specific transducers. Ass...
详细信息
The application of both classical and state of the art tools of quality control to the software development process are described. These tools and methods use actual test results and determine the range of failure rat...
详细信息
The application of both classical and state of the art tools of quality control to the software development process are described. These tools and methods use actual test results and determine the range of failure rate expected, based on the anticipated customer use. These tools properly take into account the natural "clustering" of orthogonal defect discoveries during stochastic testing, consistent with Mandelbrot's work in Poisson processes. These tools are robust, have a history of success in other fields, and are easily implemented. They clearly define the bounds of the software reliability which are supported by the testing, and the probable risk that the software will be less reliable than expected. They enable the timely introduction of software without unreasonable risks of uncertain reliability.
We present an overview of our ongoing work on parallelizing self-adjusting-computation techniques. In self-adjusting computation, programs can respond to changes to their data (e.g., inputs, outcomes of comparisons) a...
详细信息
ISBN:
(纸本)1595936904
We present an overview of our ongoing work on parallelizing self-adjusting-computation techniques. In self-adjusting computation, programs can respond to changes to their data (e.g., inputs, outcomes of comparisons) automatically by running a change-propagation algorithm. This ability is important in applications where inputs change slowly over time. All previously proposed self-adjusting computation techniques assume a sequential execution model. We describe techniques for writing parallel self-adjusting programs and a change propagation algorithm that can update computations in parallel. We describe a prototype implementation and present preliminary experimental results. Copyright 2007 ACM.
Testing Software Product Lines is a very challenging task due to variability. Frequently, approaches such as combinatorial testing are used to generate representative sets of products for testing purposes instead of t...
详细信息
暂无评论