Skip to main content
SpringerLink
Log in

Traditional Software Reliability Models Are Based on Brute Force and Reject Hoare’s Rule

  • Conference paper
  • First Online:
Software Engineering

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 731))

  • 2325 Accesses

Abstract

This research analyses the causes for the inaccurate estimations and ineffective assessments of the varied traditional software reliability growth models. It attempts to expand the logical foundations of software reliability by amalgamating techniques first applied in geometry, other branches of mathematics and later in computer programming. The paper further proposes a framework for a generic reliability growth model that can be applied during all phases of software development for accurate runtime control of self-learning, intelligent, service-oriented software systems. We propose a new technique to employing runtime code specifications for software reliability. The paper aims at establishing the fact that traditional models fail to ensure reliable software operation as they employ brute force mechanisms. Instead, we should work on embedding reliability into software operation by using a mechanism based on formal models like Hoare’s rule.

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

Access this chapter

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 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 89.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

References

  1. Vyatkin, V., Hanisch, H.M., Pang, C., Yang, C.H.: Closed-loop modeling in future automation system engineering and validation. IEEE Trans. Syst. Man Cybern. Part C: Appl. Rev. 39(1), 17–28 (2009)

    Article  Google Scholar 

  2. Yindun, S., Shiyi, Xu: A new method for measurement and reduction of software complexity. Tsinghua Sci. Technol. 12(S1), 212–216 (2007)

    Article  Google Scholar 

  3. Hecht H.: Measurement, estimation and prediction of software reliability, in software engineering technology, vol. 2, pp. 209–224. Maidenhead, Berkshire, England, Infotech International (1977)

    Google Scholar 

  4. Samimi, H., Darli, A.E., Millstein, T.: Falling back on executable specifications. In: Proceedings of the 24th European Conference on Object-Oriented Programming (ECOOP’10), pp. 552–576 (2010)

    Chapter  Google Scholar 

  5. Wahls, T., Leavens, G.T., Baker, A.L.: Executing formal specifications with concurrent constraint programming. Autom. Softw. Eng. 7(4), 315–343 (2000)

    Article  Google Scholar 

  6. Leuschen, M.L., Walker, I.D., Cavallaro, J.R.: Robot reliability through fuzzy markov models. In: Proceedings of Reliability and Maintainability Symposium, pp. 209–214 (1998)

    Google Scholar 

  7. Beckert, B., Hoare, T., Hanhle, R., Smith, D.R., et al.: Intelligent systems and formal methods in software engineering. IEEE Intell. Syst. 21(6), 71–81 (2006)

    Article  Google Scholar 

  8. Musa, J.D., Okumoto. A logarithmic poisson execution time model for software reliability measurement. In: Proceedings of the 7th International Conference on Software Engineering, pp. 230–237. Orlando (1984)

    Google Scholar 

  9. Meyer, B., Woodcock, J.: Verified software: theories, tools, experiments. In: IFIP TC 2/WG 2.3 Conference VSTTE 2005, Springer-Verlag (2005)

    Google Scholar 

  10. Hsu, C.J., Huang, C. Y.: A study on the applicability of modified genetic algorithms for the parameter estimation of software reliability modeling. In: Proceedings of the 34th Annual IEEE Computer Software and Applications Conference, pp. 531–540 (2010)

    Google Scholar 

  11. Jelinski, Z., Moranda, P.B.: Software reliability research. In: Statistical Computer performance Evaluation, pp. 465–484. Academic Press, New York (1972)

    Chapter  Google Scholar 

  12. Benett, A.A.: Theory of probability. Electr. Eng. 52, 752–757 (1933)

    Article  Google Scholar 

  13. Hoare, C.A.R.: How did software get so reliable without proof. In: Proceedings of The Third International Symposium of Formal Methods Europe on Industrial Benefits and Advances in Formal Methods, pp. 1–17 (1996)

    Google Scholar 

  14. Zee, K., Kuncak, V., Rinard, M.C.: Full functional verification of linked data structures. In: Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI ’08, pp. 349–361. ACM, New York (2008)

    Google Scholar 

  15. Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for java. In: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation PLDI ’02, pp. 234–245. ACM, New York (2002)

    Google Scholar 

  16. Zee, K., Kuncak, V., Rinard, M.C.: An integrated proof language for imperative programs. In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI ’09, pp. 338–351. ACM, New York (2009)

    Google Scholar 

  17. Wason, R., Ahmed, P., Rafiq, M.Q.: Automata-based software reliability model: the key to reliable software. Int. J. Softw. Eng. Its Appl. 7(6), 111–126 (2013)

    Google Scholar 

  18. Benes, N., Buhnova, B., Cerna, I., Oslejsek, R.: Reliability analysis in component-based development via probabilistic model checking. In: Proceedings of the 15th ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE’12), pp. 83–92 (2012)

    Google Scholar 

  19. Sharygina, N., Browne, J.C., Kurshan, R.P.: A formal object-oriented analysis for software reliability: design for verification. In: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE’01), pp. 318–322. Springer-Verlag (2001)

    Chapter  Google Scholar 

  20. Afshar, H.P., Shojai, H., Navabi, Z.: A new method for checking FSM correctness (Simulation Replacement). In: Proceedings of International Symposium on Telecommunications, pp. 219–222. Isfahan–Iran (2003)

    Google Scholar 

  21. Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183–235 (1994)

    Article  MathSciNet  Google Scholar 

  22. Chow, T.S.: Testing software design modeled by finite state machines. IEEE Trans. Softw. Eng. SE-4(3), 178–187 (1978)

    Article  Google Scholar 

  23. Hoare, C.A.R.: An axiomatic basis for computer programming. ACM Commun. 12(10), 576–580 (1969)

    Article  Google Scholar 

  24. Crochemore, M., Gabbay, D.M.: Reactive automata. Inf. Comput. 209(4), 692–704 (2011)

    Article  MathSciNet  Google Scholar 

  25. Goseva-Popstojanova, K., Kamavaram, S.: Assessing uncertainty in reliability of component-based software systems. In: 14th International Symposium on Software Reliability Engineering (ISSRE 2003), pp. 307–320 (2003)

    Google Scholar 

  26. Goel, A.L.: Software reliability models: assumptions, limitations and applicability. IEEE Trans. Softw. Eng. 11(12), 1411–1414 (1983)

    Google Scholar 

  27. Ramamoorthy, C.V., Bastani, F.B.: Software reliability—status and perspectives. IEEE Trans. Softw. Eng. SE-8(4), 354–371 (1982)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of MCA, Bharati Vidyapeeth’s Institute of Computer Applications and Management, New Delhi, India

    Ritika Wason

  2. School of Engineering and Technology, Sharda University, Greater Noida, India

    A. K. Soni

  3. Department of Computer Science and Engineering, Aligarh Muslim University, Aligarh, India

    M. Qasim Rafiq

