دولتِ دردِ یار مل جائے
زندگی کو قرار مل جائے
عشق پابندِ رنگ و ذات نہیں
دل کا جس سے بھی تار مل جائے
وقتِ رخصت ہے اب خدا کے لیے
ہم سے وہ ایک بار مل جائے
اُس کا ملنا خزاں رسیدہ کو
جیسے فصلِ بہار مل جائے
درد مندوں کو رشک ہو تائبؔ
درد یوں بے شمار مل جائے
The status, empowerment and dignity of woman in Islam is the crucial topic in the modern times. According to Islamic point of view, men and women have been created from a one soul. The main difference between them lies in the physical structure. A woman has to bring up, train and look after kids, which is the complicated task to civilize a nation. The issue of woman`s activities in Islam, is misunderstood and distorted due to misreporting of western media and misbehavior of some Muslim families. There is a large number of women scholars in Islamic history, Dr. Akram Nadwi has compiled the biographies of ten thousand female scholars in his commendable book of forty volumes. In educational system of Islam, a woman is completely free to perform educational activities for development of her nation. In social system of Islam, a woman is honored as mother, as daughter, as sister and as wife. The first converter to Islam was a woman, “Hazrat Khadijah (R.A)”. Hazrat Ayesha (R.A) was great scholar who reported many traditions from Holy Prophet( SAW). Many female Companions of Holy prophet( SAW) have performed great deeds even in the field of battlefield. There is a strong basis in Islamic history for women`s participation in positiveand constructive activities in every walk of life. Muslim women are allowed to perform research, educational, national, religious, social, and financial and other constructive activities. In this research paper, Islamic overview has been described upon positive and constructive activities of women in the light of Islamic teachings.
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.