Kuantum Kuramı

No estado atual do trabalho, a avaliação de LGen foi feita através dos estudos de caso apresentados, porém é necessário uma avaliação mais minuciosa, em que seja pos- sível obter informações mais precisas quanto ao processo de geração de LGen. Nesse sentido, os estudos de caso precisam ser mais detalhados, fornecendo mais informações e consequentemente uma avaliação mais completa.

Outro ponto a ser desenvolvido está relacionado a avaliação da qualidade dos dados de testes gerados por LGen. Este item não foi priorizado em nosso trabalho, tendo em vista que não estamos propondo novos critérios, mas sim, testando os critérios já existentes em LGen e observando a satisfação destes critérios nos domínios que foram utilizados nos testes com LGen. No entanto, este item pode ser trabalhado através de uma avaliação do conjunto de dados de teste, no que se refere a sua capacidade de detecção de falhas no software que será testado. Uma possibilidade para validar o conjunto de sentenças é utilizar a técnica de mutação, em que defeitos são adicionados ao software. Com isso, seria possível verificar a eficácia do conjunto de sentenças na detecção desses defeitos. No entanto, uma provável dificuldade para essa validação é a utilização de software com código fonte fechado. Assim, a opção seria trabalhar com software de código aberto, o que possibilitaria uma análise mais precisa da ferramenta.

Em relação as gramáticas probabilísticas, não identificamos trabalhos relacionados com testes que utilizem este tipo de gramática, no entanto, por identificarmos várias áreas de aplicação que fazem uso das gramáticas probabilísticas, podemos apontar estas gramáticas como potenciais para futuros trabalhos na área de geração de testes.

Um outro trabalho futuro que pode ser realizado está relacionado à implementação de novos critérios de cobertura na ferramenta LGen. Essa implementação não está direta- mente ligada ao nosso trabalho, mas pode ser trabalhada na perspectiva da expansão dos critérios de LGen. Sobre isso, no trabalho de [Ferreira, 2013] foi realizada a implemen- tação do critério de cobertura de produções dependente de contexto. No entanto, outros critérios podem ser implementados, como por exemplo, os oito critérios apresentados no trabalho de [Bagheri et al., 2012], que estão relacionados à área de linha de produto de software.

Referências

[Abdurazik, 2000] Abdurazik, A. e. a. (2000). Evaluation of three specification-based testing criteria. pages 179–187.

[Al-Mulhem, 2010] Al-Mulhem, M. S. (2010). Grammars for RNA structures.

[Ammann and Offutt, 2008] Ammann, P. and Offutt, J. (2008). Introduction to Software

Testing. Cambridge University Press, New York, NY, USA.

[Bagheri et al., 2012] Bagheri, E., Ensan, F., and Gasevic, D. (2012). Grammar-based test generation for software product line feature models. In Proceedings of the 2012

Conference of the Center for Advanced Studies on Collaborative Research, CASCON

’12, pages 87–101, Riverton, NJ, USA. IBM Corp.

[Benavides et al., 2010a] Benavides, D., Segura, S., and Cortés, A. R. (2010a). Au- tomated analysis of feature models 20 years later: A literature review. Inf. Syst., 35(6):615–636.

[Benavides et al., 2010b] Benavides, D., Segura, S., and Ruiz-Cortés, A. (2010b). Au- tomated analysis of feature models 20 years later: A literature review. Inf. Syst., 35(6):615–636.

[Biolchini et al., 2005] Biolchini, J., Mian, P. G., and Natali, A. C. C. (2005). Systematic review in software engineering. Technical Report RT-ES 679/05, COPPE/UFRJ, Rio de Janeiro, RJ, Brasil.

[Byres and Savage, 2005] Byres, E. and Savage, K. (2005). Good practice guide on firewall deployment for scada and process control networks.

[Chomsky, 1964] Chomsky, N. (1964). Formal Properties of Grammars. Wiley.

[Czarnecki and Helsen, 2003] Czarnecki, K. and Helsen, S. (2003). Classification of model transformation approaches.

[Ensan et al., 2012] Ensan, F., Bagheri, E., and Gašević, D. (2012). Evolutionary search- based test generation for software product line feature models. In Proceedings of the 24th

international conference on Advanced Information Systems Engineering, CAiSE’12,

pages 613–628, Berlin, Heidelberg. Springer-Verlag.

[feed parser, 2002] feed parser, U. (2002). Universal feed parser. Disponível em: http: code.google.com/p/feedparser/.

