I.Burdonov, A.Kossatchev, A.Demakov, A.Jarov, A.Petrenko, V.Kuliamin, S.Zelenov.
Java Specification Extension for Automated Test Development.
Perspectives of System Informatics // LNCS, No.2244, 2001, pp. 301-307.
7 стр.
pdf, pdf_1, $_€_£_html


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].