ﷺ
خدا کی مغفرت ہے عام ، طیبہ کی فضائوں میں
گنہگاروں کا نیک انجام ، طیبہ کی فضائوں میں
یہاں پر رحمتیں ہیں ، برکتیں ، رب کی عطائیں ہیں
سنور جاتے ہیں بگڑے کام ، طیبہ کی فضائوں میں
مقامِ گُل کا ہو ادراک کیا گلزارِ طیبہ میں
لگا ہے خار کا بھی دام ، طیبہ کی فضائوں میں
میں اپنی زندگی کی صبحِ نو قربان کر ڈالوں
اگر ہو جائے میری شام ، طیبہ کی فضائوں میں
در و دیوارِ مکّہ سے درودوں کی صدا آئے
خدا کا گونجتا ہے نام ، طیبہ کی فضائوں میں
غم و آلامِ دنیا ہے نہ عُقبیٰ کی پریشانی
دلِ عرفانؔ کو آرام ، طیبہ کی فضائوں میں
Islam is a complete and perfect code of life. We find guidance from Islam on any aspect of life. This study aims to explore the evaluation of existing audit system in Islamic perspective. The study indicates the gaps and challenges in audit system keeping in view Islamic laws and principles. The study is qualitative in nature. Relevant documents have been analyzed keeping in view objectives of the study. Thematic content analysis has been used for the analysis of collected data. The study is significant for the researchers, policy makers and audit experts. Recommendation of the study are beneficial particularly for the Audit Department to overcome the existing gaps and challenges.
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.