Authors
  1. Ritika Wason
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. K. Soni
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. Qasim Rafiq
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ritika Wason .

Editor information

Editors and Affiliations

  1. Bharati Vidyapeeth’s Institute of Computer Applications and Management (BVICAM), New Delhi, Delhi, India

    M. N. Hoda

  2. Department of Computer Engineering, YMCAUST, Faridabad, Haryana, India

    Naresh Chauhan

  3. Department of Computer Science, University of Kashmir, Srinagar, Jammu and Kashmir, India

    S. M. K. Quadri

  4. Department of Information Technology and Systems, Indian Institute of Management Rohtak, Rohtak, Haryana, India

    Praveen Ranjan Srivastava

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Singapore Pte Ltd.

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Wason, R., Soni, A.K., Qasim Rafiq, M. (2019). Traditional Software Reliability Models Are Based on Brute Force and Reject Hoare’s Rule. In: Hoda, M., Chauhan, N., Quadri, S., Srivastava, P. (eds) Software Engineering. Advances in Intelligent Systems and Computing, vol 731. Springer, Singapore. https://doi.org/10.1007/978-981-10-8848-3_29

Download citation

  • DOI: https://doi.org/10.1007/978-981-10-8848-3_29

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-10-8847-6

  • Online ISBN: 978-981-10-8848-3

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation