Implementation of BioAPI Conformance Test Suite Using BSP Testing Model
نویسندگان
چکیده
The purpose of this paper is to design a Conformance Test Suite(CTS) for BSPs(Biometric Service Provider) based upon the BioAPI (Biometric Application Programming Interface) v2.0, an international standard by ISO/IEC JTC1/SC37. The proposed BioAPI CTS enables users to test BSPs without depending on various frameworks. In this paper, a test scheduling tool has been embodied in order to use Test Assertion with XML. In order to demonstrate the performance of the CTS, the experiment was performed using both commercial fingerprint verification and identification BSPs. The developed CTS will be installed at Korean National Biometrics Test Center and used to test whether commercial biometrics products are compliant to BioAPI.
منابع مشابه
Conformance Testing With State Mapping
This work considers conformance testing (functional testing). The main distinction from the other works is the availability of mapping from implementation states to specification ones. This information allows us to simplify test development and to reduce test execution time. We introduce a novel implementation relation called conff and composite test suites. The conff relation minimizes the siz...
متن کاملLTE Radio Resource Management Conformance Testing: Exploration and Implementation
—LTE is an evolution of 3G technology which possesses 100Mb/s data downloading capability. The technology of LTE is progressive and puts forward stricter requirements for terminals. All the LTE wireless terminals must pass the Radio resource Management (RRM) conformance testing before entering into the market. This paper first dissected TTCN-3 test system and RRM testing structure for the purp...
متن کامل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 made up 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 automat...
متن کاملSlope Testing for Activity Diagrams and Safety Critical Software
Formal system modeling and rigorous validation techniques have become a corner stone in the development practice for safety critical systems. It is characteristic for model-based approaches that the relationship between the model and its implementation needs to be monitored and ultimately brought to conformance. To bridge the gap between model and implementation, the current paper proposes a ne...
متن کاملTesting from a stochastic timed system with a fault model
In this paper we present a method for testing a system against a non-deterministic stochastic finite state machine. As usual, we assume that the functional behaviour of the system under test (SUT) is deterministic but we allow the timing to be nondeterministic. We extend the state counting method of deriving tests, adapting it to the presence of temporal requirements represented by means of ran...
متن کامل