International Journal of Software Engineering & Applications (IJSEA)

Current Issue: January 2019, Volume 10, Number 1 A Reliable and an Efficient Web Testing System Kamran Ali and Xia Xiaoling, Donghua University, China An Iterative Hybrid Agile Methodology for Developing Archiving Systems Khaled Ebrahim Almajed,Walaa Medhat and Tarek El-Shishtawy, Benha University, Egypt Applying Continuous Integration for Increasing the Maintenance Quality and Efficiency of Web App Sen-Tarng Lai, Shih Chien University, Taiwan Agile Project Management in Non-Software Sectors During Turbulent Times Nabeel T. Alsohybe 1 and Nashwan Sabrah 2 , 1 Sana’a University, Sana’a, Yemen and 2 Lebanese International University, Sana’a, Yemen http://www.airccse.org/journal/ijsea/vol10.html

DIFFERENT APPROACHES TO BLACK BOX TESTING TECHNIQUE FOR FINDING ERRORS Mohd. Ehmer Khan Department of Information Technology Al Musanna College of Technology, Sultanate of Oman ABSTRACT Software testing is the process of analyzing software to find the difference between required and existing condition. Software testing is performed throughout the development cycle of software and it is also performed to build quality software, for this purpose two basic testing approaches are used, they are white box testing and black box testing. One of the software testing technique which I have explain in my paper is Black Box Testing, it is a method of generating test cases that are independent of software internal structure, I have also briefly explore various different approaches to black box testing technique for finding errors. Since black box testing is always based either directly or indirectly on the software QQspecification so it is also called specification based testing....

MODEL CHECKING AND CODE GENERATION FOR UML DIAGRAMS USING GRAPH TRANSFORMATION  Wafa Chama , Raida Elmansouri and Allaoua Chaoui MISC Laboratory, University Mentouri Constantine, Algeria  ABSTRACT  UML is considered as the standard for object-oriented modelling language adopted by the Object Management Group. However, UML has been criticized due to the lack of formal semantics and the ambiguity of its models. In other hands, UML models can be mathematically verified and checked by using its equivalent formal representation. So, in this paper, we propose an approach and a tool based on graph transformation to perform an automatic mapping for verification purposes. This transformation aims to bridge the gap between informal and formal notations and allows a formal verification of concurrent UML models using Maude language. We consider both static (Class Diagram) and dynamic (StateChart and Communication Diagrams) features of concurrent object-oriented syst...

International Journal of Software Engineering & Applications (IJSEA)- ERA Indexed ISSN: 0975 - 9018 (Online); 0976-2221 (Print) http://www.airccse.org/journal/ijsea/ijsea.html Scope & Topics The International journal of Software Engineering & Applications (IJSEA) is a Bi-Monthly open access peer-reviewed journal that publishes articles which contribute new results in all areas of the Software Engineering & Applications. The goal of this journal is to bring together researchers and practitioners from academia and industry to focus on understanding Modern software engineering concepts & establishing new collaborations in these areas. Authors are solicited to contribute to the journal by submitting articles that illustrate research results, projects, surveying works and industrial experiences that describe significant advances in the areas of software engineering & applications. Topics of interest include, but are not limited to,...