An Automated tool for requirements verification

Tekin, Yaşar
In today̕s world, only those software organizations that consistently produce high quality products can succeed. This situation enforces the effective usage of defect prevention and detection techniques. One of the most effective defect detection techniques used in software development life cycle is verification of software requirements applied at the end of the requirements engineering phase. If the existing verification techniques can be automated to meet today̕s work environment needs, the effectiveness of these techniques can be increased. This study focuses on the development and implementation of an automated tool that automates verification of software requirements modeled in Aris eEPC and Organizational Chart for automatically detectable defects. The application of reading techniques on a project and comparison of results of manual and automated verification techniques applied to a project are also discussed.


An automated tool for quality manual generation from business process models
Aydın, Elif; Demirörs, Onur; Department of Information Systems (2010)
The majority of organizations make their business processes explicit to improve them. Defining business processes manually and modeling them are two alternatives utilized for this purpose. Meanwhile, organizations have quality management systems which are frequently shaped by frameworks. The most commonly used process improvement frameworks in the IT sector are ITIL, Cobit, CMMI and ISO 9001. These frameworks indicate the necessity of process documentation and ISO 9001 addresses the name “Quality Manual” fo...
A method for product defectiveness prediction by using process enactment data in a small software organization
Sivrioğlu, Damla; Demirörs, Onur; Tarhan, Ayça; Department of Information Systems (2012)
As a part of the quality management, product defectiveness prediction is vital for small software organizations as for instutional ones. Although for defect prediction there have been conducted a lot of studies, process enactment data cannot be used because of the difficulty of collection. Additionally, there is no proposed approach known in general for the analysis of process enactment data in software engineering. In this study, we developed a method to show the applicability of process enactment data for...
A web based tool for formal technical asynchronous review
Yanbaş, Esen; Demirös, Onur; Department of Information Systems (2002)
There is no doubt that in today's world, where the popularity of software grows and the products become obsolete in a short time, only those software organizations that consistently produce high quality can succeed. This situation has revealed the contribution of effective usage of verification techniques to organizational success. If the existing verification techniques are redefined to meet today's work environment realities and/or sophisticated automated tools are introduced to support their application,...
Realizing the specifiation and execution of workflows through the event calculus
Yılmaz, Hüseyin; Çiçekli, Fehime Nihan; Department of Computer Engineering (2006)
Workflow management promises a solution to an age-old problem: controlling,monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. In the light of this support, many researchers developed different approaches to model new systems with different capabilities to solve this age-old problem. One of the approaches is using logicbased methodology for the specification and exe...
An Action research of achievements in a software product line implementation
Ergül, Muhittin Erdem; Bilgen, Semih; Department of Electrical and Electronics Engineering (2014)
Software product lines emphasize, with an innovative approach, the idea of predictive re-use. In this way, significant improvements are provided in cost, time-to-market and quality and market dominance is enabled in the target area. The majority of the academic studies in this area are case studies. In this study it is also intended to provide scientific data to the literature about the achievements brought about by software product lines. First, the challenges in the software development activities perform...
Citation Formats
Y. Tekin, “An Automated tool for requirements verification,” M.S. - Master of Science, Middle East Technical University, 2004.