The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The high capacity of modern wheel fabrication plants and high demands on the detection sensitivity for internal defects in railroad wheels along with the need to perform an objective and well documented ultrasonic inspection require the application of automated systems which are integrated into the production line. The paper offers a description of the technology of a fully automated system jointly...
The digital microfluidics technology has shown a great progress in the recent years. The testing of these types of biochips is crucial when used in widespread applications like clinical diagnostics, DNA sequencing, toxicity analysis etc. Thus these biochips must be tested adequately both offline after manufacturing and online during the biomedical assay. The MEDA based digital microfluidics offers...
CMOS device miniaturization and the rapidly growing demand for mobile or power-aware systems have resulted in an urgent need to lower down power supply voltage (Vdd). However, soft fails at low Vdd in SRAM Array become a major yield limiter due to process variation and VT mismatch. This paper describes an advanced characterization flow on soft fails with the combination of applying fail-specified...
There are several possible algorithms to automatically solve Sudoku boards; the most notable is the backtracking algorithm, that takes a brute-force approach to finding solutions for each board configuration. The performance of the backtracking algorithm is usually said to depend mainly on two implementation aspects: finding the next available empty cell in the board and finding the options of available...
We investigated two phase heat transfer in staggered and inline micro pin fin arrays, using deionized water and HFE-7200 as working fluids with exit qualities up to 90%,. The inline and staggered arrays have equivalent pin fin width of 153µm and height of 305µm on a heated base area of 0.96cm width by 2.88cm length. Mass fluxes ranged from 200 kg/m2s to 600 kg/m2s for HFE-7200 and 400 kg/m2s to 1300...
Semantic Web Services (SWS) introduce a semantic layer to the current web infrastructure, enabling the automated processing of web service tasks. In the past decade, various frameworks have been proposed for designing SWS. However, few of them aimed at testing SWS. Generating test cases for SWS is challenging due to its dynamic nature and abstract views, evaluating the test cases is equally essential...
A algebraic system, Test Algebra (TA), identifies faults in combinatorial testing for SaaS (Software-as-a-Service) applications. SaaS is a software delivery model that involves composition, deployment, and execution of mission application on cloud platforms. Testing SaaS applications is challenging because a large number of configurations needs to be tested. Faulty configurations should be identified...
Software-as-a-Service (SaaS), a new software delivery model, plays an important role in daily life. In SaaS, mission-critical applications are composed, deployed, and executed on cloud platforms. SaaS applications needed to have high reliability and availability before publishing. Testing SaaS applications becomes important, as the large number of testing prior to their deployment. Test Algebra (TA),...
A Bloom filter is a compact and randomized data structure popularly used for networking applications. A standard Bloom filter only answers yes/no questions about membership, but recent studies have improved it so that the value of a queried item can be returned, supporting multiple-set membership testing. In this paper, we design a new data structure for multiple-set membership testing, Bloom tree,...
Digital microfluidic biochips in recent years have been developed as a major alternative platform for conventional benchtop laboratory procedures. It offers better precision, scalability, higher sensitivity, lower cost due to smaller sample and reagent volumes. Testing of DMFBs is of major significance in terms of dependability and reliability issues for safety-critical applications. A series of complex...
Test suite generation and prioritization are two main research fields to improve testing efficiency. Combinatorial testing has been proven as an effective method to generate test suite for highly configurable software systems, while test suites are often prioritized by interaction coverage to detect faults as early as possible. However, for some cases, there exists reasonable cost of reconfiguring...
The end-to-end verification of a spacecraft photovoltaic power generation system requires light! A low-cost, portable, and end-to-end photovoltaic-system test appropriate for NASA's new generation of Class D missions is presented. High risk, low-cost, and quick-turn satellites rarely have the resources to execute the traditional approaches from higher-class (A-C) missions. The Class D approach, as...
Functionally dependent (FD) mappings permeate software systems and impose constraints on designs for verification. This paper develops concepts for accommodating FD relations in combinatorial test designs and derives rules to determine combinatorial coverage for FD factors. FD equivalence class factors are introduced to assess coverage of expected results classes before test case generation. Examples...
In this paper, we show the applicability of combinatorial testing to the system call interface of the Linux kernel. Our approach is two-fold: first we analyze the Trinity fuzz tester and in the aftermath we adapt the input parameter modeling of Trinity to the field of combinatorial testing. Furthermore, apart from the modeling itself, we target to provide a configurable testing framework for executing...
A novel acoustic signal processing algorithm for sound source localisation is proposed and is implemented using two Microsoft Kinect sensors. The proposed method performs sound source localisation using a two stage method. A coarse grain location estimate is first made followed by a more accurate estimate of sound source location by estimating power spectral densities of a number of two-dimensional...
Orthogonal arrays are a powerful tool in quality and statistics. This paper shows new applications for improving testing effectiveness and efficiency in a multi-parameter environment, which is commonly encountered in today's software and systems. Unique aspects of this paper are applications in diverse areas — telecommunications, defense, automotive, information technology, and financial systems....
Digital Micro-fluidic biochips promises havoc changes in the fields of clinical diagnostics, drug discovery, forensic testing and biological research as a whole. These miniaturized lab-on-chip devices needs to go through structural and functional testing for its commercial and scientific viability. Bi-partitioning a digital microfluidic array into two symmetric clusters not only reduces the overall...
Generating invariants for loops is often a grueling obstacle in formal program verification. Researchers have employed methods from formal techniques based on abstract interpretation to test-driven dynamic analysis to tackle this problem. Even though powerful techniques for generating conjunctive invariants (invariants that employ only conjunction of terms) have been developed, disjunctive invariants...
Software testing plays an important role in early verification of software systems and it enforces quality in the system under development. One of the challenging tasks in the software testing is generation of software test cases. There are many existing approaches to generate test cases like using uses case, activity diagrams and sequence diagrams, they have their own limitations such as inability...
A variant of Adaptive Random Testing (ART) called Centroid Based Adaptive Random Testing (CB-ART) has been developed. It aims to improve efficiency of ART which was claimed to have better performance than Random Testing (RT) in finding first error in a program. CB-ART is applying the concept of centroid for test case selection process. The technique for generating and computing centroid from a pool...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.