Papers by Ahmed Al-Amayreh
At the end of a software development process, there is a need for software verification. The aim ... more At the end of a software development process, there is a need for software verification. The aim of the software verification is to assess the software product to determine conformance to its specification. There are a few methods which can be used for doing this. However, the most popular method is software testing. For software testing to be done effectively, there is a need to select proper test cases such that all aspects of the software can be tested. In this paper we describe a technique for generating test cases automatically from the formal specification of the software. We also describe a testing system based on this technique.
Electronics
Information security is considered one of the most important issues in various infrastructures re... more Information security is considered one of the most important issues in various infrastructures related to the field of data communication where most of the modern studies focus on finding effective and low-weight secure approaches. Digital watermarking is a trend in security techniques that hides data by using data embedding and data extraction processes. Watermarking technology is integrated into different frames without adding an overheard as in the conventional encryption. Therefore, it is efficient to be used in data encryption for applications that run over limited resources such as the Internet of Things (IoT). In this paper, different digital watermarking algorithms and approaches are presented. Additionally, watermarking requirements and challenges are illustrated in detail. Moreover, the common architecture of the watermarking system is described. Furthermore, IoT technology and its challenges are highlighted. Finally, the paper provides the motivations, objectives and appl...
Abstract: The aim of this paper is to describe FTST software tool for selecting the optimum alter... more Abstract: The aim of this paper is to describe FTST software tool for selecting the optimum alternative among many alternatives according to multi specified criteria. FTST tool is designed based on the fuzzy TOPSIS method as one of the most popular methods in multi-criteria decision analysis (MCDA). FTST, as an automated system, could be used as decision support system software for any case where the goal is to select the right and the optimum alternative from many alternatives with intended criteria. At the end of the paper, the FTST tool will be demonstrated on a real fuzzy TOPSIS-based system. Keywords: Decision Support software, TOPSIS, Academic Advising, Multi-criteria Decision Making.
Specification-Based Test Case Generation
Uploads
Papers by Ahmed Al-Amayreh