The article presents the advantages of J@va, a specification extension of the Java language, intended for use in automated test development. The approach presented includes constraints specification, automatic oracle generation, usage of FSM (Finite State Machine) model and algebraic specifications for test sequence generation, and specification abstraction management. This work stems from the ISPRAS results of academic research and industrial application of formal techniques [1]. © Springer-Verlag Berlin Heidelberg 2001.
CITATION STYLE
Bourdonov, I. B., Demakov, A. V., Jarov, A. A., Kossatchev, A. S., Kuliamin, V. V., Petrenko, A. K., & Zelenov, S. V. (2001). Java specification extension for automated test development. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2244 LNCS, pp. 301–307). Springer Verlag. https://doi.org/10.1007/3-540-45575-2_30
Mendeley helps you to discover research relevant for your work.