مجھے کتنی سہولت ہے۔۔۔ازہر ندیم
مجھے جب زندگی کے حسن کا ادراک کرنا ہو
مجھے جب آسماں کی وسعتوں سے بات کرنی ہو
مجھے پھولوں ستاروں سے کوٸ منظر سجانا ہو
مجھے خوشبو سے مہکے موسموں کو گھر بلانا ہو
مجھے رنگوں کی دلکش وادیوں کی سیر کرنی ہو
مجھے آواز کے جادو میں جب بھی ڈوب جانا ہو
مجھے کتنی سہولت ہے
میں ان پھیلی ہواٶں میں بس اک پیغام لکھتا ہوں
میں ان خالی فضاٶں میں تمہارا نام لکھتا ہوں
مجھے ہر سو جمالِ خواب کی برسات ملتی ہے
تمہاری یاد سے مجھ کو ، یہ کاٸنات ملتی ہے
مجھے کتنی سہولت ہے
Both Zainuddin Ibn Nujaim (d. 970HJ) and Herbert Broom (d. 1882CE) are famous for the arrangement, interpretations and for sound applications of juristico-legal maxims and rules respectively in Muslim and western world of law and jurisprudence. The al-Ashbah wa-Al-Nazair of Ibn Nujaim and Broom’s Legal Maxims of Herbert Broom speak of their deep approach to the concerned discipline. This article provides a general analysis of the juristico-legal interpretations regarding the elementary maxim of hardship and injuria remedium (hardship and harm remission) as made by Ibn Nujaim (d.970HJ) and Herbert Broom(d.1882CE) in their aforesaid books.
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.