Open Access   Article Go Back

Approaches for Efficient Learning Software Models: A Survey

K. Laxmi Pradeep1 , K. Madhavi2

  1. Computer Science Engineering, Gokaraju Rangaraju Institute of Engineering and Technology, Hyderabad, India.
  2. Computer Science Engineering, Gokaraju Rangaraju Institute of Engineering and Technology, Hyderabad, India.

Correspondence should be addressed to: pradeepa0544@gmail.com.

Section:Survey Paper, Product Type: Journal Paper
Volume-6 , Issue-1 , Page no. 108-113, Jan-2018

CrossRef-DOI:   https://doi.org/10.26438/ijcse/v6i1.108113

Online published on Jan 31, 2018

Copyright © K. Laxmi Pradeep, K. Madhavi . This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

View this paper at   Google Scholar | DPI Digital Library

How to Cite this Paper

  • IEEE Citation
  • MLA Citation
  • APA Citation
  • BibTex Citation
  • RIS Citation

IEEE Style Citation: K. Laxmi Pradeep, K. Madhavi, “Approaches for Efficient Learning Software Models: A Survey,” International Journal of Computer Sciences and Engineering, Vol.6, Issue.1, pp.108-113, 2018.

MLA Style Citation: K. Laxmi Pradeep, K. Madhavi "Approaches for Efficient Learning Software Models: A Survey." International Journal of Computer Sciences and Engineering 6.1 (2018): 108-113.

APA Style Citation: K. Laxmi Pradeep, K. Madhavi, (2018). Approaches for Efficient Learning Software Models: A Survey. International Journal of Computer Sciences and Engineering, 6(1), 108-113.

