Skip to main content
SpringerLink
Log in
Book cover

Innovations and Advances in Computer Sciences and Engineering pp 197–201Cite as

A Formal Technique for Reducing Software Testing Time Complexity

  • Conference paper
  • First Online:

  • 958 Accesses

Abstract

Software testing is a dual purpose process that reveals defects and is used to evaluate quality attributes of the software, such as, reliability, security, usability, and correctness. The critical problem in software testing is time complexity. In this paper we have reduced the time complexity of software testing by using Grover’s Search Algorithm [4] for unsorted database.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cem Kaner, Jack Falk, Hung Quoc Nguyen. Testing Computer Software. Wiley. 1999

    Google Scholar 

  2. Cem Kaner, James Bach, Bret Petti Chord, Lesson Learned in Software Testing. Wiley, Ist Ed. 2001

    Google Scholar 

  3. C.H. Bennett, E. Bernstein, G. Brassard & U. Vazirani, “Strenghtsand weaknesses of quantum computing” ,to be published in the SIAM Journal on computing 1996.

    Google Scholar 

  4. C. Lavor, L. R. V. Manssur, R. Portugal, “Grover’s Algorithm: Quantum Database Search”, arXiv: quant-ph/0301079v1, May 25, 2006

    Google Scholar 

  5. D. Deutsch and R. Jozsa, “Rapid solution of problems by quantum computation”, Proceedings Royal Society of London, A400, 1992, pp. 73-90

    Google Scholar 

  6. Elisa Ludwig. Software Testing should reveal errors not avoid them. Washington information source. 2003

    Google Scholar 

  7. E. Bernstein & U. Vazirani, “Quantum Complexity theory”, Proceedings 25th ACM Symposium on theory of computing, 1993, pp. 11-20.

    Google Scholar 

  8. Glenford J. Myers, The Art of Software Testing 2nd edition, John Wiley & sons Inc.2004

    Google Scholar 

  9. Grover L.K., “A fast Quantum mechanical algorithm for database search”, Proceedings, 28th Annual ACM Symposium on the Theory of Computing, (May 1996) p. 212

    Google Scholar 

  10. Hillar Puskar, Effective Software Testing, 50 specific ways to improve your Testing. American Society for Quality, volume 6, 2004

    Google Scholar 

  11. Indian Trends Software Testing. Express co.2005.

    Google Scholar 

  12. Ilene Burnstein, Practical Software Testing. Springer, 1st Ed.2003.

    Google Scholar 

  13. Jayesh G Dalal, Software Testing Fundamentals Methods and Metrics. American Society for Quality. 2004.

    Google Scholar 

  14. Jeff Tian, Software Quality Engineering. Wiley-inter Sc. 2005.

    Google Scholar 

  15. Jackson M, Software Requirement & Specifications. Addison-Wesley, 1995.

    Google Scholar 

  16. Jiantao Pan, Software Testing. Carnegie Mellon University. 18-849b Dependable Embedded Systems. 1999.

    Google Scholar 

  17. Lead J, Ronald, Introduction to Software Engineering, 2000.

    Google Scholar 

  18. Marie-Claude Gaudel, Algebraic Specifications and Software Testing: Theory and Application. University Paris Sud. 1988.

    Google Scholar 

  19. Michal Young, Software Testing and Analysis: Process, Principles, & techniques. John Wiley & Sons. 2005.

    Google Scholar 

  20. Mark Last, Artificial Intelligence Methods in Software Testing. World Scientific Publishing Company.2004.

    Google Scholar 

  21. Marnie L. Hutcheson, Software Testing Fundamentals: Methods & Metrics. Wiley, 2003.

    Google Scholar 

  22. Michael A. Nielsen, Isaac L. Chuang, Quantum Computation and Quantum Information Cambridge University Press, 2004.

    Google Scholar 

  23. N. H. PETSCHENIK, Building Awareness of System Testing Issue. Bell Communications Research. Inc. South Plainfield, New Jersey, 1985.

    Google Scholar 

  24. Pressman Roger, Software Engineering: A Practitioner’s approach. McGraw Hill, 2004.

    Google Scholar 

  25. P. W. Shor, “Algorithm for quantum computation: discrete logarithms and factoring”, Proceedings, 35th Annual Symposium on Fundamentals of Computer Science (FOCS), pp. 124-134. 1994.

    Google Scholar 

  26. Ron Patton, Software Testing. Sams, 2000.

    Google Scholar 

  27. Rex Black, Managing the Testing Process:Practica ltools and techniques for Hardware and Software testing. 2nd edition Rex Black, 2002.

    Google Scholar 

  28. Scott Loveland, Geoffrey Miller, Richard Prewitt Jr., Michael Shannon, Software Testing Techniques finding the defects that matter. Charles River Media, 2004.

    Google Scholar 

  29. Summerville Ian, Software Engineering. Addison-Wesley. 2002.

    Google Scholar 

  30. S. Georgious, C. Koukouvinos, J. Sebberry, “Hadamard matrices, orthogonal design and construction algorithms”, 2002 pp. 133-205 in DESIGN: Further computational and constructive design theory, Kluwer 2003.

    Google Scholar 

Download references

Acknowledgment

We acknowledged the all kind of support by NED University of Engineering & Technology and specially the Vice Chancellor as chairman of Advanced Studies Research Board who always personally supported the research project being undertaken.

Author information

Authors and Affiliations

  1. Department of Computer Science & Information Technology, NED University of Engineering & Technology, Karachi, Pakistan

    Mirza Mahmood Baig & Dr. Ansar Ahmad Khan

Authors
  1. Mirza Mahmood Baig
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dr. Ansar Ahmad Khan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mirza Mahmood Baig .

Editor information

Editors and Affiliations

  1. School of Engineering, University of Bridgeport, University Avenue 221, Bridgeport, 06604, U.S.A.

    Tarek Sobh

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer Science+Business Media B.V.

About this paper

Cite this paper

Baig, M.M., Khan, A.A. (2010). A Formal Technique for Reducing Software Testing Time Complexity. In: Sobh, T. (eds) Innovations and Advances in Computer Sciences and Engineering. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-3658-2_34

Download citation

  • DOI: https://doi.org/10.1007/978-90-481-3658-2_34

  • Published:

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-3657-5

  • Online ISBN: 978-90-481-3658-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation