XI Workshop de Testes e TolerÃ¢ncia a Falhas (WTF) - SBRC 2010

More documents

Recommendations

Info

116 Anais Fujiwara, S., Bochman, G. V., Khendek, F., Amalou, M., and Ghedamsi, A. (1991). Test selection based on finite state models. IEEE Transactions on Software Engineering, 17(6):591–603. Gill, A. (1962). Introduction to the Theory of Finite-State Machines. McGraw-Hill, New York. Gonenc, G. (1970). A method for design of fault detection experiments. IEEE Transactions on Computers, 19(6):551–558. Hennie, F. C. (1964). Fault detecting experiments for sequential circuits. pages 95–110. Hierons, R. M. (2004). Using a minimal number of resets when testing from a finite state machine. Inf. Process. Lett., 90(6):287–292. Hierons, R. M. and Ural, H. (2002). Reduced length checking sequences. IEEE Transactions on Computers, 51(9):1111–1117. Hierons, R. M. and Ural, H. (2006). Optimizing the length of checking sequences. IEEE Transactions on Computers, 55(5):618–629. Hogrefe, D. (1991). Osi formal speci cation case study: the inres protocol and service. Technical report, University of Bern. Lee, D. and Yannakakis, M. (1994). Testing finite-state machines: State identification and verification. IEEE Trans. Comput., 43(3):306–320. Luo, G., Petrenko, R., and Bochmann, G. V. (1994). Selecting test sequences for partially-specified nondeterministic finite state machines. In In IFIP 7th International Workshop on Protocol Test Systems, pages 91–106. McGill, R., Tukey, J. W., and Larsen, W. A. (1978). Variations of box plots. The American Statistician, 32(1):12–16. Petrenko, A., von Bochmann, G., and Yao, M. Y. (1996). On fault coverage of tests for finite state specifications. Computer Networks and ISDN Systems, 29(1):81– 106. Petrenko, A., Yevtushenko, N., Lebedev, A., and Das, A. (1993). Nondeterministic state machines in protocol conformance testing. In Protocol Test Systems, pages 363–378. Sidhu, D., Chung, A., and Blumer, T. P. (1991). Experience with formal methods in protocol development. SIGCOMM Comput. Commun. Rev., 21(2):81–101. Simao, A. S. and Petrenko, A. (2008). Generating checking sequences for partial reduced finite state machines. In TestCom ’08 / FATES ’08: Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems, pages 153–168, Berlin, Heidelberg. Springer-Verlag. Simao, A. S. and Petrenko, A. (2009). Checking fsm test completeness based on sufficient conditions. IEEE Transactions on Computers. (Aceito para publicacao. Versão preliminar disponível em: www.crim.ca/Publications/2007/documents/plein texte/ASD PetA 0710 20.pdf).
XI Workshop de Testes e Tolerância a Falhas 117 Tan, Q. M., Petrenko, A., and Bochmann, G. V. (1996). A test generation tool for specifications in the form of state machines. In in Proceedings of the International Communications Conference, pages 225–229. Ural, H., Wu, X., and Zhang, F. (1997). On minimizing the lengths of checking sequences. IEEE Transactions on Computers, 46(1):93–99. Ural, H. and Zhang, F. (2006). Reducing the lengths of checking sequences by overlapping. Lecture Notes on Computer Science, (3964):274–288. Yao, M., Petrenko, A., and Bochmann, G. v. (1993). Conformance testing of protocol machines without reset. In Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII, pages 241–256, Amsterdam, The Netherlands, The Netherlands. North-Holland Publishing Co.
Page 1 and 2:
XXVIII Simpósio Brasileiro de Rede
Page 3 and 4:
XI Workshop de Testes e Tolerância
Page 5 and 6:
Page 7 and 8:
Page 9 and 10:
Page 11 and 12:
Page 13:
Page 16 and 17:
4 Anais tais problemas. Portanto, h
Page 18 and 19:
6 Anais consenso para o modelo ass
Page 20 and 21:
8 Anais em andamento (por exemplo,
Page 22 and 23:
10 Anais cada partição síncrona,
Page 24 and 25:
12 Anais A tarefa T 4 é executada
Page 26 and 27:
14 Anais • Assumimos que o proces
Page 28 and 29:
16 Anais Veríssimo, P. and Casimir
Page 30 and 31:
18 Anais Entretanto, em caso de fal
Page 32 and 33:
20 Anais à aplicação: SafeSendT
Page 34 and 35:
22 Anais Na fase de inicialização
Page 36 and 37:
24 Anais acesso a C e nem a C d . E
Page 38 and 39:
26 Anais Prova. 1. Se t + 1 /∈ C
Page 40 and 41:
28 Anais algoritmo de término. Vá
Page 42 and 43:
30 Anais instantânea. Além disso,
Page 44 and 45:
32 Anais [Chandra and Toueg 1996].
Page 46 and 47:
34 Anais Every JXTA-FD instance exe
Page 48 and 49:
36 Anais 3.4. GossipTask A rotina G
Page 50 and 51:
38 Anais mecanismo foi adotado para
Page 52 and 53:
40 Anais Tempo de Detecção e Recu
Page 54 and 55:
42 Anais nout em relação à exati
Page 56 and 57:
44 Anais Fischer, M. J., Lynch, N.
Page 58 and 59:
46 Anais 1. Introdução Sistemas d
Page 60 and 61:
48 Anais canais de comunicação co
Page 62 and 63:
50 Anais Figura 1. Interface do QoS
Page 64 and 65:
52 Anais onde as aplicações solic
Page 66 and 67:
54 Anais • QOSP _REGIST ER: Esta
Page 68 and 69:
56 Anais O DSCP utilizado para o Se
Page 70 and 71:
58 Anais seu destino, enquanto que
Page 73 and 74:
Page 75 and 76:
Page 77 and 78: XI Workshop de Testes e Tolerância
Page 101: XI Workshop de Testes e Tolerância
Page 104 and 105: 92 Anais geralmente baseados nos gr
Page 106 and 107: 94 Anais Os parâmetros podem repre
Page 108 and 109: 96 Anais Um exemplo de configuraç
Page 110 and 111: 98 Anais E. Evolução O Módulo Ev
Page 112 and 113: 100 Anais Tabela 1: Cobertura obtid
Page 114 and 115: 102 Anais ineditismo, o que parece
Page 116 and 117: 104 Anais Evaluation of Novel Appro
Page 118 and 119: 106 Anais protocolo; (2) verificaç
Page 120 and 121: 108 Anais Uma MEF pode ser represen
Page 122 and 123: 110 Anais se dá em uma seqüência
Page 124 and 125: 112 Anais 1 2 3 4 5 Data: MEF M e C
Page 126 and 127: 114 Anais (a) Variação do número
Page 157: XI Workshop de Testes e Tolerância
Page 179 and 180:
Page 181 and 182:
Page 183 and 184:
Page 185 and 186:
Page 187 and 188:
Page 189:
show all

XI Workshop de Testes e TolerÃ¢ncia a Falhas (WTF) - SBRC 2010

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?