BibTex Style Citation:
@article{Pradeep_2018,
author = {K. Laxmi Pradeep, K. Madhavi},
title = {Approaches for Efficient Learning Software Models: A Survey},
journal = {International Journal of Computer Sciences and Engineering},
issue_date = {1 2018},
volume = {6},
Issue = {1},
month = {1},
year = {2018},
issn = {2347-2693},
pages = {108-113},
url = {https://www.ijcseonline.org/full_paper_view.php?paper_id=1642},
doi = {https://doi.org/10.26438/ijcse/v6i1.108113}
publisher = {IJCSE, Indore, INDIA},
}

RIS Style Citation:
TY - JOUR
DO = {https://doi.org/10.26438/ijcse/v6i1.108113}
UR - https://www.ijcseonline.org/full_paper_view.php?paper_id=1642
TI - Approaches for Efficient Learning Software Models: A Survey
T2 - International Journal of Computer Sciences and Engineering
AU - K. Laxmi Pradeep, K. Madhavi
PY - 2018
DA - 2018/01/31
PB - IJCSE, Indore, INDIA
SP - 108-113
IS - 1
VL - 6
SN - 2347-2693
ER -

VIEWS PDF XML
664 604 downloads 277 downloads
  
  
           

Abstract

Dynamic examination extracts vital data about software systems which are helpful in testing, troubleshooting and support exercises. Prevalent dynamic examination strategies combine either data on the estimation of the factors or data on relations between orders for techniques. GK-tail, for creating model that address the trade between program components and strategy orders. Therefore, these methodologies don`t catch the vital relations that exist on information esteem and conjuring succession. GK-tail broadens the k-tail algorithm to removing limited state automata from execution take after the example of limited state automata with parameters. GK-tail+, another way to deal with deducing monitored limited state machines from execution hints at question arranged projects. GK-tail+ is another arrangement of surmising criteria that speak profoundly component of the derivation procedure: It to a great extent lessens the deduction time of GK-tail while creating watched limited state machines with a practically identical level of review and specificity. Along these lines, GK-tail+ progresses the preliminary results of GK-tail by tending to all the three principle difficulties of taking in models of program conduct of execution follow. This paper displays the method and the consequences of some preparatory analyses that demonstrate the possibilities of the approach’s available.

Key-Words / Index Term

Dynamic analysis, Behavioural models, Finite state machines, Verification

References

[1] G. Ammons, R. Bodik, and J. R. Larus. “Mining specifications”. In proceedings of the 29th Symposium on Principles of Programming Languages, pages 4–16. ACM Press, 2002.
[2] A. Biermann and J. Feldman. “On the synthesis of finite state machines from samples of their behaviour”, IEEE Transactions on Computer, 21:592–597, June 1972.
[3] J. Cook and A. Wolf. “Discovering models of software processes from event-based data”, ACM Transactions on Software Engineering and Methodology, 7(3):215–249, 1998.
[4] P. Dupont. “Incremental regular inference”. In L. Miclet and C.de la Higuera, editors, proceedings of the 3rd International Colloquium on Grammatical Inference, volume 1147 of LNCS, pages 222–237. Springer-Verlag, 1996.
[5] M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. “Dynamically discovering likely program invariants to support program evolution”, IEEE Transactions on Software Engineering, 27(2):99–123, February 2001.
[6] S. Fujiwara, G. von Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi. “Test selection based on finite state models”, IEEE Transactions on Software Engineering, 17(6):591–603, 1991.
[7] E. Gamma, R. Helm, R. Johnson, and J. Vlissides. “Design Patterns: Elements of Reusable Object-Oriented Software”, Computing Series. Addison-Wesley Professional, 1995.

[8] A.Hamou-Lhadj and T. C. Lethbridge. “An efficient algorithm for detecting patterns in traces of procedure calls”, In proceedings of the ICSE Workshop on Dynamic Analysis (WODA), Portland, Oregon, May 2003. ACM Press.
[9] M.Harder, J. Mellen, and M. D. Ernst. “Improving test suites via operational abstraction”, In in Proceedings of the 25th International Conference on Software Engineering, pages 60–71, Portland, Oregon, May 6–8, 2003.
[10] Amazon. Amazon web services. www.amazon.com/gp/aws/landing, 2006.
[11] L. Mariani and M. Pezz`e. ” Behaviour capture and test: Automated analysis of component integration”, In proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems, 2005.
[12] R. Parekh and V. Honavar “ An incremental interactive algorithm for regular grammar inference”, In L. Miclet and C. Higuera, editors, proceedings of the 3rd International Colloquium on Grammatical Inference, volume 1147 of LNCS, pages 238–250. Springer-Verlag, 1996.
[13] S. Porat and J. Feldman. “Learning automata from ordered examples”, Machine Learning, 7:109–138, 1991.
[14] S. P. Reiss and M. Renieris. “Encoding program executions”, In proceedings of the 23rd International Conference on Software Engineering, pages 221–230. IEEE Computer Society, 2001.
[15] L. Wendehals. “Improving design pattern instance recognition by dynamic analysis ”, In proceedings of the ICSE Workshop on Dynamic Analysis (WODA), Portland, USA, May 2003. ACM Press.
[16] T. Xie and D. Notkin. “Exploiting synergy between testing and inferred partial specifications” , In proceedings of the ICSE Workshop on Dynamic Analysis (WODA), Portland, Oregon, May 2003. ACM Press.
[17] T. Xie and D. Notkin. “Tool-assisted unit-test generation and selection based on operational abstractions” , Automated Software Engineering Journal, 2006 (to appear).
[18] S. Shoham, E. Yahav, S. Fink, M. Pistoia , "Static specification mining using automata-based abstractions", Proc. Int. Symposium. Software Testing Analysis, pp. 174-184, 2007.
[19] J. Whaley, M. C. Martin, M. S. Lam, "Automatic extraction of object-oriented component interfaces", Proc. Int. Symposium Software. Testing Anal., pp. 218-228, 2002.
[20] David Lo “Automatic steering of behavioural model inference”, In Proc. of ESEC/FSE, 2009.