Environment generation tool for enabling aspect verification

Download

index.pdf

Date

2010

Author

Aldanmaz, Şenol Lokman

Metadata

Show full item record

Item Usage Stats

224
views

80
downloads

Aspects are units of aspect oriented programming developed for influencing the software behavior. In order to use an aspect confidently in any software, first it should be verified. For verification of an aspect, the mock classes for the original software should be prepared. These mock classes are a model of the aspect environment which the aspect is woven. In this study, considering that there are not enough tools for supporting the aspect oriented programming developers, we have developed a tool for enabling aspect verification and unit testing. The tool enables verification by generating the general environment of the aspect. By this tool the users are ensured to focus on the verification of aspects isolated from woven software.

Subject Keywords

Information systems

URI

http://etd.lib.metu.edu.tr/upload/12612078/index.pdf
https://hdl.handle.net/11511/19537

Collections

Graduate School of Informatics, Thesis

Suggestions

OpenMETU
Core

Evaluation and selection of case tools: a methodology and a case study Okşar, Koray; Okşar, Koray; Department of Information Systems (2010) Today’s Computer Aided Software Engineering (CASE) technology covers nearly all activities in software development ranging from requirement analysis to deployment.Organizations are evaluating CASE tool solutions to automate or ease their processes. While reducing human errors, these tools also increase control, visibility and auditability of the processes. However, to achieve these benefits, the right tool or tools should be selected for usage in the intended processes. This is not an easy task when the vas...
Towards learning affordances : detection of relevant features and characteristics for reachability Eren, Selda; Şahin, Erol; Department of Information Systems (2006) In this thesis, we reviewed the affordance concept for autonomous robot control and proposed that invariant features of objects that support a specific affordance can be learned. We used a physics-based robot simulator to study the reachability affordance on the simulated KURT3D robot model. We proposed that, through training, the values of each feature can be split into strips, which can then be used to detect the relevant features and their characteristics. Our analysis showed that it is possible to achie...
A process modeling based method for identification and implementation of software development tool integration-tuples Ertürkmen, K. Alpay; Demirörs, Onur; Department of Information Systems (2010) Software development is highly dependent on the use of tools. These tools support and automate activities performed in different sub-domains of software development. However, they don‘t adequately provide or support integration facilities, and act as ―islands of automation‖. This restricts their benefits to only specific parts of the process. To reap the benefits of integration, this thesis provides a process modeling based method named PLETIN to identify and implement software development tool integration-...
A metrics-based approach to the testing process and testability of object-oriented software systems Yurga, Tolga; Doğru, Ali Hikmet; Department of Information Systems (2009) This dissertation investigates the factors that affect testability and testing cost of object- oriented software systems. Developing a software program which eases the testing process by increasing testability is crucial. Also, to assess whether or not the testing effort and cost consumed or planned is adequate or not is another critical matter this dissertation aims to answer by composing a new way to evaluate the links between software design parameters and testing effort via source-based metrics. An auto...
Effect of some software design patterns on real time software performance Ayata, Mesut; Bilgen, Semih; Department of Information Systems (2010) In this thesis, effects of some software design patterns on real time software performance will be investigated. In real time systems, performance requirements are critical. Real time system developers usually use functional languages to meet the requirements. Using an object oriented language may be expected to reduce performance. However, if suitable software design patterns are applied carefully, the reduction in performance can be avoided. In this thesis, appropriate real time software performance metri...

Citation Formats

Ş. L. Aldanmaz, “Environment generation tool for enabling aspect verification,” M.S. - Master of Science, Middle East Technical University, 2010.