%0 Conference Proceedings
%@nexthigherunit 8JMKD3MGPCW/446B2HE
%@holdercode {isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S}
%@resumeid 8JMKD3MGP5W/3C9JGH7
%@usergroup administrator
%3 DSN2003-thesisAmbrosio.pdf
%B International Conference on Dependable Systems and Networks.
%X This paper presents an approach for black-box test case derivation from a set of concurrent FSM, in which the product machine is not generated. The idea of independent and communicating transitions as well as an existing tool for FSM-based test case generation are the basis for the approach. The test case suite generated according to the approach is compared with the test suite generated from the product machine, for a simple example. Code-based interface mutants, used as fault model, support the comparison. The algorithm to recognize the communicating transitions is presented. Preliminary results pointed out simplicity and effectiveness over the fault model in the empirical evaluation.
%E Socyety, IEEE Computer,
%T Systematic test case generation for concurrent FSMs.
%K FSM, code - based interface mustants.
%@secondarytype PRE CI
%8 2003
%@group DSS-INPE-MCT-BR,
%@copyholder SID/SCD
%@secondarykey INPE-10237-PRE/5755
%2 sid.inpe.br/marciana/2004/04.07.08.23.41
%I IEEE
%@language English
%P 46-48
%4 sid.inpe.br/marciana/2004/04.07.08.23
%D 2003
%S Proceedings
%A Ambrosio, Ana Maria,
%@area ETES