Abstract
Modern programmers’ society suffers from lack of reusable software components specifications. Formal specifications can be restored in automated way by analysis of existing client projects, code of which can be obtained from publicly available software repositories such as GitHub. Such specifications can be used for documentation, code generation and bug finding. The most qualitative specifications can be restored with application of methods of dynamic analysis. Existing approaches doesn’t support usage of client project tests for getting project traces, though methods of client projects should contain correct templates of components usage and some of them (unit and, partly, integration tests) also don’t require user input. This paper reveals ways of getting possible application of provided and automatically created tests for software libraries formal specifications inference. Both search-based, as well as feedback-directed automated test generation techniques, are reviewed, and proper technique for suggested inference toolchain is chosen. Possible directions of further research are given.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Egorova, I.S., Itsykson, V.M.: Survey of static methods for partial software library specifications extraction. Informatsionno-upravliaiushchie sistemy [Inf. Control Syst.] 6, 66–75 (2017). (In Russian). https://doi.org/10.15217/issn1684-8853.2017.6.66
Egorova, I.S., Itsykson, V.M.: Review of dynamic methods for extraction of partial software library specification. Informatsionno-upravliaiushchie sistemy [Inf. Control Syst.] 2, 67–75 (2018). (In Russian). https://doi.org/10.15217/issn1684-8853.2018.2.67
Gonzalez, D., Popovich, A., Mirakhorli, M.: TestEX: a search tool for finding and retrieving example unit tests from open source projects. In: 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Ottawa, ON, pp. 153–159 (2016)
Pacheco, C., Lahiri, S.K., Ernst, M.D., Ball, T.: Feedback-directed random test generation. In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, pp. 75–84 (2007)
Fraser, G., Arcuri, A.: EvoSuite: automatic test suite generation for object-oriented software. In: SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 416–419 (2011)
Almasi, M.M., Hemmati, H., Fraser, G., Arcuri, A., Benefelds, J.: An industrial evaluation of unit test generation: finding real faults in a financial application. In: 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP), Buenos Aires, pp. 263–272 (2017)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Egorova, I., Itsykson, V. (2021). Generation of Test-Based Traces for Automated Partial Software Specifications Extraction. In: Kalenkova, A., Lozano, J.A., Yavorskiy, R. (eds) Tools and Methods of Program Analysis. TMPA 2019. Communications in Computer and Information Science, vol 1288. Springer, Cham. https://doi.org/10.1007/978-3-030-71472-7_17
Download citation
DOI: https://doi.org/10.1007/978-3-030-71472-7_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-71471-0
Online ISBN: 978-3-030-71472-7
eBook Packages: Computer ScienceComputer Science (R0)