غزل---مبشر سعید،رجسٹراریونیورسٹی آف ساہیوال
کوئی ملتا ہی نہیں سوختہ پا میری طرح
میرے جیون کو اُداسی سے ملانے والا!
میں نے احباب کو آواز لگا کر پوچھا
اے کئی دن سے مرے ذہن پہ چھائے ہوئے شخص
رات بھر چاند کو احوال سنانے کے لیے
زندگی! میری طرف دیکھ کے ایماں سے بتا
تند اور تیز ہواؤں کے علاقے میں سعید
جس کو معلوم ہو وحشت کا پتا میری طرح
دشت میں پھِرتا رہے آبلہ پا میری طرح
کوئی رہتا ہے شبِ غم میں سدا، میری طرح؟
تو مجھے وصل کے سپنے نہ دکھا میری طرح
کیا ٹھہرتی ہے دریچوں میں ہوا، میری طرح؟
ایک بھی شخص کوئی تجھ کو مِلا، میری طرح
زیست کرتا ہے فقط دل کا دِیا میری طرح
Islam is a comprehensive code of conduct which encompasses to each sphere of human life. This also owns and endorses those manmade rules which serve the cause of humanity and not entering to its fundamentals. Adherence to Pakistani Traffic rules also falls under the preview of the same doctrine. It is very pertinent to note here, that the same traffic rules such as fastening of seat built, proper use of indicators, speed control etc. Have been devised to ensure the safety which starts from a pedestrian and ends up to a rider of any vehicle class. Any violation of traffic rules is an indirect breech of divine discipline imposed by Allah the Almighty. If the violation costs any damage, injury or fatal accident, this will directly be dealt under the principles set by Islam. This study aims at highlighting the significance of adherence to traffic rules which is directly linked to the ground safety. This ultimately serves the main purpose of saving any precious human life. If the same is ensured, no doubt the purpose of the holy verse would be fulfilled
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.