Detecção de Falhas em Autômatos Grid
Abstract
Real-time systems are, in general, critical systems interacting with the environment through I/O events in which time restrictions are deemed important. Model-based testing is a widely used rigorous approach to provide more accuracy on testing real-time systems. Formal techniques that can handle continuous time evolution is a challenge. Therefore several approaches rely on discretization methods to obtain discretized models, called grid automata, corresponding to original timed models. Test suites can be extracted from grid automata to verify whether given implementations adhere to the specification. However a very important issue on testing real-time systems is the fault coverage. In this work we address a fault coverage model for grid automata following the fault models for finite state machines and timed models.
References
Alur, R. (1999). Timed automata. In Proceedings of the 11th International Conference on Computer Aided Verification, CAV ’99, pages 8–22, London, UK. Springer-Verlag.
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.
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.
Published
2012-04-30
How to Cite
DOI JUNIOR, Gilson; BONIFÁCIO, Adilson Luiz.
Detecção de Falhas em Autômatos Grid. In: FAULT TOLERANCE WORKSHOP (WTF), 13. , 2012, Ouro Preto/MG.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2012
.
p. 131-144.
ISSN 2595-2684.
DOI: https://doi.org/10.5753/wtf.2012.23085.
