Proceedings Article10.1109/ISCE.2006.1689447
Testing Automation for system core kJava applications
V.P. Kotlyarov,A.A. Golubev,A.N. Karpov +2 more
- 11 Sep 2006
- pp 1-4
TL;DR: The paper demonstrated the necessity for the new testing automation solution for system core kJava applications with use of internal structure of kJava implementation to create test automation system and the result is the test toolkit adapted for testing system corekJava applications.
read more
Abstract: The paper includes brief review of the main general problems of the testing automation for kJava applications. Existing approaches in the target area are reviewed. The differences between common kJava applications and system core kJava applications described. Demonstrated the necessity for the new testing automation solution for system core kJava applications. Use of internal structure of kJava implementation to create test automation system is described. The result is the test toolkit adapted for testing system core kJava applications. The results of using new method are shown.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
References
Basic protocols, message sequence charts, and the verification of requirements specifications
TL;DR: In this article, the semantics of message sequence charts can be defined algebraically in the theory of interaction of agents and environments, using this algebra, one can split message sequence chart scenarios into sets of Hoare triples consisting of precondition, the specification of a finite process, and a postcondition.