Skip to main content
SpringerLink
Log in

Fault Detection Model for Software Correctness and Reliability

  • Conference paper
  • First Online:
Software Engineering Application in Informatics (CoMeSySo 2021)

Part of the book series: Lecture Notes in Networks and Systems ((LNNS,volume 232))

Included in the following conference series:

Abstract

We evaluate various technical developments in software testing and fault detection that are currently advanced as potential breakthroughs in determining software correctness and reliability. Testimatica Model was developed for testing the correctness of the entire structure of software for purpose of detecting software faults using phase-to-phase approach. Findings reveals that the test based on the design using the developed testing model when evaluated against other testing/ fault detecting approaches can be a more powerful tool for checking if the structures at the design level of many software systems are correct. The findings also reveal that the model improves customer satisfaction, speeds up the development process and improves productivity of software development teams. The model is very unique and novel as it deals with the entire structure of the design on a phase-wise basis; and not just the control structures of software as reported in literature thus radically implicating a novel pathway for software development firms to develop error free products to achieve software reliability. More quantitative facts on the impact of the developed model on software reliability can be substantially proposed and improved on.

.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 139.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 179.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Institutional subscriptions

Similar content being viewed by others

References

  1. Dijkstra, E.: The humble programmer. Commun. ACM 15(10), 859–866 (1972)

    Article  Google Scholar 

  2. Chandrasekar, A., Sudha, R., Rajesh, P.: A research study on software quality attributes. Int. J. Sci. Res. Publ. 4(1), 14–19 (2014)

    Google Scholar 

  3. Gol Mohammadi, N., et al.: An analysis of software quality attributes and their contribution to trustworthiness. In: Proceedings of the 3rd International Conference on Cloud Computing and Services Science, pp. 542–552 (2013). https://doi.org/10.5220/0004502705420552

  4. Schach, S.: Object Oriented and Classical Software Engineering, 15th edn. McGraw-Hill, New York (2015).ISBN: 970-0-07337618-9

    Google Scholar 

  5. Abid, J., Muhammad, A., Normi, S., Awang, A., Akhlaq, A.: Software testing techniques: a literature review. In: 6th International Conference on Information and Communication Technology for the Muslim World (ICT4M) (2016). https://doi.org/10.1109/ICT4M.2016.045

  6. Felix, E., Lee, S.: Predicting the number of defects in a new software version. PLoS ONE 15(3) (2020). https://doi.org/10.1371/journal.pone.0229131

  7. Mamdouh, A., Sadiq, A.: Security risks in the software development lifecycle. Int. J. Recent Technol. Eng. 8(3), 7048–7055 (2019). https://doi.org/10.35940/ijrte.C5374.098319

    Article  Google Scholar 

  8. David, B., Pam, R.: Agile and secure software development: an unfinished story. Issues Inf. Syst. 20(1), 144–156 (2019). https://doi.org/10.48009/1_iis_2019_144-156

    Article  Google Scholar 

  9. NIST: National Vulnerability Database (2019). https://nvd.nist.gov/vuln/search/statistics?adv_search=false&form_type=basic&results_type=statistics&searchtype=all

  10. Azeem, U., Abhineet, A.: Importance of software testing in the process of software development. Int. J. Sci. Res. Dev. 6(12), 141–145 (2019)

    Google Scholar 

  11. Suryaatmaja, K., Wibisono, D., Ghazali, A., et al.: Uncovering the failure of agile framework implementation using SSM-based action research. Palgrave Commun. 6(8) (2020). https://doi.org/10.1057/s41599-019-0384-9

  12. Malek, A., Mariam, B., Wael, E., Adnan, S.: Agile software development methodologies: survey of surveys. J. Comput. Commun. 5(1), 74–97 (2017). https://doi.org/10.4236/jcc.2017.55007

    Article  Google Scholar 

  13. Software Testing Lifecycle. https://www.softwaretestinghelp.com/what-is-software-testing-life-cycle-stlc/. Accessed 31 Aug 2018

  14. Didar, Z., Francesca, D., Muneera, B.: Problems and challenges of user involvement in software development: an empirical study. In: International Conference on Evaluation and Assessment in Software Engineering (EASE), Nanjing, China (2015)

    Google Scholar 

  15. Eze, N.: Development process for controllable software. Int. J. Educ. Res. 5(7), 37–52 (2017)

    Google Scholar 

  16. Evaluation of Software Testing tools (coursework). http://myassignmenthelp.info/assignments/master-thesis-title-evaluation-software-testing-tools-87710/. Accessed 15 July 2015

  17. Gregory, P., Barroca, L., Sharp, H., Deshpande, A., Taylor, K.: The challenges that challenge: engaging with agile practitioners’ concerns. Inf. Softw. Technol. 77(3), 92–104 (2016). https://doi.org/10.1016/j.infsof.2016.04.006

    Article  Google Scholar 

  18. Marques, R., Costa, G., Silva, M., Gonçalves, P.: A survey of failures in the software development process. In: Proceedings of the 25th European Conference on Information Systems (ECIS), Guimarães, Portugal, 5–10 June 2017, pp. 2445–2459 (2017). ISBN 978-989-20-7655-3, Research Papers

    Google Scholar 

  19. Certified Tester Foundation Level Syllabus. International Software Testing Qualifications Board. https://www.bcs.org/upload/pdf/ct-foundation-syllabus.pdf. Accessed 31 Mar 2017

  20. Charles, W., Butler, L., Vijayasarathy, R., Nicholas, R.: Managing software development projects for success: aligning plan- and agility-based approaches to project complexity and project dynamism. Proj. Manag. J. 51(3), 262–277 (2020). https://doi.org/10.1177/8756972819848251

    Article  Google Scholar 

  21. Madeyski, L., Kawalerowicz, M.: Software engineering needs agile experimentation: a new practice and supporting tool. In: Madeyski, L., Śmiałek, M., Hnatkowska, B., Huzar, Z. (eds.) Software Engineering: Challenges and Solutions. AISC, vol. 504, pp. 149–162. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-43606-7_11

    Chapter  Google Scholar 

  22. Yusupbekov, N., Rustambekovicha, S., Gulyamovb, M., Usmanovac, N., Mirzaev, D.: Challenging the ways to determine the faults in software: technique based on associative interconnections. In: 9th International Conference on Theory and application of Soft Computing, Computing with Words and Perception, ICSCCW, Budapest, Hungary, 22–23 (2017)

    Google Scholar 

  23. Kamlesh, R., Arun, A., Khushboo, J., Singh, V.: A time-variant fault detection software reliability model SN Appl. Sci. 3(18) (2021). https://doi.org/10.1007/s42452-020-04015-z

  24. Welman, C., Kruger, F., Mitchell, B.: Research Methodology, 3rd edn. Oxford University Press, London (2005)

    Google Scholar 

  25. Divyani, S.: Comprehensive study of software testing techniques and strategies: a review. Int. J. Eng. Tech. Res. 9(08) (2020). https://doi.org/10.17577/IJERTV9IS080373

  26. Brooks, F.: No silver bullet. In: Kugler (ed.) Information Processing, pp. 10–19. Elsevier North-Holland, New York (1986)

    Google Scholar 

  27. Standish Group Report: There’s Less Development Chaos Today. https://community.embarcadero.com/blogs/entry/chaos-report-2007--there-is-less-software-development-chaos-today-33392. Accessed 21 Mar 2007

  28. Highsmith, J.: Agile Project Management: Principles and Tools, 2nd edn. Cutter Consortium, Arlington (2003)

    Google Scholar 

  29. The Economic Impacts of Inadequate Infrastructure for Software Testing. National Institute of Standards and Technology, pp. 1–309 (2002)

    Google Scholar 

  30. Fuqun, H., Bin, L.: Software defect prevention based on human error theories. Chin. J. Aeronaut. 30(3), 1054–1070 (2017)

    Article  Google Scholar 

  31. Dan, P., Joel, W.: The value proposition for assurance of JPL systems. Procedia Comput. Sci. 28, 398–403 (2014). Conference on Systems Engineering Research (CSER 2014)

    Article  Google Scholar 

  32. Shine Technologies. Agile Methodologies Survey Results. https://www.scirp.org/journal/PaperInformation.aspx?PaperID=75114. Accessed Mar 2017

  33. Maria, P., Lassenius, C.: How does an agile coaching team work? A case study. In: Proceedings of the 2011 Sixth IEEE International Conference on Global Software Engineering, New York, pp. 29–38 (2011)

    Google Scholar 

  34. Dyba, T., Dingsoyr, T.: Empirical studies of agile software development: a systematic review. Inf. Softw. Technol. 50(9), 833–859 (2008)

    Article  Google Scholar 

  35. Verification/validation/certification. https://en.wikipedia.org/wiki/Verification_and_validation. Accessed: 07 Sept 2018

  36. Rostislav, G., Igor, R., Alexander, R.: Methods of Software Verification. Science and Education of the Bauman MSTU (2015). https://doi.org/10.7463/1015.0823129

  37. Gregory, J., Crispin, L.: More Agile Testing, 1st edn., pp. 23–39. Addison-Wesley Professional, Boston (2014)

    Google Scholar 

  38. Hadas, C., Dani, A., Dov Benyomin, S., Mark, G., Robin, P., Shlomo, M.: The unit test: facing CICD – are they elusive definitions? J. Inf. Technol. Manag. 19(2), 40–54 (2018)

    Google Scholar 

  39. Passier, H., Bijlsma, L., Bockisch, C.: Maintaining unit tests during refactoring. In: Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. ACM (2016)

    Google Scholar 

  40. Daka, E., Fraser, G.: A survey on unit testing practices and problems. In: 2014 IEEE 25th International Symposium on Software Reliability Engineering. IEEE (2014)

    Google Scholar 

  41. Nahid, A., Susmita, K.: Review paper on various software testing techniques and strategies. Global J. Comput. Sci. Technol. C Softw. Data Eng. 19(2), 43–49 (2019)

    Google Scholar 

  42. Pecorelli, F., Palomba, F., De Lucia, A.: The Relation of test-related factors to software quality: a case study on apache systems. Empirical Softw. Eng. 26(2), 1–42 (2021). https://doi.org/10.1007/s10664-020-09891-y

    Article  Google Scholar 

  43. Sowunmi, O.Y., Misra, S., Fernandez-Sanz, L., Crawford, B., Soto, R.: An empirical evaluation of software quality assurance practices and challenges in a developing country: a comparison of Nigeria and Turkey. Springerplus 5(1), 1–13 (2016). https://doi.org/10.1186/s40064-016-3575-5

    Article  Google Scholar 

  44. Eze, N., Obichukwu, P., Subodh, K.: Perceived usefulness, perceived ease of use in ICT support and use for teachers. IETE J. Educ. 62(1) (2021). https://doi.org/10.1080/09747338.2021.1908177

  45. Emily, A., Dennis, W., Erin, A., Alan, M.: Alpha test results for a housing first eLearning strategy: the value of multiple qualitative methods for intervention design. Pilot Feasibility Stud. 3(46) (2017).https://doi.org/10.1186/s40814-017-0187-y

  46. Nuraini, C.K., Mohda, C.K., Faaizah, S.: Personalized learning environment: alpha testing, beta testing & user acceptance test. Procedia Soc. Behav. Sci. 195, 837–843 (2015). World Conference on Technology, Innovation and Entrepreneurship

    Article  Google Scholar 

  47. Pilsu, J., Sungwon, K., Jihyun, L.: Efficient regression testing of software product lines by reducing redundant test executions. Appl. Sci. 10, 8686 (2020). https://doi.org/10.3390/app10238686

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Nigeria, Nsukka, Nigeria

    Eze Nicholas, Ogochukwu Nwosu, Akuchinyere Chilaka, Peter Obichukwu, Chukwuemeka Adindu, Catherine Kanu & Maureen Madu

  2. Michael Okpara University of Agriculture, Umudike, Nigeria

    Stella Osondu

Authors
  1. Eze Nicholas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ogochukwu Nwosu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Akuchinyere Chilaka
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Peter Obichukwu
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Stella Osondu
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Chukwuemeka Adindu
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Catherine Kanu
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Maureen Madu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Eze Nicholas .

Editor information

Editors and Affiliations

  1. Faculty of Applied Informatics, Tomas Bata University in Zlín, Zlín, Czech Republic

    Radek Silhavy

  2. Faculty of Applied Informatics, Tomas Bata University in Zlín, Zlín, Czech Republic

    Petr Silhavy

  3. Faculty of Applied Informatics, Tomas Bata University in Zlín, Zlín, Czech Republic

    Zdenka Prokopova

Rights and permissions

Reprints and permissions

Copyright information

© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Nicholas, E. et al. (2021). Fault Detection Model for Software Correctness and Reliability. In: Silhavy, R., Silhavy, P., Prokopova, Z. (eds) Software Engineering Application in Informatics. CoMeSySo 2021. Lecture Notes in Networks and Systems, vol 232. Springer, Cham. https://doi.org/10.1007/978-3-030-90318-3_79

Download citation

Publish with us

Policies and ethics

Search

Navigation