Qur’ānic Concept of Divine Mercy Projected through the Pairs of Divine Attributes: A Criterion for Social Amelioration

This paper intends to discuss Qur’ānic concept of Divine Mercy in the light of couples of Divine Attributes mentioned at the end of verses in order to study what standards have been given for the best human conduct and how we may extract guideline and principles for communal amelioration acquiring well-balanced social rhythm. Conversely, what are the conditions and prerequisites that are responsible to make a person deserving and worthy of Divine Mercy as advised by Qur’ānic verses from within the domain of selected pairs. This paper desires to estimate the hypothesis that Divine Mercy gives rise to the better understanding leading towards broad spectrum of the subject theme where social betterment is greatly concerned. Employing analytical method, we may be able to know multiple dimensions regarding human life and its rectification. This study concludes that from the universal message of Divine Mercy each pair demonstrates its unique communication, which may cause to find the details for social amelioration as well as practical evidences concerning the better social milieu, instead of just concentrating upon theories and revolving around the ideas in relation to the concept of mercy. This communication finds that how these pairs mutually addressed the humanity to educate them commendable conduct along with preventive measures, for praiseworthy living. It is recommended that this discourse will provide a data from Islamic weltanschauung concerning Divine Mercy projecting an exclusive comparative stance towards different thoughts and religions.

An Efficient Algorithm for Test Case Generation and Automated Testing of Software Based on Binary Tree

Software may prone to different bugs at different stages of software development life cycle. There are various ways to find and rectify these bugs. Testing is one of these techniques to find out bugs in the software. These bugs and problems can be efficiently found with the help of software testing. Testing can be done from different perspectives; the software can be tested for its functionality, for its performance, or for some other purpose. Testing can be done manually or automated. To save time and cost it is needed that software testing might be performed with the help of computer. Test coverage and accuracy of results is also increased with the help of automated testing. Many automated testing models have already been proposed in this regard. In this research, two models have been proposed for automated testing of software. For automated testing of nested if-else structure, binary tree has been used. Second model has been used for automated testing of ?for? loop statement logic. Two tools in java have been developed to implement and validate this research. After comparison with existing techniques and models it is found that proposed models are better than previous models in terms of code size, code complexity, complexity of applied technique, and algorithm completeness. Other models in previous researches have at lest O(n2) runtime complexity whereas proposed models have optimized runtime complexity.