Scientific and Technical Journal

ELECTROTECHNIC AND COMPUTER SYSTEMS

ISSN Print 2221-3937
ISSN Online 2221-3805
DEVELOPMENT OF SOFTWARE USAGE MODEL FOR DOMAIN-ORIENTED TESTING BASED ON SYNTAX AND LEXICAL ANALYSIS OF PROGRAM SOURCE
Abstract:

The new approach of software usage model development with syntax and lexical analysis are proposed in this article. Code analysis is used to develop software usage model represented as a graph of possible application flow and set of domain programvariables value that are changing during execution flow. This flexible and simple approach can be extended for development usage model to the wide class of application written in object-oriented languages. Elaborated usage model is simplifying process of testing application for complex scenario of execution that decreases count of faults in software applications.

 

Authors:
Keywords
DOI
References
  1. Mohd Ehmer Khan, (2010), Different Forms of Software Testing Techniques for Finding Errors, IJCSI, Volume 7, Issue 3, pp. 11 – 16 (In English).
  2. Siegl S., Winfried D., Reinhard G., and Gerhard K., (2009), Model-Driven Testing based on Markov Chain Usage Models in Automotive Domain, Proc. of the 12th European Workshop on Dependable Computing(In English).
  3. Trammell C., (1995), Guantifying the reliability of software: statistical testing based on a usage model, Software Engineering Standards Symposium, pp.208 – 218 (In English).
  4. Fedasyuk D., Yakovyna V., Serdyuk P., and Nytrebych О., (2014), Variable State-based Software usage Model, Econtechmod: an International  19 Quarterly Journal on Economics in Technology, new Technologies and Modeling Processes, Volume 3, Issue 2, pp. 15 – 20 (In English).
  5. KanerS., FolkD., and NguenE., (2000),SoftwareTesting, DiaSoft,544 p.(In English).
  6. Kuhn D.R., Wallace D.R., and Gallo A.M., (2004), Software Fault Interactions and Implications for Software Testing, IEEE Transactions on Software Engineering, Volume 30, Issue 6, pp. 418 – 421 (In English).
  7. Cormac Flanagan, (2005), Patrice Godefroid. Dynamic Partial-order Reduction for Model Checking Software, Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Volume 40, Issue 1, January 2005, pp. 110 – 121.
  8. Itai Segall, Rachel Tzoref-Brill, and Eitan Farchi, (2011), Using Binary Decision Diagrams for Combinatorial Test Design, ISSTA '11 Proceedings of the 2011 International Symposium on Software Testing and Analysis,pp. 254 – 264.
  9. Pretschner. Model-based Testing in Practice. In: Formal Methods. Lecture Notes in Computer Science, Vol. 3582, pp. 537–541.
  10. UttingM., and LegeardB.,(2006): Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann, San Francisco.
  11. Patrice Godefroid, and Adam Kiezun. Grammar-based Whitebox Fuzzing,Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 206 – 215.
Published:
Last download:
2017-11-16 11:44:57

[ © KarelWintersky ] [ All articles ] [ All authors ]
[ © Odessa National Polytechnic University, 2014. Any use of information from the site is possible only under the condition that the source link! ]
Яндекс.Метрика