لفظ خاتم کا معنی و مفہوم ائمہ لغت ومفسرین کے اقوال کی روشنی میں ایک تحقیقی جائزہ

Almighty Allah Has bestowed us with more than one lakh andtwenty four thousand prophets for guidance of human being. It started with Hazrat Adam As and end up with hazrat Muhammad (PBUH). As it was endedwith hazrat Muhammad PBUH, so he was called with the title of ‛. ‚خاتم; النبیینThe Holy Prophet PBUH himself said “No Prophet will come after me”. Thisbelief keep pivotal value among all beliefs. According to Muslim scholars, anyone who has doubt on finality of Prophethood will be considered nonMuslim. Therefore in this article the word ‛ ‚خاتمis analyzed comprehensively in the light of various sayings of different Muslim scholars

A Use Case Complexity Based Approach to Prioritize Test Cases for Software Product Line Testing

Software Product Line (SPL) Engineering is software engineering tools, techniques and methods for the development of products sharing common features along with some variant features. A feature model (FM) represents the relationship among various features. Feature model is the main artifact that generates different products of SPL. Product testing is the necessary part of quality assurance. The combinatorial rise of the products occurs due to the large number of features resulting, SPL testing very complex. To reduce the complexity of testing, there are some techniques used in the literature like products selection, minimization and prioritization. In product selection, the scope of testing is reduced. Product minimization chooses a product that represents all the characteristics of products and eliminates redundancy but not feasible for revealing all faults and early fault detection. Product minimization and selection discard some products but prioritization covers all the products. Products Prioritization technique reorders the products based on feature coverage criteria or feature coupling complexity criteria. Prioritization reveals faults earlier that help in early fault correction, feedback, saves cost and time. In existing techniques of prioritization criteria, no one addressed the feature?s individual complexity to prioritize the products. In this present research, the researcher calculated use case complexity of individual features calculated followed by finding product?s complexity in order to prioritize product (Test Case).There are abstract and concrete features in a feature model. Concrete features can be mapped on use case descriptions because they provide the functional requirements of system. An algorithm proposed for finding complexity of UC that based on UC template attributes. It eventually prioritized the products based on individual feature?s complexity. To validate the work, e Shop case study used that was evaluated by generating feature model and valid products configurations with the help of the SPL tool. The e Shop data set obtained from SPLOT that was a free repository. Lists of prioritized products for existing criteria and proposed criteria obtained by running their respective algorithms. Effectiveness of the proposed criteria in comparison with the existing criteria judged by calculating average percentage of faults detected for each prioritized list of products. Proposed approach significantly improved the average percentage of faults detected. The results of case study show that different ordering of the same test cases gives considerable difference in the average percentage of faults detected.