Automated verification and test case generation for input validation

1112 palavras 5 páginas
Exibir mais
Análise do Artigo:

Automated Verification and Test Case
Generation for Input Validation
Verificação Automatizada e Geração de Caso de Teste para Validação de Entrada

Autores:
Hui Liu e Hee Beng Kuan Tan
School of Electrical and Electronic Engineering
Nanyang Technological University.

Alunos:

Palavras Chave: Verification (verificação), Input Validation (validação de entrada), Software Verification (verificação de software), Software Testing (teste de software), empirical based property (propriedades de base empírica).

Resumo

Validação de entrada de dados é essencial para qualquer software que lida com o entradas (formulários) a partir do seu ambiente externo. A validação destas entradas constitui parte importante dos softwares que possuem intensa interação com o seu ambiente.

Através da integração dos invariantes e propriedades empíricas de execução e validação de entrada, o artigo propõe uma abordagem para a automação de algumas tarefas de transformação do código fonte em um programa: verificação da existência de validação de entrada;

• Verificação da existência de validação de entrada;

• Geração de casos de teste para testar e demonstrar todas as validações de entrada;

• Classificação de cada validação para os diferentes tipos definidos juntamente com os casos de teste gerados.

Todas teorias propostas foram testadas empiricamente com base em sistemas de código aberto. Esta avaliação mostra que a abordagem proposta pode ajudar em ambos os testes de validação de entrada e verificação da adequação de controle.

Contribuições

A Teoria para Verificação e Validação de Entradas, deu origem a um protótipo e foi aplicada a dois sistemas, Roomba e Smacs. O primeiro é um sistema web para hoteis de tamanho medio, conta com 16 programas, após a aplicação do protótipo foram identificados 6 programas sem validação de entrada. O Smacs, outro sistema web com 24 programas, utilizado na gestão de funcionários

Relacionados

  • Dededede
    4378 palavras | 18 páginas

    1 Introduction 1.1 SOA and SOC Service-oriented architecture (SOA) and the corresponding service-oriented SMMA is essentially a model-driven system engineering approach, but it is different from traditional modeldriven approach. Currently, model-driven development (MDD) often emphasizes on OO modeling and analysis using UML. For example, UML 2.0 has 13 models, and an engineer may select few models from these 13 models for modeling, analysis, and code generation. One example is Executable UML approaches….

    exibir mais
  • Gmp boas practicas formedical device quality systems manual
    49097 palavras | 197 páginas

    Lowery, Judy Strojny, and Joseph Puleo Division of Small Manufacturers Assistance Office of Health and Industry Programs CENTER FOR DEVICES AND RADIOLOGICAL HEALTH CDRH December 1996 (This publication supersedes FDA 91-4179) U.S. DEPARTMENT OF HEALTH AND HUMAN SERVICES Public Health Service Food and Drug Administration Center for Devices and Radiological Health Rockville, Maryland 20850 FOREWORD The Center for Devices and Radiological Health (CDRH) of the Food and Drug Administration….

    exibir mais
  • Swebok 2004
    88749 palavras | 355 páginas

    Electrical and Electronics Engineers, Inc. All rights reserved. Copyright and Reprint Permissions: This document may be copied, in whole or in part, in any form or by any means, as is, or with alterations, provided that (1) alterations are clearly marked as alterations and (2) this copyright notice is included unmodified in any copy. Any other use or distribution of this document is prohibited without the prior express permission of IEEE. You use this document on the condition that you indemnify and hold….

    exibir mais
  • Criptografia
    405566 palavras | 1623 páginas

    Chapter Overview of Cryptography Contents in Brief 1.1 Introduction Cryptography has a long and fascinating history. The most complete non-technical account of the subject is Kahn’s The Codebreakers. This book traces cryptography from its initial and limited use by the Egyptians some 4000 years ago, to the twentieth century where it played a crucial role in the outcome of both world wars. Completed in 1963, Kahn’s book covers those aspects of the history which were most significant (up to that time)….

    exibir mais
  • Cmmi1.2 em português
    128879 palavras | 516 páginas

    developing better products and services November 2010 TECHNICAL REPORT CMU/SEI-2010-TR-033 ESC-TR-2010-033 Software Engineering Process Management Program Unlimited distribution subject to the copyright. http://www.sei.cmu.edu This report was prepared for the SEI Administrative Agent ESC/XPK 5 Eglin Street Hanscom AFB, MA 01731-2100 The ideas and findings in this report should not be construed as an official DoD position. It is published in the interest of scientific and technical information….

    exibir mais
  • A time petri net-based methodology for embedded hard real-time software synthesis
    79672 palavras | 319 páginas

    Recife April 29th , 2005 Then Samuel took a stone, and put it up between Mizpah and Jeshanah, naming it Ebenezer, and saying, Up to now the Lord has been our help. I Samuel 7:12. i This thesis is dedicated to my mother, my wife, and my three children. ii Acknowledgments Whatever you do, work at it with all your heart, as working for the Lord, not for men. Colossians 3:23 This journey, which is pleased and difficult at the same time, has not been a solitary one. First….

    exibir mais
  • Survey
    19803 palavras | 80 páginas

    reuse and in the obstacles to implementing it. This paper surveys the different approaches to software reuse found in the research literature. It uses a taxonomy to describe and compare the different approaches and make generalizations about the field of software reuse. The taxonomy characterizes and the way these artifacts are each reuse approach interms of its reusable artifacts abstracted, selected, speciahzed, and integrated. Abstraction plays a central role in software reuse. Concise and expressive….

    exibir mais
  • Engenharia de requistos
    43682 palavras | 175 páginas

    Practitioner's Approach. Any other reproduction or use is expressly prohibited. Chapter 1 The Product CHAPTER OVERVIEW AND COMMENTS The goal of this chapter is to introduce the notion of software as a product designed and built by software engineers. Software is important because it is used by a great many people in society. Software engineers have a moral and ethical responsibility to ensure that the software they design does no serious harm to any people. Software engineers tend to be….

    exibir mais
  • Base
    4461 palavras | 18 páginas

    A Comparison of Software Development Methodologies Reed Sorensen, Software Technology Support Center http://www.stsc.hill.af.mil/crosstalk/1995/01/Comparis.asp [pic] Purpose and Scope This article introduces and compares software development methodologies. This information will help you recognize which methodologies may be best suited for use in various situations. The target audience is all personnel involved in software development for the DoD. No attempt has been made to cover methodologies….

    exibir mais
  • Boas praticas fabricação
    205764 palavras | 824 páginas

    Good Manufacturing Practices for Pharmaceuticals DRUGS AND THE PHARMACEUTICAL SCIENCES A Series of Textbooks and Monographs Executive Editor PharmaceuTech, Inc. Pinehurst, North Carolina James Swarbrick Advisory Board University of Maryland Baltimore, Maryland Larry L. Augsburger Harry G. Brittain Center for Pharmaceutical Physics Milford, New Jersey Johann Wolfgang Goethe University Frankfurt, Germany Jennifer B. Dressman Anthony J. Hickey University of North….

    exibir mais

Outros Trabalhos Populares