CFP last date
20 December 2024
Call for Paper
January Edition
IJCA solicits high quality original research papers for the upcoming January edition of the journal. The last date of research paper submission is 20 December 2024

Submit your paper
Know more
The week's pick
Responsive image
Improved Shuffled Frog Leaping Algorithm with Self-Adaptive Shuffling for Fuzzy Logic PD+G Controller Optimization in Robotic Manipulators

Duc Hoang Nguyen
Random Articles
Reseach Article

Ontology based Specifications for Software Reliability Advancement

by Shilpa Sharma, Maya Ingle
journal cover thumbnail

International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 43 - Number 13
Year of Publication: 2012
Authors: Shilpa Sharma, Maya Ingle
10.5120/6163-8571

Shilpa Sharma, Maya Ingle . Ontology based Specifications for Software Reliability Advancement. International Journal of Computer Applications. 43, 13 ( April 2012), 18-26. DOI=10.5120/6163-8571

@article{ 10.5120/6163-8571,
author = { Shilpa Sharma, Maya Ingle },
title = { Ontology based Specifications for Software Reliability Advancement },
journal = { International Journal of Computer Applications },
issue_date = { April 2012 },
volume = { 43 },
number = { 13 },
month = { April },
year = { 2012 },
issn = { 0975-8887 },
pages = { 18-26 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume43/number13/6163-8571/ },
doi = { 10.5120/6163-8571 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T20:33:50.341384+05:30
%A Shilpa Sharma
%A Maya Ingle
%T Ontology based Specifications for Software Reliability Advancement
%J International Journal of Computer Applications
%@ 0975-8887
%V 43
%N 13
%P 18-26
%D 2012
%I Foundation of Computer Science (FCS), NY, USA
Abstract

Presently, achieving highly reliable software from the customer's perspective is a demanding job for all software engineers and reliability engineers. Consequently, reliability may be defined by the user's requirements. In addition, specifications are the basis for software development. Therefore, all means applicable ought to substantiate the specifications concerning requirements. To specifically and succinctly define the reliability, specifications must be written in formal and highly expressive language. Formal ontologies enable use of automated consistency checking of the software system with respect to declarative specifications. Therefore, we have proposed Ontology based protocol (OntoReliability) for developing software specifications in support of reliability advancement. We also present examples from the practice of our protocol that constitutes description, preconditions, post conditions, standard course, proxy course, exceptions, inclusions, primacy, rate of uses, exceptional requirements and remarks and concerns. This, conversely, necessitates revealing the benefits of implementing an OntoReliabilty protocol.

References
  1. J. D. Musa, Software Reliability Engineering: More Reliable Software Faster and Cheaper (2nd Edition), AuthorHouse, 2004.
  2. H. Pham, Software Reliability, Springer, Singapore, 2000.
  3. T. Margaria and B. Steffen, "Service Engineering:Linking Business and IT," IEEE Computer, October 2006,pp. 45-55.
  4. J. M. Wing, A Specifier's Introduction to Formal Methods, IEEE Computer, Vol. 7, No. 5, pp. 8-24, September 2000
  5. N. Gehani, A. D. McGettrick (Eds. ), Software Specification Techniques,Addison-Wesley Publishing Company2000
  6. R. Milner, M. Tofte, R. Harper, The Definition of Standard ML, MIT Press, 2000
  7. W. W. Agresti (Ed. ), New Paradigms in Software Development, IEEE Computer Society Press, 2006
  8. M. Chen, M. R. Lyu, and E. Wong, "Effect of Code Coverage on Software Reliability Measurement," IEEE Transactions on Reliability, vol. 50, no. 2, June 2001,pp. 165-170.
  9. J. D. Musa, "Operational Profiles in Software Reliability Engineering," IEEE Software, Volume 10, Issue 2, March 1993, pp. 14-32.
  10. Cortellessa, V. , Singh, H. , Cukic, B. Eerly reliability assessment of UML based software models. In: Third International Workshop on Software and Performance, Rome, 2007.
  11. Rodrigues, G. N. , Rosenblum, D. S. , Uchitel. S. Using scenarios to predict the reliability of concurrent component-based software systems. In: 8th International Conference on Fundamental Approaches to Software Engineering, FASE 2005. Springer Lecture Notes in Computer Science, Edinburgh, 2005.
  12. S. Yacoub, B. Cukic, and H. Ammar, "Scenario-based reliability analysis of component-based software," proceeding of the 10th International Symposium on Software Reliability Engineering (ISSRE'99), 1999.
  13. Reussner, R. H. , Schmidt, H. W. , Poernomo, I. H. Reliability prediction for component-based software architectures. Journal of Systems and Software, 66(3), 241-252, 2003
  14. Grassi, V. Architecture-based dependability prediction for service-oriented computing. In: Proceedings of the Twin Workshops on Architecting Dependable Systems, International Conference on Software Engineering (ICSE 2004), Springer, Edingburgh, 2004.
  15. A. Immonen and E. Niemelä, "Survey of reliability and availability prediction methods from the viewpoint of software architecture," Software and Systems Modeling. 7(1), 49-65, 2008
  16. A. Immonen, "A method for predicting reliability and availability at the architectural level. ," in Research Issues in Software Product-Lines - Engineering and Managemen, T. Kakola and J. C. Duenas, Eds. Berlin Heidelberg: Springer Verlag, 2006, pp. 373-422.
  17. E. Niemelä and A. Immonen, "Capturing quality requirements of product family architecture," Information and Software Technology. 49(11-12),1107-1120, 2007.
  18. Shilpa Sharma, Maya Ingle, "An Ontology Aided Requirement Engineering Framework", International Journal of Advanced Research in Computer Science, Volume 2, No. 1, Jan-Feb 2011
Index Terms

Computer Science
Information Sciences

Keywords

Ontoreliability Protocol Ontorelspecifications

Powered by PhDFocusTM