Verification and Validation of a Fingerprint Image Registration Software

被引:0
|
作者
Dejan Desovski
Vijai Gandikota
Yan Liu
Yue Jiang
Bojan Cukic
机构
[1] West Virginia University,Lane Department of Computer Science and ElectricalEngineering
[2] Motorola Inc.,Motorola Labs
关键词
Optimization Algorithm; Source Code; Quantum Information; Requirement Specification; Image Registration;
D O I
暂无
中图分类号
学科分类号
摘要
The need for reliable identification and authentication is driving the increased use of biometric devices and systems. Verification and validation techniques applicable to these systems are rather immature and ad hoc, yet the consequences of the wide deployment of biometric systems could be significant. In this paper we discuss an approach towards validation and reliability estimation of a fingerprint registration software. Our validation approach includes the following three steps: (a) the validation of the source code with respect to the system requirements specification; (b) the validation of the optimization algorithm, which is in the core of the registration system; and (c) the automation of testing. Since the optimization algorithm is heuristic in nature, mathematical analysis and test results are used to estimate the reliability and perform failure analysis of the image registration module.
引用
收藏
相关论文
共 50 条
  • [41] Disjunctive image computation for software verification
    Wang, Chao
    Yang, Zijiang
    Ivancic, Franjo
    Gupta, Aarti
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2007, 12 (02)
  • [42] Template synthesis and image mosaicking for fingerprint registration: An experimental study
    Moon, YS
    Yeung, HW
    Chan, KC
    Chan, SO
    2004 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, VOL V, PROCEEDINGS: DESIGN AND IMPLEMENTATION OF SIGNAL PROCESSING SYSTEMS INDUSTRY TECHNOLOGY TRACKS MACHINE LEARNING FOR SIGNAL PROCESSING MULTIMEDIA SIGNAL PROCESSING SIGNAL PROCESSING FOR EDUCATION, 2004, : 409 - 412
  • [43] Coarse-to-fine image registration for sweep fingerprint sensors
    Zhang, Yong-liang
    Yang, Jie
    Wu, Hong-tao
    OPTICAL ENGINEERING, 2006, 45 (06)
  • [44] NIST releases software tools for fingerprint image analysis
    不详
    LASER FOCUS WORLD, 2005, 41 (01): : 79 - +
  • [45] Verification and validation of the SEAL Software Assessment Tool
    Li, L
    Walker, AJ
    THIRD IEEE INTERNATIONAL SOFTWARE ENGINEERING STANDARDS SYMPOSIUM AND FORUM (ISESS 97) - EMERGING INTERNATIONAL STANDARDS, PROCEEDINGS, 1997, : 15 - 24
  • [46] VALIDATION AND VERIFICATION OF EFFLUENT MANAGEMENT AND ACCOUNTABILITY SOFTWARE
    QUILLIN, JG
    HEARN, RA
    MCCOLLOUGH, DA
    HEALTH PHYSICS, 1986, 50 : S6 - S7
  • [47] The Verification and Validation of Software Architecture for Systems of Systems
    Michael, James Bret
    Riehle, Richard
    Sling, Man-Tak
    2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING SOSE 2009, 2009, : 130 - 135
  • [48] An intranet application supporting software verification and validation
    Fjordstrom, LB
    Pedersen, GS
    DASIA '97 - DATA SYSTEMS IN AEROSPACE, 1997, 409 : 399 - 404
  • [49] Software independent verification and validation for spacecraft at JAXA
    Kohtake, Naohiko
    Katoh, Atsushi
    Ishihama, Naoki
    Miyamoto, Yuko
    Kawasaki, Tomomi
    Katahira, Masafumi
    2008 IEEE AEROSPACE CONFERENCE, VOLS 1-9, 2008, : 3577 - 3584
  • [50] Integrating formal specification and software verification and validation
    Duke, R
    Miller, T
    Strooper, P
    TEACHING FORMAL METHODS, PROCEEDINGS, 2004, 3294 : 124 - 139