[Ferreira, 2013] Ferreira, V. P. (2013). Adaptabilidade da ferramenta de geração de testes lgen pela inclusão de novos critérios de cobertura.

[Hamdi, 2012] Hamdi, S., B. A. A. B. M. (2012). Grammar-based image segmentation and automatic area estimation. pages 356–359.

[Hentz, 2010] Hentz, C. (2010). Geração automática de testes a partir de descrições de linguagens. Master’s thesis, UFRN, Natal, RN.

[Hierons et al., 2009] Hierons, R. M., Bogdanov, K., Bowen, J. P., Cleaveland, R., Der- rick, 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):9:1–9:76.

[Hoffman et al., 2009] Hoffman, D., Wang, H.-Y., Chang, M., and Ly-Gagnon, D. (2009). Grammar based testing of html injection vulnerabilities in rss feeds. In Proceedings of

the 2009 Testing: Academic and Industrial Conference - Practice and Research Tech- niques, TAIC-PART ’09, pages 105–110, Washington, DC, USA. IEEE Computer So-

ciety.

[Hoffman et al., 2010] Hoffman, D., Wang, H.-Y., Chang, M., Ly-Gagnon, D., Sobotkiewicz, L., and Strooper, P. (2010). Two case studies in grammar-based test generation. J. Syst. Softw., 83(12):2369–2378.

[Hoffman and Yoo, 2005] Hoffman, D. and Yoo, K. (2005). Blowtorch: a framework for firewall test automation. In Proceedings of the 20th IEEE/ACM international Confer-

ence on Automated software engineering, ASE ’05, pages 96–103, New York, NY, USA.

ACM.

[Hoffman et al., 2011] Hoffman, D. M., Ly-Gagnon, D., Strooper, P., and Wang, H.-Y. (2011). Grammar-based test generation with yougen. Softw. Pract. Exper., 41(4):427– 447.

[Jiang et al., 2010] Jiang, T., Li, M., Ravikumar, B., and Regan, K. W. (2010). Algo- rithms and theory of computation handbook. chapter Formal grammars and languages, pages 20–20. Chapman & Hall/CRC.

[Jurafsky, 1995] Jurafsky, D. Int. Comput. Sci. Inst., B. C. W. C. . S. J. . S. A. . F. E. . T. G. . M. N. (1995). Using a stochastic context-free grammar as a language model for speech recognition. Acoustics, Speech, and Signal Processing, 1995. ICASSP-95., 1995

International Conference on, 1:189 – 192 vol.1.

[Jurafsky et al., 1995] Jurafsky, D., Wooters, C., Segal, J., Stolcke, A., Fosler, E., Tajch- man, G., , Morgan, N., and Morgan, N. (1995). Using a stochastic context-free grammar as a language model for speech recognition.

[Kaksonen, 2001] Kaksonen, R. (2001). A functional method for assessing protocol im- plementation security.

[Kang et al., 2002] Kang, K. C., Lee, J., and Donohoe, P. (2002). Feature-oriented project line engineering. IEEE Software, 19(4):58–65.

[Kitani et al., 2005] Kitani, K. M., Sato, Y., and Sugimoto, A. (2005). Deleted interpo- lation using a hierarchical bayesian grammar network for recognizing human activity. In Proceedings of the 14th International Conference on Computer Communications and

[Knudsen and Hein, 1999] Knudsen, B. and Hein, J. (1999). RNA secondary structure prediction using stochastic context-free grammars and evolutionary history.

[Lämmel, 2001] Lämmel, R. (2001). Grammar testing. In Proc. of Fundamental Ap-

proaches to Software Engineering (FASE) 2001, volume 2029 of LNCS, pages 201–216.

Springer-Verlag.

[Lamsweerde, 2000] Lamsweerde, A. v. (2000). Formal specification: a roadmap. In

Proceedings of the Conference on The Future of Software Engineering, ICSE ’00, pages

147–159, New York, NY, USA. ACM.

[Lange and Leiß, 2009] Lange, M. and Leiß, H. (2009). To cnf or not to cnf? an efficient yet presentable version of the cyk algorithm. Informatica Didactica, 8.

[Luo, 2009] Luo, L. (2009). Software testing techniques. Technical report, Institute for Software Research International.

[Lymberopoulos et al., 2008] Lymberopoulos, D., Member, S., Teixeira, T., Member, S., and Savvides, A. (2008). Macroscopic human behavior interpretation using distributed imager and other sensors.

