Detecção de Falhas em Autômatos Grid
Resumo
Sistemas de tempo real são, em geral, sistemas críticos que interagem com o ambiente externo através de eventos de E/S onde as restrições de tempo são consideradas importantes. Teste baseado em modelos é uma abordagem rigorosa amplamente usada para dar mais precisão no teste de sistemas de tempo real. Técnicas formais que podem lidar com a evolução contínua do tempo é um desafio. Por isso, várias abordagens contam com métodos de discretização para obter modelos discretizados, chamados autômatos grid, correspondentes aos modelos temporizados originais. Conjuntos de teste podem ser extraídos a partir de autômatos grid para verificar se implementações dadas se aderem à especificação. Contudo, uma questão muito importante no teste de sistemas de tempo real é a cobertura de falhas. Neste trabalho abordamos um modelo de cobertura de falhas para autômatos grid seguindo os modelos de falha para máquinas de estados finitos e modelos temporizados.
Referências
Alur, R. and Dill, D. L. (1994). A theory of timed automata. Theor. Comput. Sci., 126:183–235.
Bonifacio, A. L. and Moura, A. V. (2009). A New Timed Discretization Method for Automatic Test Generation for Timed Systems. Technical Report IC-09-31, Institute of Computing, University of Campinas. http://www.ic.unicamp.br/∼reltech/2009/09-31.pdf.
Bonifácio, A. L. and Moura, A. V. (2011). A new method for testing timed systems. Software Testing, Verification and Reliability, pages n/a–n/a. http://onlinelibrary.wiley.com/doi/10.1002/stvr.454/abstract.
Chow, T. S. (1978). Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng., 4(3):178–187.
En-Nouaary, A., Dssouli, R., and Khendek, F. (2002). Timed wp-method: Testing real-time systems. IEEE Trans. Softw. Eng., 28:1023–1038.
En-Nouaary, A. and Hamou-Lhadj, A. (2008). A boundary checking technique for testing real-time systems modeled as timed input output automata (short paper). In Quality Software, 2008. QSIC ’08. The Eighth International Conference on, pages 209–215.
En-Nouaary, A., Khendek, F., and Dssouli, R. (1999). Fault coverage in testing real-time systems. In Real-Time Computing Systems and Applications, 1999. RTCSA ’99. Sixth International Conference on, pages 150–157.
Fujiwara, S., von Bochmann, G., Khendek, F., Amalou, M., and Ghedamsi, A. (1991). Test selection based on finite state models. IEEE Trans. Softw. Eng., 17(6):591–603.
Hierons, R. M., Bogdanov, K., Bowen, J. P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Lüttgen, G., Simons, A. J. H., Vilkomir, S., Woodward, M. R., and Zedan, H. (2009). Using formal specifications to support testing. ACM Comput. Surv., 41(2):1–76.
Kaynar, D. K., Lynch, N. A., Segala, R., and Vaandrager, F. W. (2006). The Theory of Timed I/O Automata. Synthesis Lectures on Computer Science. Morgan & Claypool Publishers.
Krichen, M. and Tripakis, S. (2004). Black-box conformance testing for real-time systems. In In 11th International SPIN Workshop on Model Checking of Software (SPIN’04), volume 2989 of LNCS, pages 109–126. Springer.
M. Blackburn, R. Busser, A. N. (2004). Why model-based test automation is different and what you should know to get started. In International Conference on Practical Software Quality and Testing, Washington, DC, USA. PSQT/PSTT’2004 East.
Springintveld, J., Vaandrager, F., and D’Argenio, P. R. (2001). Testing timed automata. Theor. Comput. Sci., 254:225–257.
Tretmans, J. (2008). Model based testing with labelled transition systems. In Hierons, R. M., Bowen, J. P., and Harman, M., editors, Formal methods and testing, pages 1–38. Springer-Verlag, Berlin, Heidelberg.
Utting, M. and Legeard, B. (2007). Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, 1 edition.
Weiglhofer, M. and Wotawa, F. (2009). Improving coverage based test purposes. In Quality Software, 2009. QSIC ’09. 9th International Conference on, pages 219–228.
