-
A Python Program for Computation of Transition Probabilities, Oscillator Strengths for Li-like ions
Authors:
M. Hani Zaheer,
M. Bilal Khan,
S M Zeeshan Iqbal,
Zaheer Uddin
Abstract:
The available software to study the spectroscopic characteristics of atoms, ions, and molecules runs on a server, e.g., the general-purpose atomic structure package (GRASP) and R-matrix method. A Python program has been developed to compute Transition Probabilities, oscillator strengths, Line strengths, matrix elements, and radii of the orbit for lithium and its iso-electronic sequence. The progra…
▽ More
The available software to study the spectroscopic characteristics of atoms, ions, and molecules runs on a server, e.g., the general-purpose atomic structure package (GRASP) and R-matrix method. A Python program has been developed to compute Transition Probabilities, oscillator strengths, Line strengths, matrix elements, and radii of the orbit for lithium and its iso-electronic sequence. The program is straightforward, easily applicable without installation, and uses built-in Python libraries. It can be run on personal computers core I3 and above. The effective charge, effective quantum numbers, and energies of upper and lower levels serve as input parameters for computing the spectral quantities mentioned above. As a case study, we implemented our program on Li I, F VII, Na IX, Al XI, Mg X, and Fe XXIV to calculate transition probabilities, oscillator strengths, and line strengths. The results are compared and found to align with the corresponding values in the NIST data.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Automated System-level Testing of Unmanned Aerial Systems
Authors:
Hassan Sartaj,
Asmar Muqeet,
Muhammad Zohaib Iqbal,
Muhammad Uzair Khan
Abstract:
Unmanned aerial systems (UAS) rely on various avionics systems that are safety-critical and mission-critical. A major requirement of international safety standards is to perform rigorous system-level testing of avionics software systems. The current industrial practice is to manually create test scenarios, manually/automatically execute these scenarios using simulators, and manually evaluate outco…
▽ More
Unmanned aerial systems (UAS) rely on various avionics systems that are safety-critical and mission-critical. A major requirement of international safety standards is to perform rigorous system-level testing of avionics software systems. The current industrial practice is to manually create test scenarios, manually/automatically execute these scenarios using simulators, and manually evaluate outcomes. The test scenarios typically consist of setting certain flight or environment conditions and testing the system under test in these settings. The state-of-the-art approaches for this purpose also require manual test scenario development and evaluation. In this paper, we propose a novel approach to automate the system-level testing of the UAS. The proposed approach (AITester) utilizes model-based testing and artificial intelligence (AI) techniques to automatically generate, execute, and evaluate various test scenarios. The test scenarios are generated on the fly, i.e., during test execution based on the environmental context at runtime. The approach is supported by a toolset. We empirically evaluate the proposed approach on two core components of UAS, an autopilot system of an unmanned aerial vehicle (UAV) and cockpit display systems (CDS) of the ground control station (GCS). The results show that the AITester effectively generates test scenarios causing deviations from the expected behavior of the UAV autopilot and reveals potential flaws in the GCS-CDS.
△ Less
Submitted 23 March, 2024;
originally announced March 2024.
-
Efficient Test Data Generation for MC/DC with OCL and Search
Authors:
Hassan Sartaj,
Muhammad Zohaib Iqbal,
Atif Aftab Ahmed Jilani,
Muhammad Uzair Khan
Abstract:
System-level testing of avionics software systems requires compliance with different international safety standards such as DO-178C. An important consideration of the avionics industry is automated test data generation according to the criteria suggested by safety standards. One of the recommended criteria by DO-178C is the modified condition/decision coverage (MC/DC) criterion. The current model-…
▽ More
System-level testing of avionics software systems requires compliance with different international safety standards such as DO-178C. An important consideration of the avionics industry is automated test data generation according to the criteria suggested by safety standards. One of the recommended criteria by DO-178C is the modified condition/decision coverage (MC/DC) criterion. The current model-based test data generation approaches use constraints written in Object Constraint Language (OCL), and apply search techniques to generate test data. These approaches either do not support MC/DC criterion or suffer from performance issues while generating test data for large-scale avionics systems. In this paper, we propose an effective way to automate MC/DC test data generation during model-based testing. We develop a strategy that utilizes case-based reasoning (CBR) and range reduction heuristics designed to solve MC/DC-tailored OCL constraints. We performed an empirical study to compare our proposed strategy for MC/DC test data generation using CBR, range reduction, both CBR and range reduction, with an original search algorithm, and random search. We also empirically compared our strategy with existing constraint-solving approaches. The results show that both CBR and range reduction for MC/DC test data generation outperform the baseline approach. Moreover, the combination of both CBR and range reduction for MC/DC test data generation is an effective approach compared to existing constraint solvers.
△ Less
Submitted 23 June, 2024; v1 submitted 7 January, 2024;
originally announced January 2024.
-
Deriving and Evaluating a Detailed Taxonomy of Game Bugs
Authors:
Nigar Azhar Butt,
Salman Sherin,
Muhammad Uzair Khan,
Atif Aftab Jilani,
Muhammad Zohaib Iqbal
Abstract:
Game development has become an extremely competitive multi-billion-dollar industry. Many games fail even after years of development efforts because of game-breaking bugs that disrupt the game-play and ruin the player experience. The goal of this work is to provide a bug taxonomy for games that will help game developers in develo** bug-resistant games, game testers in designing and executing faul…
▽ More
Game development has become an extremely competitive multi-billion-dollar industry. Many games fail even after years of development efforts because of game-breaking bugs that disrupt the game-play and ruin the player experience. The goal of this work is to provide a bug taxonomy for games that will help game developers in develo** bug-resistant games, game testers in designing and executing fault-finding test cases, and researchers in evaluating game testing approaches. For this purpose, we performed a Multivocal Literature Review (MLR) by analyzing 436 sources, out of which 189 (78 academic and 111 grey) sources reporting bugs encountered in the game development industry were selected for analysis. We validate the proposed taxonomy by conducting a survey involving different game industry practitioners. The MLR allowed us to finalize a detailed taxonomy of 63 game bug categories in end-user perspective including eight first-tier categories: Gaming Balance, Implementation Response, Network, Sound, Temporal, Unexpected Crash, Navigational, and Non-Temporal faults. We observed that manual approaches towards game testing are still widely used. Only one of the approaches targets sound bugs whereas game balancing and how to incorporate machine learning in game testing is trending in the recent literature. Most of the game testing techniques are specialized and dependent on specific platforms.
△ Less
Submitted 28 November, 2023;
originally announced November 2023.
-
Bulk Photovoltaic Effect in Two-Dimensional Distorted MoTe2
Authors:
Sikandar Aftab,
Muhammad Arslan Shehzad,
Muhammad Salman Ajmal,
Fahmid Kabir,
Muhammad Zahir Iqbal
Abstract:
In future solar cell technologies, the thermodynamic Shockley-Queisser limit for solar-to-current conversion in traditional p-n junctions could potentially be overcome with a bulk photovoltaic effect by creating an inversion broken symmetry in piezoelectric or ferroelectric materials. Here, we unveiled mechanical distortion-induced bulk photovoltaic behavior in a two-dimensional material (2D), MoT…
▽ More
In future solar cell technologies, the thermodynamic Shockley-Queisser limit for solar-to-current conversion in traditional p-n junctions could potentially be overcome with a bulk photovoltaic effect by creating an inversion broken symmetry in piezoelectric or ferroelectric materials. Here, we unveiled mechanical distortion-induced bulk photovoltaic behavior in a two-dimensional material (2D), MoTe2, caused by phase transition and broken inversion symmetry in MoTe2. The phase transition from single-crystalline semiconducting 2H-MoTe2 to semi-metallic 1T-MoTe2 was confirmed using X-ray photoelectron spectroscopy (XPS). We used a micrometer-scale system to measure the absorption of energy, which reduced from 800 meV to 63 meV when phase transformation from hexagonal to distorted octahedral and revealed a smaller bandgap semi-metallic behavior. Experimentally, a large bulk photovoltaic response is anticipated with the maximum photovoltage VOC = 16 mV and a positive signal of the ISC = 60 uA (400 nm, 90.4 Wcm-2) in the absence of an external electric field. The maximum values of both R and EQE were found to be 98 mAW-1 and 30 %, respectively. Our findings unveil distinctive features of the photocurrent responses caused by in-plane polarity and its potential from a wide pool of established TMD-based nanomaterials, and a novel approach to reach high efficiency in converting photons-to-electricity for power harvesting optoelectronics devices.
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
Platinum Disulfide (PtS2) and Silicon Pyramids: Efficient 2D/3D Heterojunctions Tunneling and Breakdown Diodes
Authors:
Sikandar Aftab,
Ms. Samiya,
Muhammad Waqas Iqbal,
Fahmid Kabir,
Muhammad Zahir Iqbal,
M. Arslan Shehzad
Abstract:
The p-n junction constructed from the group-10 TMDCs, or namely, transition metal dichalcogenides with an intrinsic layered structure, is not considerably reported. This study presents a mechanical exfoliation-based technique to prepare PtS2 pyramids Si p-n junctions for an investigation of the tunneling and breakdown diodes. the demonstrated p-n diode exhibited a high rectifying performance reach…
▽ More
The p-n junction constructed from the group-10 TMDCs, or namely, transition metal dichalcogenides with an intrinsic layered structure, is not considerably reported. This study presents a mechanical exfoliation-based technique to prepare PtS2 pyramids Si p-n junctions for an investigation of the tunneling and breakdown diodes. the demonstrated p-n diode exhibited a high rectifying performance reaching a rectification ration (If/Ir) to 7.2 *10^4 at zero gate bias with an ideality factor of 1.5. The zener tunneling was observed at a low reverse bias region of breakdown voltage (from -6 to -1V) at various temperatures (50 to 300K) and it was a negative coefficient of temperature. Conversely, for the greater breakdown voltage regime (-15 to -11 V), the breakdown voltage increased with the increased temperature (150 to 300 K), indicating a positive coefficient of temperature. Therefore, this phenomenon was attributed to the avalanche breakdown. The p-n junctions displayed photovoltaic characteristics under the illumination of visible light (500 nm), such as high responsivity (Rph) and photo gain (G) of 11.88 A/W, and 67.10, respectively. The maximum values for both the open-circuit voltage (VOC) and the short-circuit current (ISC) were observed to be 4.5 V, and 10 uA, respectively, at an input intensity of light 70.32 mW/cm2. The outcome of this study suggest PtS2/pyramids Si p-n junctions may be employed in numerous optoelectronics including photovoltaic cells, Zener tunneling diodes, avalanche breakdown diodes and photodetectors.
△ Less
Submitted 10 October, 2021;
originally announced October 2021.
-
CDST: A Toolkit for Testing Cockpit Display Systems of Avionics
Authors:
Hassan Sartaj,
Muhammad Zohaib Iqbal,
Muhammad Uzair Khan
Abstract:
Avionics are highly critical systems that require extensive testing governed by international safety standards. Cockpit Display Systems (CDS) are an essential component of modern aircraft cockpits and display information from the user application using various widgets. A significant step in the testing of avionics is to evaluate whether these CDS are displaying the correct information. A common in…
▽ More
Avionics are highly critical systems that require extensive testing governed by international safety standards. Cockpit Display Systems (CDS) are an essential component of modern aircraft cockpits and display information from the user application using various widgets. A significant step in the testing of avionics is to evaluate whether these CDS are displaying the correct information. A common industrial practice is to manually test the information on these CDS by taking the aircraft into different scenarios during the simulation. Given the large number of scenarios to test, manual testing of such behavior is a laborious activity. In this paper, we present a CDST toolkit that automates the testing of Cockpit Display Systems (CDS). We discuss the workflow and architecture of the tool and also demonstrates the tool on an industrial case study. The results show that the tool is able to generate, execute, and evaluate the test cases and identify 3 bugs in the case study.
△ Less
Submitted 21 January, 2020;
originally announced January 2020.
-
Landsca** Systematic Map** Studies in Software Engineering: A Tertiary Study
Authors:
Muhammad Uzair khan,
Salman Sherin,
Muhammad Zohaib Iqbal,
Rubab Zahid
Abstract:
Context: A number of Systematic Map** Studies (SMSs) that cover Software Engineering (SE) are reported in literature. Tertiary studies synthesize the secondary studies to provide a holistic view of an area. Objectives: We synthesize SMSs in SE to provide insights into existing SE areas and to investigate the trends and quality of SMSs. Methodology: We use Systematic Literature Review protocol to…
▽ More
Context: A number of Systematic Map** Studies (SMSs) that cover Software Engineering (SE) are reported in literature. Tertiary studies synthesize the secondary studies to provide a holistic view of an area. Objectives: We synthesize SMSs in SE to provide insights into existing SE areas and to investigate the trends and quality of SMSs. Methodology: We use Systematic Literature Review protocol to analyze and map the SMSs in SE, till August 2017, to SE Body of Knowledge (SWEBOK). Results: We analyze 210 SMSs and results show that: (1) Software design and construction are most active areas in SE; (2) Some areas lack SMSs, including mathematical foundations, software configuration management, and SE tools; (3) The quality of SMSs is improving with time; (4) SMSs in journals have higher quality than SMSs in conferences and are cited more often; (5) Low quality in SMSs can be attributed to a lack of quality assessment in SMSs and not reporting information about the primary studies. Conclusion: There is a potential for more SMSs in some SE areas. A number of SMSs do not provide the required information for an SMS, which leads to a low quality score.
△ Less
Submitted 24 September, 2019;
originally announced September 2019.
-
A Systematic Literature Review of Test Breakage Prevention and Repair Techniques
Authors:
Javaria Imtiaz,
Salman Sherin,
Muhammad Uzair khan,
Muhammad Zohaib Iqbal
Abstract:
Context: When an application evolves, some of the developed test cases break. Discarding broken test cases causes a significant waste of effort and leads to test suites that are less effective and have lower coverage. Test repair approaches evolve test suites along with applications by repairing the broken test cases. Objective: Numerous studies are published on test repair approaches every year.…
▽ More
Context: When an application evolves, some of the developed test cases break. Discarding broken test cases causes a significant waste of effort and leads to test suites that are less effective and have lower coverage. Test repair approaches evolve test suites along with applications by repairing the broken test cases. Objective: Numerous studies are published on test repair approaches every year. It is important to summarise and consolidate the existing knowledge in the area to provide directions to researchers and practitioners. This research work provides a systematic literature review in the area of test case repair and breakage prevention, aiming to guide researchers and practitioners in the field of software testing. Method: We followed the standard protocol for conducting a systematic literature review. First, research goals were defined using the Goal Question Metric (GQM). Then we formulate research questions corresponding to each goal. Finally, metrics are extracted from the included papers. Based on the defined selection criteria a final set of 41 primary studies are included for analysis. Results: The selection process resulted in 5 journal papers, and 36 conference papers. We present a taxonomy that lists the causes of test case breakages extracted from the literature. We found that only four proposed test repair tools are publicly available. Most studies evaluated their approaches on open-source case studies. Conclusion: There is significant room for future research on test repair techniques. Despite the positive trend of evaluating approaches on large scale open-source studies, there is a clear lack of results from studies done in a real industrial context. Few tools are publicly available which lowers the potential of adaption by industry practitioners.
△ Less
Submitted 24 September, 2019;
originally announced September 2019.
-
A Systematic Map** Study on Testing of Machine Learning Programs
Authors:
Salman Sherin,
Muhammad Uzair khan,
Muhammad Zohaib Iqbal
Abstract:
We aim to conduct a systematic map** in the area of testing ML programs. We identify, analyze and classify the existing literature to provide an overview of the area. We followed well-established guidelines of systematic map** to develop a systematic protocol to identify and review the existing literature. We formulate three sets of research questions, define inclusion and exclusion criteria a…
▽ More
We aim to conduct a systematic map** in the area of testing ML programs. We identify, analyze and classify the existing literature to provide an overview of the area. We followed well-established guidelines of systematic map** to develop a systematic protocol to identify and review the existing literature. We formulate three sets of research questions, define inclusion and exclusion criteria and systematically identify themes for the classification of existing techniques. We also report the quality of the published works using established assessment criteria. we finally selected 37 papers out of 1654 based on our selection criteria up to January 2019. We analyze trends such as contribution facet, research facet, test approach, type of ML and the kind of testing with several other attributes. We also discuss the empirical evidence and reporting quality of selected papers. The data from the study is made publicly available for other researchers and practitioners. We present an overview of the area by answering several research questions. The area is growing rapidly, however, there is lack of enough empirical evidence to compare and assess the effectiveness of the techniques. More publicly available tools are required for use of practitioners and researchers. Further attention is needed on non-functional testing and testing of ML programs using reinforcement learning. We believe that this study can help researchers and practitioners to obtain an overview of the area and identify several sub-areas where more research is required
△ Less
Submitted 11 July, 2019;
originally announced July 2019.