enter search term and/or author name
Guided test generation for database applications via synthesized database interactions
Kai Pan, Xintao Wu, Tao Xie
Article No.: 12
Testing database applications typically requires the generation of tests consisting of both program inputs and database states. Recently, a testing technique called Dynamic Symbolic Execution (DSE) has been proposed to reduce manual effort in test...
On the impact of UML analysis models on source-code comprehensibility and modifiability
Giuseppe Scanniello, Carmine Gravino, Marcela Genero, Jose' A. Cruz-Lemus, Genoveffa Tortora
Article No.: 13
We carried out a family of experiments to investigate whether the use of UML models produced in the requirements analysis process helps in the comprehensibility and modifiability of source code. The family consists of a controlled experiment and 3...
As a software system evolves, the system's codebase constantly changes, making it difficult for developers to answer such questions as who is knowledgeable about particular parts of the code or who needs to know about changes made. In this...
Required behavior of sequence diagrams: Semantics and conformance
Lunjin Lu, Dae-Kyoo Kim
Article No.: 15
Many reusable software artifacts such as design patterns and design aspects make use of UML sequence diagrams to describe interaction behaviors. When a pattern or an aspect is reused in an application, it is important to ensure that the sequence...
A taxonomy for requirements engineering and software test alignment
M. Unterkalmsteiner, R. Feldt, T. Gorschek
Article No.: 16
Requirements Engineering and Software Testing are mature areas and have seen a lot of research. Nevertheless, their interactions have been sparsely explored beyond the concept of traceability. To fill this gap, we propose a definition of...
ADAM: External dependency-driven architecture discovery and analysis of quality attributes
Dharmalingam Ganesan, Mikael Lindvall
Article No.: 17
This article introduces the Architecture Discovery and Analysis Method (ADAM). ADAM supports the discovery of module and runtime views as well as the analysis of quality attributes, such as testability, performance, and maintainability, of...
A number of organizations have adopted Open Source Software (OSS) development practices to support or augment their software development processes, a phenomenon frequently referred to as Inner Source. However the adoption of Inner Source is...
The nature of the requirements analysis problem, based as it is on uncertain and often inaccurate estimates of costs and effort, makes sensitivity analysis important. Sensitivity analysis allows the decision maker to identify those requirements...
Dynamite: A tool for the verification of alloy models based on PVS
Mariano M. Moscato, Carlos G. Lopez Pombo, Marcelo F. Frias
Article No.: 20
Automatic analysis of Alloy models is supported by the Alloy Analyzer, a tool that translates an Alloy model to a propositional formula that is then analyzed using off-the-shelf SAT solvers. The translation requires user-provided bounds on the...