The KIPS Transactions:PartB (정보처리학회논문지B)

Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

A Study on Conformance Testing Method to Verify the BioAPI Based System Module

BioAPl기반 시스템 모듈을 검증하기 위한 적합성시험 방법 연구

  • 이유영 (중앙대학교 대학원 컴퓨터공학과) ;
  • 권영빈 (중앙대학교 컴퓨터공학과)
  • Published : 2004.12.01
Download PDF
⟨ Previous Next ⟩

Abstract

Recently the biometric recognition technology is intensively studied and the standardization of the technology has been highly demanded for its commercialization. Currently many blometric recognition products are being developed based on the BioAPl(Biometric Application Program-ming Interface) specification. However, the reliable testing tools (or scenarios) to evaluate performance and conformance of the products are not shown yet. In this paper, a conformance testing method is presented, which verifies a biometric recognition system to meet the requirements of the BioAPl standard. Two different testing procedures are used in the proposed method. The first procedure evaluates that each functions offered in the BioAPl specification are correctly implemented and that the functions are actually used in the system. Through the Procedure, a BSP(Biometric Service Provider) system is executed on the framework of the BioAPl functions. It requires selection of parameters and prece-dent functions that should be executed first. The second procedure evaluates the abilities of module management, handling operations and ver-ification process by the analysis of the test cases. It tests the correctness of the system operation when a testing scenario is given. The proposed testing method is applied on a fingerprint verification BSP using the sample BSP provided by the BioAPl consortium. The experimental results shows the benefits of the proposed testing method.

생체인식기술을 응용한 제품이 다양해지면서 상호운용성의 문제가 제기되어 국제표준화가 진행중인 BioAPl(Biometric Application Pro-gramming Interface)를 기반으로 한 생체인식 제품의 개발이 증대되고 있다. 그러나 BioAPl를 적용하여 개발된 제품에 대한 성능 측정 및 표준규격의 적합성 여부에 대한 신뢰성 있는 평가 도구가 마련되어 있지 않은 상태이다. 본 논문은 생체인식시스템이 BioAPl 규격의 요구사항 및 기준에 얼마나 만족하여 개발하였는가를 검증하기 위한 적합성시험 방법을 연구하였다. 제안된 적합성 시험기술의 첫 번째는 BioAPl명세서가 제공하는 각 함수들을 제대로 구현하였는가에 대한 확인과 사용여부를 평가하는 것이다. 이것은 응용에서 APl(Application Provider Inter-face)함수를 호출하면 프레임워크를 통해 BSP(Biometric Service Provider)를 실행하는 것으로 이때 파라미터와 선행함수의 선택이 필요하다. 두 번째는 BioAPl의 해당 테스트케이스를 분석하여 모듈관리, 핸들기능, 검증기능에 대한 시나리오를 평가하는 것이다. 실험은 BioAPl 컨소시엄에서 제공하는 샘플프로그램과 상용 지문검증시스템의 BSP를 사용하여 제안하는 적합성 평가 방법에 대한 실험을 수행하였다. 이에 따라 BioAPl를 기반으로 한 BSP들이 요구사항에 적합하게 개발되었는지를 판단할 수 있었다.

Keywords

References

  1. L. C. Jain, U. Halici, I. Hayashi, S. B. Lee, S. Tsutsui, 'Intelligent Biometric Techniques in Fingerprint and Face Recognition,' CRC Press LLC, pp.3-21, 1999
  2. BioAPI Consortium, BioAPI Specification Version 1.1, Mar., 2001, http://www.bioapi.org
  3. http://www.itl.nist.gov/div898/pubs/ar/ar1999/node8.html
  4. Martha Gray, Alan Goldfine, Lynne Rosenthal, Lisa Carnahan, 'Conformance Testing, National Institute of Standards and Technology,' 2000, http://www.oasis-open.org/cover/conform20000112.html
  5. Sharath Pankanti, Ruud M. Bolle and Anil Jain, 'Biometric : The Future of Identification,' IEEE Computer, pp.46-49, Feb., 2000 https://doi.org/10.1109/2.820038
  6. 이종필, 최 훈, 윤대균, 'SyncML 적합성 상호 연동성 시험연구', 한국정보과학회 추계학술대회 논문집, pp.724-726, 2001
  7. 'ebXML Messaging (2.0) Conformance Test Suite Version 0.3,' OASIS eb XML Implementation, Interoperability and Conformance Technical Committee, July, 2002
  8. Xiang, Shi, Guo Xin Xiang, Yuanchun Shi, 'A Conformance Test Suite of Localized LOM Model,' 2002
  9. Paul Ammann and Paul E. Black, Abstracting Formal Specifications to Generate Software Tests via Model Checking, Proceedings of the 18th Digital Avionics Systems Conference (DASC), St. Louis, Missouri, IEEE, Vol.2, Section 10.A.6, pp.1-10, October, 1999. Extended version is NIST-IR 6405
  10. Paul E. Black, Modeling and Marshaling : Making Tests from Model Checker Counter examples, 19th Digital Avionics Systems Conference (DASC), Philadelphia, Pennsylvania, IEEE, Section 1.B.3, pp.1-6, October, 2000
  11. Paul E. Black, George Becker and Neil V. Murray, Formal Verification of a Merge-Sort Program with Static Semantics, Proceedings of The 9th International Conference on Computing and Information (ICCI '98), Winnipeg, Manitoba, Canada, edited by Kamal Karlapalem, Amin Y. Noaman, and Ken Barker, pp.271-277, June, 1998
  12. http://www.itl.nist.gov/div898/pubs/ar/arl998/nodel10.html
  13. Chatherine J. Tilton, 'An Emerging Biometric API Industry Standard', IEEE Computer, pp.130-132, Feb., 2000 https://doi.org/10.1109/2.820046
  14. Wilson, John and Tilton, Catherine, BioAPI Architecture, The BioAPI Users and Developers Seminar, 6 April, 2000, Pentagon City, VA and at CardTech/SecureTech, 7, May, 2000, Miami, FL, http://www.itl.nist.gov/div895/isis/bioapi/index.htm
  15. Catherine J. Tilton, BioAPI, 'A Prescription for Biometric Interoperability In an Open System Environment,' SAFLINK,2001
  16. 'CDSA/CSSM Authentication : Human Recognition Service (HRS) API Ver 2.0,' June, 2001, http://www.intel.com/ial/security and http://www.opengroup.org/publications/catalog/c909.htm
  17. 'Human Authentication-Application Program Interface (HA-API) Ver 2.0,' April, 1998, http://www.biometrics.org/ html/standards.html
  18. I/O Software Inc., 'Biometric API(BAPI) Device Module Interface Specification(BDMI) Ver 1.1,' June, 1995, www.iosoftware.com
  19. NIST Publication, A Common Biometric Exchange File Format (CBEFF) For Biometric Interoperability, NISTIR 6529, Jan., 2001, http://www.nist.gov/cbeff