Software

About: Software is a research topic. Over the lifetime, 130577 publications have been published within this topic receiving 2028987 citations. The topic is also known as: computer software & computational tool.

Metamorphic Testing: A New Approach for Generating Next Test Cases.

Abstract: In software testing, a set of test cases is constructed according to some predefined selection criteria. The software is then examined against these test cases. Three interesting observations have been made on the current artifacts of software testing. Firstly, an error-revealing test case is considered useful while a successful test case which does not reveal software errors is usually not further investigated. Whether these successful test cases still contain useful information for revealing software errors has not been properly studied. Secondly, no matter how extensive the testing has been conducted in the development phase, errors may still exist in the software [5]. These errors, if left undetected, may eventually cause damage to the production system. The study of techniques for uncovering software errors in the production phase is seldom addressed in the literature. Thirdly, as indicated by Weyuker in [6], the availability of test oracles is pragmatically unattainable in most situations. However, the availability of test oracles is generally assumed in conventional software testing techniques. In this paper, we propose a novel test case selection technique that derives new test cases from the successful ones. The selection aims at revealing software errors that are possibly left undetected in successful test cases which may be generated using some existing strategies. As such, the proposed technique augments the effectiveness of existing test selection strategies. The technique also helps uncover software errors in the production phase and can be used in the absence of test oracles.

Relicensing of electronically purchased software

Abstract: The present invention, generally speaking, provides a mechanism for use in conjunction with Electronic Software Distribution (ESD) that provides purchase documentation and that allows for convenient re-download and relicensing of soft-ware, including old software versions. In accordance with one embodiment of the invention, a relicensing manager software utility installed on an end user's machine interacts with one or more of a remote publisher site, a license clearing house and a merchant site to relicense, transfer, or obtain a refund for a software product. The term "software product" is used to refer to both executable software programs and to electronic content (e.g, pictures, recordings, etc.) The role of the publisher site is to archive both current and old versions of software products. The role of the license clearinghouse is to keep a count of licensed installations and to grant or deny permission to relicense based on the count. The role of the product server is to effect a credit transaction and, according to the terms of the end-user license, to refund the purchase price of a recently purchased software product for which the customer has requested license revocation. The relicensing manager refers to a license certificate stored on the end user's machine during installation and, preferably, backed-up on floppy disk or some other permanent storage medium. The license certificate describes license policies and server locations which are then followed by the relicensing manager.

Cheetah: software for high-throughput reduction and analysis of serial femtosecond X-ray diffraction data

Abstract: The emerging technique of serial X-ray diffraction, in which diffraction data are collected from samples flowing across a pulsed X-ray source at repetition rates of 100 Hz or higher, has necessitated the development of new software in order to handle the large data volumes produced. Sorting of data according to different criteria and rapid filtering of events to retain only diffraction patterns of interest results in significant reductions in data volume, thereby simplifying subsequent data analysis and management tasks. Meanwhile the generation of reduced data in the form of virtual powder patterns, radial stacks, histograms and other meta data creates data set summaries for analysis and overall experiment evaluation. Rapid data reduction early in the analysis pipeline is proving to be an essential first step in serial imaging experiments, prompting the authors to make the tool described in this article available to the general community. Originally developed for experiments at X-ray free-electron lasers, the software is based on a modular facility-independent library to promote portability between different experiments and is available under version 3 or later of the GNU General Public License.

Evaluation of safety-critical software

Abstract: Methods and approaches for testing the reliability and trustworthiness of software remain among the most controversial issues facing this age of high technology The authors present some of the crucial questions faced by software programmers and eventual users

An effective hybrid transactional memory system with strong isolation guarantees

Abstract: We propose signature-accelerated transactional memory (SigTM), ahybrid TM system that reduces the overhead of software transactions. SigTM uses hardware signatures to track the read-set and write-set forpending transactions and perform conflict detection between concurrent threads. All other transactional functionality, including dataversioning, is implemented in software. Unlike previously proposed hybrid TM systems, SigTM requires no modifications to the hardware caches, which reduces hardware cost and simplifies support for nested transactions and multithreaded processor cores. SigTM is also the first hybrid TM system to provide strong isolation guarantees between transactional blocks and non-transactional accesses without additional read and write barriers in non-transactional code.Using a set of parallel programs that make frequent use of coarse-grain transactions, we show that SigTM accelerates software transactions by 30% to 280%. For certain workloads, SigTM can match the performance of a full-featured hardware TM system, while for workloads with large read-sets it can be up to two times slower. Overall, we show that SigTM combines the performance characteristics and strong isolation guarantees of hardware TM implementations with the low cost and flexibility of software TM systems.