Testing microelectronic biofluidic systems

According to the 2005 International Technology Roadmap for Semiconductors, the integration of emerging nondigital CMOS technologies will require radically different test methods, posing a major challenge for designers and test engineers. One such technology is microelectronic fluidic (MEF) arrays, which have rapidly gained importance in many biological, pharmaceutical, and industrial applications. The advantages of these systems, such as operation speed, use of very small amounts of liquid, on-board droplet detection, signal conditioning, and vast digital signal processing, make them very promising. However, testable design of these devices in a mass-production environment is still in its infancy, hampering their low-cost introduction to the market. This article describes analog and digital MEF design and testing method

Testing Embedded Memories in Telecommunication Systems

Extensive system testing is mandatory nowadays to achieve high product quality. Telecommunication systems are particularly sensitive to such a requirement; to maintain market competitiveness, manufacturers need to combine reduced costs, shorter life cycles, advanced technologies, and high quality. Moreover, strict reliability constraints usually impose very low fault latencies and a high degree of fault detection for both permanent and transient faults. This article analyzes major problems related to testing complex telecommunication systems, with particular emphasis on their memory modules, often so critical from the reliability point of view. In particular, advanced BIST-based solutions are analyzed, and two significant industrial case studies presente

Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!)

Testing distributed systems is challenging due to multiple sources of nondeterminism. Conventional testing techniques, such as unit, integration and stress testing, are ineffective in preventing serious but subtle bugs from reaching production. Formal techniques, such as TLA+, can only verify high-level specifications of systems at the level of logic-based models, and fall short of checking the actual executable code. In this paper, we present a new methodology for testing distributed systems. Our approach applies advanced systematic testing techniques to thoroughly check that the executable code adheres to its high-level specifications, which significantly improves coverage of important system behaviors. Our methodology has been applied to three distributed storage systems in the Microsoft Azure cloud computing platform. In the process, numerous bugs were identified, reproduced, confirmed and fixed. These bugs required a subtle combination of concurrency and failures, making them extremely difficult to find with conventional testing techniques. An important advantage of our approach is that a bug is uncovered in a small setting and witnessed by a full system trace, which dramatically increases the productivity of debugging

Testing real-time systems using TINA

The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying respectively the expected behaviour of the system under test and its environment.We describe how the toolbox TINA has been extended to support automatic generation of time-optimal test suites. The result is optimal in the sense that the set of test cases in the test suite have the shortest possible accumulated time to be executed. Input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking environment assumptions into account. Test cases selection is based either on using manually formulated test purposes or automatically from various coverage criteria specifying structural criteria of the model to be fulfilled by the test suite. We discuss how test purposes and coverage criterion are specified in the linear temporal logic SE-LTL, derive test sequences, and assign verdicts

DESIGN AND ANALYSIS QUALITY SYSTEM OF STUDENT INFORMATION PROCESSING DATA NEW STUDENT SMK MUHAMMADIYAH 3 YOGYAKARTA

This research aims to design and analyze websites new Student Information System Acceptance SMK Muhammadiyah 3 Yogyakarta with PHP and MySQL that can manage data on the implementation of the prospective student Admission. This research is Research and Development. This website development method using modified waterfall. Tests carried out to test the quality of the website System Information by Olsina (1998), namely correctness, functionality, reliability, efficiency, maintainability, and usability. Correctness quality obtained with white-box testing (testing Looping) and black box (Graph-based testing). The quality of the obtained functionality testing State Transition Testing. Reliability Testing Load testing obtained from 30 students to enter data, and editing data and deletion of data. Efficiency assessment obtained by recording the time it takes to open a page devoted. Maintainability obtained from Cross-browser testing. Obtained from Alpa Usability testing by a team of expert website and beta testing by admin, user1, and guest. Data analysis techniques used in this research is descriptive statistical analysis. The results mennunjukkan that Admission Information System SMK Muhammadiyah 3 Yogyakarta can be developed and be able to perform data processing of new students of SMK Muhammadiyah 3 Yogyakarta. Assessment obtained information systems Admission SMK Muhammadiyah 3 Yogyakarta meet quality testing correctness Graph-Based and Looping testing. Admission Information Systems SMK Muhammadiyah 3 Yogyakarta assessed for each criterion usability. Assessment of quality functionality Admission Information Systems SMK Muhammadiyah 3 Yogyakarta run well on testing State transition testing. Response time performance testing conducted by Information Systems and response pages less than 2 seconds so that said system meets the quality efficiency by Shneiderman. Maintainability testing done with cross browser testing and obtained system is capable of running on Mozilla Firefox, Google Chrome, and Internet Explorer. Keywords: Information Systems, correctness, Usability, Functionality, Reliability, Efficiency, Maintainabilit

UI-Design driven model-based testing

Testing interactive systems is notoriously difficult. Not only do we need to ensure that the functionality of the developed system is correct with respect to the requirements and specifications, we also need to ensure that the user interface to the system is correct (enables a user to access the functionality correctly) and is usable. These different requirements of interactive system testing are not easily combined within a single testing strategy. We investigate the use of models of interactive systems, which have been derived from design artefacts, as the basis for generating tests for an implemented system. We give a model-based method for testing interactive systems which has low overhead in terms of the models required and which enables testing of UI and system functionality from the perspective of user interaction