Штучний інтелект

Анотація: The objective of proposed method is to increase efficiency of automatic generation and minimization of test data set needed to guarantee coverage of source code of Java programs. Different kinds of coverage, methods of abstract interpretation and state-space reduction are discussed. The basis of the proposed method is formal methods of model behavior analysis.

Ключові слова: testing, state-space search reduction

Посилання:

1. Mahadik P., Thakore D. Survey on Automatic Test Data Generation Tools and Techniques for Object Oriented Code // Int. J. of Research in Computer and Communication Engineering. –2016. –Vol 4. –P. 357–364.
2. Cseppento L., Micskei Z. Evaluating Symbolic Execution-based Test Tools // In Proc. of IEEE Int. Conf. on Software Testing, Verification and Validation (ICST). –2015. –P. 1–10.
3. Pasareanu C., Visser W., and oth. Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis // Automated Software Engineering. –2013. –Vol. 20. –N3. –P.391–425.
4. Fraser G., Arcuri A. Whole test suite generation // IEEE Transactions on Software Engineering. – 2013. – Vol. 39. –N2. –P. 276–291.
5. Frankl P., Weyuker E. An applicable family of data flow testing criteria // IEEE Transactions on Software Engineering. –1988. –Vol 4. –P. 1483–1498.
6. Letichevskiy A.A., Godlevskiy A.B. i dr. Svoystva predikatnogo transformera sistemyi VRS // Kibernetika i sistemnyiy analiz. –2010. –#4. –S. 3–16.
7. Potienko S.V. Metodyi pryamogo i obratnogo simvolnogo modelirovaniya sistem, zadannyih bazovyimi protokolami // Problemyi programmirovaniya. – 2008. – # 4. – S. 39–45.
8. Godlevskiy A.B., Potienko S.V. Obratnaya transformatsiya formul v simvolnom modelirovanii: ot rezultata k ishodnoy formule // Problemyi programmirovaniya. – 2010. – # 2–3. – S. 363–368.
9. Kolchin A., Letichevsky A., Peschanenko V., Drobintsev P., Kotlyarov V. An approach to creating concretized test scenarios within test automation technology for industrial software projects // Automatic Control and Computer Sciences. –2013. –Vol. 47(7). –P. 433–442.
10. Jhala R., Majumdar R. Software model checking // ACM Comput. Surv. – Vol.41(4). – 2009. – 54 P.
11. [Elektronnyiy resurs]. – Rezhim dostupa: https://docs.oracle.com/javase/8/docs
12. Kolchin A.V. Avtomaticheskiy metod dinamicheskogo postroeniya abstraktsiy sostoyaniy formalnoy modeli // Kibernetika i sistemnyiy analiz. – 2010. – # 4. – S. 70–90.
13. Kolchin A.V. Metod reduktsii analiziruemogo prostranstva povedeniya pri verifikatsii formalnyih modeley raspredelennyih programmnyih sistem // Iskusstvennyiy intellekt. –2013. – #4. –S. 113–126.
14. Letichevskiy A.A., Kolchin A.V. Generatsiya testovyih stsenariev na osnove formalnoy modeli // Problemyi programmirovaniya. – 2010. – # 2–3. – S. 209–215.
15. Kolchin A.V., Drobintsev P.D., Kotlyarov V.P. Metod generatsii testovyih stsenariev v srede insertsionnogo modelirovaniya // Upravlyayuschie sistemyi i mashinyi. –2012. – # 6. – S. 43–48,63.