مجھے کتنی سہولت ہے۔۔۔ازہر ندیم
مجھے جب زندگی کے حسن کا ادراک کرنا ہو
مجھے جب آسماں کی وسعتوں سے بات کرنی ہو
مجھے پھولوں ستاروں سے کوٸ منظر سجانا ہو
مجھے خوشبو سے مہکے موسموں کو گھر بلانا ہو
مجھے رنگوں کی دلکش وادیوں کی سیر کرنی ہو
مجھے آواز کے جادو میں جب بھی ڈوب جانا ہو
مجھے کتنی سہولت ہے
میں ان پھیلی ہواٶں میں بس اک پیغام لکھتا ہوں
میں ان خالی فضاٶں میں تمہارا نام لکھتا ہوں
مجھے ہر سو جمالِ خواب کی برسات ملتی ہے
تمہاری یاد سے مجھ کو ، یہ کاٸنات ملتی ہے
مجھے کتنی سہولت ہے
As well as per Shariah, it is admissible and some of the time even mandatory to save the devotees from the activities that might lead them towards the prohibited exercises. Consequently, the decision of denial from these kinds of exercises is called Sadd-e-Zaree'a. This is the guideline derived from the Quran and Sunnah. As Almighty Allah prohibited the devotees to say 'Raina' because this word was utilized by Jews purposely in an off-base way with underhanded aims, while, Muslims introduced their solicitations by this equivalent word in the most elevated court of The Holy Prophet (harmony and gifts arrive) for looking for effortlessness and unwinding in their concerned issues. As in Quran: O People who Believe, don't tell (the Prophet Mohammed-harmony and gifts arrive), "Raina (Be accommodating towards us)" however say, "Unzurna (Look leniently upon us)", and listen mindfully in any case. [Baqarah 2:104]. (To disregard the Holy Prophet - harmony and endowments arrive - is impiety.) Ibn Hazm in his famous book Al-Aḥkām Fī ūṣūl Al-Aḥkām has objected to the mentioned verse from which jurists have taken the argument of Sadd-e-Zaree'a. Because the Zahiri school of thought is based on the appearance of the text (Quran o Hadees). This is why Ibn Hazm Zahiri denies it (the source of Shariah), and proves that accepting the source of Shariah is an increase in religion which is in itself illegitimate as well as the opposition of the Prophet (peace and blessings of Allah be upon him). There is also the addition of items by their thoughts in Shariah. In the above article, an analytical study of the objections of Allama Ibn Hazm will be presented, explaining the sources and the arguments as to whether or not their source is Shariah.
The rapidly growing applications of software in critical systems such as railways, aviation, automobiles, and medicine, demand a much higher level of reliability and error- free operation. The use of formal methods in such applications not only helps avoid specification errors, ambiguities, and inconsistencies in early phases of software life cycle, but also provides a sound basis for generation of an effective set of test cases. However, the existing research on formal specification based testing has focused on unit level testing only. This research is aimed at automating the generation of class level as well as integration level test cases for an object-oriented system using formal specifications. We use VDM++ formal specification language for this purpose. As a result of our research, we present a framework, called SpecTGS, that automatically generates specification based test cases for object-oriented systems using VDM++ as the specification language. For class testing, the SpecTGS uses the trace structure definition of a VDM++ class specification to derive allowable method call sequences, and partition analysis to generate test data. For integration testing, we have proposed a novel idea that extracts testing information from the VDM++ specification and UML communication diagrams. The SpecTGS derives message sequences from a UML communication diagram, and uses the VDM++ specification to construct state invariants for the states in which a class can receive a message. A new strategy for constructing sub-states from a state invariant called partitioned boundary state coverage that combines two existing strategies, i.e. partition ivanalysis strategy and the boundary state coverage strategy. Each message sequence generated from the UML communication diagrams is combined with the sub-states to construct a test model. The test model is then used to derive the test paths under various coverage criteria. A proof-of-concept tool has been developed to implement and evaluate the SpecTGS framework. The results for the integration testing approach have been shown for a real-life case study selected from the literature.