Loading [MathJax]/extensions/MathMenu.js
IEEE Xplore Search Results

Showing 1-25 of 3,828 resultsfor

Results

This document specifies an exchange format, using the extensible Markup Language (XML), for exchanging the test description information defining test performance, test conditions, diagnostic requirements, and support equipment to locate, align, and verify the proper operation of a Unit Under Test (UUT). This is in support of the development of Test Program Sets (TPSs) that will be used in an autom...Show More
Software testing is an essential means of evaluating software quality. System and acceptance tests aim to validate a system's conformance to its requirements on a high level of system abstraction. Therefore, they are generally performed by executing end-user scenarios through the system's graphical user interface (GUI). However, to the authors' best knowledge, there are no empirical studies that e...Show More
Employing a test platform in an SOC design to execute test procedures can greatly simplify many SOC test problems. It, however, would require tremendous human efforts if the test platform would be generated manually. In this paper, we describe a design automation system, called DASTEP (design automation system for SOC test platform), that is aimed to help users build a test platform and incorporat...Show More
The rapid emergence of three dimensional integration using a ``Through-Silicon-Via'' (TSV) process calls for research activities on testing and design for testability. Compared to the traditional 2D designs, the 3D-SoC poses great challenges in testing, such as three dimensional placement of cores and test resources, severe chip overheating due to the nonuniform distribution of power density in 3D...Show More
Glaucoma is the leading cause of irreversible but preventable blindness worldwide, and visual field testing is an important tool for its diagnosis and monitoring. Testing using standard visual field thresholding procedures is time-consuming, and prolonged test duration leads to patient fatigue and decreased test reliability. Different visual field testing algorithms have been developed to shorten ...Show More
Analog-to-Digital Converters (ADCs) are becoming increasingly common to be involved in most systems in Integrated Circuits (ICs). Thanks to the rapid growth of modern semiconductor technology, the performance of the data converters becomes better and better. One of the difficulties being faced is to be able to accurately and cost-effectively test the continually better performance ADCs. The conven...Show More
A highly experienced level of quality testing capabilities for HVDC converters is one of the key pre-requisites in guaranteeing operational reliability and availability of HVDC transmission schemes. In this paper we combine both aspects by introducing the testing capabilities of a newly installed Power Converter Test Center together with an overview of reliability and availability of HVDC projects...Show More
As defense industry procurement budgets continue to decrease and contractor consolidation increases, the demand for cost effective and timely product testing and efficient test facility utilization increases. To reduce the product test cost and cycle-time and test-facility space requirements, the Raytheon Missile Systems Test-Systems-Design-Center (TSDC) developed and implemented the Standard Test...Show More
A major issue in replacing testers is the need to transport test program sets (TPSs) from the installed tester to the replacement tester. A test program set includes test programs and fixtures. The authors first address some of the key issues involved in developing translation systems to transport TPSs from an installed depot tester to a replacement commercial tester. They then provide an example ...Show More
An approach for feature-based testing in efficient test processes, especially for use in agile development, is presented. Methods of model synthesis, model-based test generation, as well as coverage-based and requirement-based test prioritization are linked together in order to systematically and efficiently obtain prioritized test cases. The result is a reordered test suite promising quick feedba...Show More
Software testing has long been regarded as a useful method for raising the caliber and dependability of software. Path testing is the principal technique for improving software quality and the most reliable software testing approach overall. In a realm of software testing, the demand for efficient and comprehensive automated test data generation techniques is ever-increasing. Addressing this need,...Show More
The paper presents an overview of a test automation framework aimed at end-to-end functional and non-functional testing of DLT-based hybrid financial software for post-trade. The proposed solution comprises the components designed for testing user-facing parts of the SUT as well as business logic specific for different DLT-based architectures. This combined approach is seen as a viable solution of...Show More
This paper discusses our experience with the advantages of having SLT in an industrial test flow. In addition, the level of correlation of SLT failures to parameters from other testing steps is also studied for an in-production IC in this work to evaluate if the system-level failures of an IC can be identified at other testing steps. Note that the correlation study performed in this paper is not i...Show More
In this paper we revisit the field of search-based software testing (SBST) in the context of its technological maturity. We highlight some successes with respect to tools, hybrid approaches, extensions and industry adoption. We then discuss some open challenges that remain for SBST including the need for new approaches to system testing, automated oracle generation, incorporating humans into the s...Show More
Fault coverage and test time have important roles in using built in self-test (BIST). Two parameters are crucial and effective in BIST design: LFSR's polynomial (or configuration) and its initial seed. In this paper we propose a practical method for finding near optimal LFSR with genetic algorithm (GA) and show that LFSR is a good TPG compared with other TPGs. In this method, the candidate seeds a...Show More
Software systems are important components for the deployment and operation of large-scale critical systems, such as nuclear plants and aerospace shuttles. The very high reliability is critically required. Due to the very large scale and computational complexity, however, there are some inherent challenges for conducting extensive testing. In this paper, we define such challenges in the testing sco...Show More
Mutation testing is one of the most powerful methodologies to evaluate the quality of test suites, and has also been demonstrated to be effective for various other testing and debugging problems, e.g., test generation, fault localization, and program repair. However, despite various mutation testing optimization techniques, mutation testing is still notoriously time-consuming. Regression Testing S...Show More
Software projects capture redundant information in various kinds of artifacts, as specifications from the source code are also tested and documented. Such redundancy provides an opportunity to reduce development effort by supporting the joint generation of different types of artifacts. We introduce a tool-supported technique, called DScribe, that allows developers to combine unit test and document...Show More
Mutation testing has been shown to be one of the strongest testing criteria for the evaluation of both programs and test suites. Comprehensive sets of mutants require strong test sets to achieve acceptable testing coverage. Moreover, mutation operators are valuable for the evaluation of other testing approaches. Although its importance has been highlighted for aspect-oriented (AO) programs, there ...Show More
A basis for the electronic reporting of transformer test data on liquid immersed distribution transformers, as defined in the IEEE C57.12.2X, C57.12.3X, and C57.12.4X standards series, is provided in this standard. The specific set of test data to be reported, and the report format, is detailed along with an extended set of data as an option for the user.Show More
The research community has broadly recognized the importance of the validation of non-functional properties including performance and dependability requirements. However, the results of a systematic survey we carried out evidenced the lack of a standard notation for designing non-functional test cases. For some time, the greatest attention of Model-Based Testing (MBT) research has focused on funct...Show More
This paper deals with the verification of automatic test equipment (ATE) that is widely used for manufacturing testing of integrated circuits (ICs). Due to design complexity, manufacturers are facing substantial difficulties in verifying ATEs. Design flow and time execution of the verification process are severely limited when developing new hardware and software architectures for ATEs. We present...Show More
This paper proposes a methodology of compatibility and interoperability evaluation for all-digital protection system through automatic application testing. The paper starts with the introducing of compatibility and interoperability evaluation issues, explaining the importance of application tests. The paper then defines the performance indices and compatibility indices as well as the evaluation me...Show More
No electronic product can be manufactured without an underlying test strategy, as this operation can assume 90 % of the overall cost of the product. This paper explores the need for testing in the context of electronic hardware development and production, and how its absence from normal university curriculums is affecting its presence during the design of industry-developed hardware. Testing strat...Show More
In this paper, we analyze the effect of reducing object redundancy in random testing, by comparing the Randoop random testing tool with a version of the tool that disregards tests that only produce objects that have been previously generated by other tests. As a side effect, this variant also identifies methods in the software under test that never participate in state changes, and uses these more...Show More