[Lymberopoulos et al., 2006] Lymberopoulos, D., Ogale, A. S., Savvides, A., and Aloi- monos, Y. (2006). A sensory grammar for inferring behaviors in sensor networks. In

IPSN, pages 251–259.

[Manning and Schütze, 1999] Manning, C. D. and Schütze, H. (1999). Foundations of

statistical natural language processing. MIT Press, Cambridge, MA, USA.

[McCarty and Cox, 2002] McCarty, B. and Cox, M. J. (2002). Red Hat Linux Firewalls. John Wiley & Sons, Inc., New York, NY, USA.

[Mendonca et al., 2009] Mendonca, M., Branco, M., and Cowan, D. (2009). S.p.l.o.t.: software product lines online tools. In Proceedings of the 24th ACM SIGPLAN confer-

ence companion on Object oriented programming systems languages and applications,

OOPSLA ’09, pages 761–762, New York, NY, USA. ACM.

[Menezes, 1998] Menezes, P. (1998). Linguagens formais e autômatos. Série livros didáti- cos. Bookman.

[Moore and Essa, 2002] Moore, D. and Essa, I. (2002). Recognizing multitasked activities from video using stochastic context-free grammar. In Eighteenth national conference

on Artificial intelligence, pages 770–776, Menlo Park, CA, USA. American Association

for Artificial Intelligence.

[Myers, 2004] Myers, G. J. (2004). The Art of Software Testing. John Wiley & Sons, Inc., New York, NY, USA, 2nd edition.

[Plat et al., 1992] Plat, N., van Katwijk, J., and Toetenel, H. (1992). Application and benefits of formal methods in software development. Softw. Eng. J., 7(5):335–346. [Pressman, 2001] Pressman, R. S. (2001). Software Engineering: A Practitioner’s Ap-

[Ramalho et al., 2013] Ramalho, V., Moreira, A. M., and Hentz, C. (2013). Application of a syntax-based testing method and tool to software product lines. In SAST 2013 (). [Riebisch et al., 2004] Riebisch, M., Streitferdt, D., and Pashov, I. (2004). Modeling variability for object-oriented product lines. In in A. Buchmann, F. Buschmann (Eds.)

ECOOP 2003 Workshop Reader, pages 21–25. Springer.

[Roark, 2001] Roark, B. (2001). Probabilistic top-down parsing and language modeling.

Comput. Linguist., 27(2):249–276.

[Rogers, 2012] Rogers, G. J. . J. (2012). Formal language theory: Refining the chomsky hierarchy.

[Sakakibara, 1994] Sakakibara, Y. Dept. of Comput. Inf. Sci., C. U. S. C. C. U. B. M. . U. R. . M. I. . H. D. (1994). Stochastic context-free grammars for modeling rna. 5(1):284–293.

[Sakakibara et al., 1993] Sakakibara, Y., Brown, M., Underwood, R. C., Mian, I. S., and Haussler, D. (1993). Stochastic context-free grammars for modelling rna. Technical report, Santa Cruz, CA, USA.

[Sipser, 1996] Sipser, M. (1996). Introduction to the Theory of Computation. International Thomson Publishing, 1st edition.

[Sobotkiewicz, 2008] Sobotkiewicz, L. P. (2008). A new tool for grammar-based test case generation. Master’s thesis, University of Victoria.

[Sommerville, 2004] Sommerville, I. (2004). Software Engineering. Pearson Addison Wes- ley, 7th edition.

[Standard, 1996] Standard, E. S. S. (1996). EBNF: ISO/IEC 14977: 1996 (E). URL

http://www. cl. cam. ac. uk/mgk25/iso-14977. pdf.

[Stier and Feldes, 2005] Stier, M. and Feldes, S. (2005). Domain adaptation of a dis- tributed speech-to-speech translation system.

[Streitferdt et al., 2003] Streitferdt, D., Riebisch, M., and Philippow, I. (2003). Details of formalized relations in feature models using ocl. In ECBS, pages 297–304.

[Tanenbaum, 2003] Tanenbaum, A. (2003). Computer Networks.

[Teixeira et al., 2006] Teixeira, T., Lymberopoulos, D., Culurciello, E., Aloimonos, Y., and Savvides, A. (2006). A lightweight camera sensor network operating on symbolic information.

[Weinberg and Nebel, 2010] Weinberg, F. and Nebel, M. E. (2010). Extending stochastic context-free grammars for an application in bioinformatics. In Proceedings of the 4th in-

ternational conference on Language and Automata Theory and Applications, LATA’10,

8

Apêndice