Structural testing with use cases

Understanding how a user interacts with a system is important if the goal is to deliver a product that meets the user's needs. Use cases constitute a primary source of requirements in a user-centered perspective and are often utilized to derive acceptance tests. Given such a critical role in requirements engineering, we introduce a novel set of testing criteria based on the use case specification with a two-fold objective: to assess the quality of test cases derived from use cases and to test the use case specification itself. Differently from previous approaches, the novel set of testing criteria requires that structural elements of the use cases be exercised at least once. To support the application of the new set of testing criteria, a testing coverage tool, called UCT - Use Case Tester, was developed. A case study using UCT shows that the new testing criteria are able to evaluate the quality of a test data set as well as to detect faults in use case specifications.Facultad de Informátic

Fault-Based Test of XML Schemas

XML is largely used by most applications to exchange data among different software components. XML documents, in most cases, follow a grammar or schema that describes which elements and data types are expected by the application. These schemas are translated from specifications written in natural language, and consequently, in this process some mistakes are usually made. Because of this, faults can be introduced in the schemas, and incorrect XML documents can be validated, causing a failure in the application. Hence, to test schemas is a fundamental activity to ensure the integrity of the XML data. With the growing number of Web applications and increased use of XML, there is a demand for specific testing approaches and tools to test schemas. To fulfill this demand, this work introduces a fault-based approach for testing XML schemas. This approach is based on a classification of common faults found in schemas. A supporting tool was implemented and used in evaluation studies. The obtained results show the applicability of the fault-based testing in this context and its efficacy in revealing faults

Intelligent Magnetic Bubble Memories

154 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1978.U of I OnlyRestricted to the U of I community idenfinitely during batch ingest of legacy ETD

Um sistema gerador de compiladores

Orientador: Nelson C. MachadoDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia EletricaResumo: Neste trabalho é apresentada a descrição de sistema gerador de compiladores que, a partir da especificação sintática de uma linguagem produz tabelas que dirigirão a análise sintática de programas da linguagem. A análise sintática é efetuada por dois analisadores lixos: um analisador "top down" de descida recursiva para a parte geral da linguagem e um analisador "bottom up" de precedência de operadores o para sub-conjuntos específicos da linguagem. São descritas a especificações aceitas pelo sistema, a construção das tabelas e os analisadores. A especificação semântica deve ser feira pelo próprio usuário do sistemaAbstract: Not informedMestradoMestre em Engenharia Elétric

Structural Testing with Use Cases

Understanding how a user interacts with a system is important if the goal is to deliver a product that meets the user's needs. Use cases constitute a primary source of requirements in a user-centered perspective and are often utilized to derive acceptance tests. Given such a critical role in requirements engineering, we introduce a novel set of testing criteria based on the use case specification with a two-fold objective: to assess the quality of test cases derived from use cases and to test the use case specification itself. Differently from previous approaches, the novel set of testing criteria requires that structural elements of the use cases be exercised at least once. To support the application of the new set of testing criteria, a testing coverage tool, called UCT- UseCaseTester,was developed. A case study using UCT shows that the new testing criteria are able to evaluate the quality of a test data set as well as to detect faults in use case specifications

Experimental comparison of software reliability models based on code coverage and on time domain

The study of software reliability has its origin in 1967 when the first experiments were performed. Since then, diverse models that use as parameter the time of execution of software or the time between failures have been considered. Another approach indicates that the use of code coverage, instead of execution time, yields better estimates of the reliability of the software. This paper presents the results observed in an experiment carried out to compare the software reliability models Binomial Model based on Coverage (BMBC) and Infinite Failure Software Reliability Model Based on Code Coverage (IFMBC) with the following models based on time domain: Geometric (GEO), Littlewood-Linear Verral (LAV-L), Littlewood-Quadratic Verral (LAV-Q), Musa Basic (MS-B), Musa Logarithmic (MS-L) and Non-Homogeneous Poisson Model (NHP). These models, in addition to being much quoted in the literature, are implemented by SMERFS(boolean AND)3, used to calculate its parameters and to estimate reliability. As a result, it has been observed that traditional models do not provide robustness when the profile was changed. On the other hand, code coverage-based models have produced good results for all operational profiles. In addition to the good fit, coverage-based models have generated better estimates of software reliability, as shown by the Kolmogorov-Smirnov testIEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)sem informaçã

A security testing process supported by an ontology environment : a conceptual proposal

Information security is a critical issue in the context of complex and interconnected nowadays IT Systems. Innovative testing approaches are demanded to verify whether the main security characteristics are provided in the systems. The conceptual formalization level required by security test processes can be supplied by semantic technologies. STEPONE is the Security TEst Process supported by ONtology Environment; its foundations come from largely accepted testing processes and security testing standards. The STPO (Security Testing Process Ontology) formalizes and makes explicit the main concepts of the domain. We present a conceptual characterization of STEP-ONE and describe a usage scenario to illustrate how the proposal can be applied. The main contributions are the conceptual process and the ontology. Our proposal is meant to be applied for the evaluation of IT systems with respect to security characteristics as well as to make systematic the security testing activitiesIEEE/ACS 15th International Conference on Computer Systems and Applications (AICCSA