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

Submit your paper
Know more
The week's pick
Responsive image
Enhancing Privacy Preservation: Multi-Attribute Protection with P-Sensitive K-Anonymity

Twinkle Patel Kiran Amin
Random Articles
Reseach Article

Designing of Testing Framework through Finite State Automata for Object-Oriented Systems using UML

by Sadhana Verma, Ajay Pratap
journal cover thumbnail

International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 127 - Number 11
Year of Publication: 2015
Authors: Sadhana Verma, Ajay Pratap
10.5120/ijca2015906543

Sadhana Verma, Ajay Pratap . Designing of Testing Framework through Finite State Automata for Object-Oriented Systems using UML. International Journal of Computer Applications. 127, 11 ( October 2015), 38-46. DOI=10.5120/ijca2015906543

@article{ 10.5120/ijca2015906543,
author = { Sadhana Verma, Ajay Pratap },
title = { Designing of Testing Framework through Finite State Automata for Object-Oriented Systems using UML },
journal = { International Journal of Computer Applications },
issue_date = { October 2015 },
volume = { 127 },
number = { 11 },
month = { October },
year = { 2015 },
issn = { 0975-8887 },
pages = { 38-46 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume127/number11/22775-2015906543/ },
doi = { 10.5120/ijca2015906543 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T23:19:39.698383+05:30
%A Sadhana Verma
%A Ajay Pratap
%T Designing of Testing Framework through Finite State Automata for Object-Oriented Systems using UML
%J International Journal of Computer Applications
%@ 0975-8887
%V 127
%N 11
%P 38-46
%D 2015
%I Foundation of Computer Science (FCS), NY, USA
Abstract

Many researches to testing object-oriented systems (OOSs) have been proposed for the past decade. After all, almost all large OO software specifications still contain incompleteness, inconsistency, and ambiguity. The framework can be defined using any state-based specification notation and used to derive test cases from state-based specifications in this paper, it is demonstrated using the RSML notation. A state transition diagram (STD) derived from RSML specification provides a complete behavior of a given OOS. System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements are derived from UML analysis artifacts such as use cases, their corresponding sequence and collaboration diagrams, class diagrams. The goal is here to support the derivation of functional system test requirements, which will be transformed into test cases once we have detailed design information. In this paper, we describe a methodology in a practical way and illustrate it with an example. In this paper a framework that formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process.

References
  1. J. E. Hopcroft and R. M. Karp. 1971. A linear algorithm for testing Equivalence of finite Automata. Cornell University, Tech. Rep. TR 71-114.
  2. A. J. Offutt and A. Abdurazik. 1999. Generating Tests from UML specifications. Proceedings Second International Conference on the Unified Modeling Language (UML'99), Fort Collins, CO. pp. 416-429.
  3. Vipin Saxena and Ajay Pratap. 2012. Modeling and Validation of Object-Oriented Database System. International Journal of Computer and Electrical Engineering, Vol. 4, No. 5.
  4. D. Harel. 1987. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming. vol. 8, pp. 231-274.
  5. A. Andrews, R. France, S. Ghosh, and G. Craig. 2003. Test Adequacy Criteria for UML Design Models. Software Testing, Verification, and Reliability Journal. Vol. 13, No 2.
  6. H. Y. Chen, T.H. Tse, F.T. Chan, and T.Y. Chen. 1998. In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs. ACM Transactions on Software Engineering and Methodology. Vol. 7, No. 3, pp. 250–295.
  7. Chi-Ming Chung, Timothy K. Shih, Chun-Chia Wang, and Ming-Chi Lee. 1997. Integrating Object-Oriented Software Testing and Metrics. International Journal of Software Engineering and Knowledge Engineering. U.S.A, Vol.7, No. 1, pp.125-144.
  8. E. Weyuker, T. Goradia, and A. Singh. 1994. Automatically generating test data from boolean specification. IEEE Transactions on Software Engineering. Vol. 20, no. 5.
  9. N. G. Leveson, M. P. E. Heimdahl, H. Hildreth, and J.D. Reese. 1994. Requirements Specification for Process-Control Systems. IEEE Transactions on Software Engineering. vol. 20, no. 9, pp. 684-707.
  10. M. S. Jaffe, N. G. Leveson, M.P.E. Heimdahl and B. Melhart. 1991. Software Requirements Analysis for Real-Time Process-Control Systems. IEEE Transaction on Software Engineering. vol. 17, no.3 pp.241-258.
  11. J. D. Ullman and J.E. Hopcroft. 1979. Introduction to Automata Theory, Languages and Computation. pp. 58-62, Addison Wesley.
  12. I. A. Zualkernan, W.T. Tsai. 1992. Object-Oriented Analysis and Design: A Case Study. International Journal of Software Engineering and Knowledge Engineering. vol. 2, no. 4, pp. 489-521.
  13. E. F. Miller, Introduction to Software Testing Technology. Tutorial: Software testing &Validation Techniques. Second Edition. IEEE Catalog No. EHO 180-0, pp. 4-16.
  14. E. M. Clarke, E. A. Emerson, and A. P. Sistla, 1986. Automatic verification of finite-state concurrent systems using temporal logic. Trans. Prog. Lung. and Syst., vol. 8, no. 2, pp. 244-263.
Index Terms

Computer Science
Information Sciences

Keywords

Object-Oriented Program software testing software complexity Finite automaton UM

Powered by PhDFocusTM