Software test case generation from system models and specification. Use of the UML diagrams and High Level Petri Nets models for developing software test cases.
AuthorAlhroob, Aysh M.
SupervisorDahal, Keshav P.
Hossain, M. Alamgir
KeywordSoftware test cases
High Level Petri Nets models
The University of Bradford theses are licenced under a Creative Commons Licence.
InstitutionUniversity of Bradford
DepartmentSchool of Computing, Informatics and Media
MetadataShow full item record
AbstractThe main part in the testing of the software is in the generation of test cases suitable for software system testing. The quality of the test cases plays a major role in reducing the time of software system testing and subsequently reduces the cost. The test cases, in model de- sign stages, are used to detect the faults before implementing it. This early detection offers more flexibility to correct the faults in early stages rather than latter ones. The best of these tests, that covers both static and dynamic software system model specifications, is one of the chal- lenges in the software testing. The static and dynamic specifications could be represented efficiently by Unified Modelling Language (UML) class diagram and sequence diagram. The work in this thesis shows that High Level Petri Nets (HLPN) can represent both of them in one model. Using a proper model in the representation of the software specifications is essential to generate proper test cases. The research presented in this thesis introduces novel and automated test cases generation techniques that can be used within a software sys- tem design testing. Furthermore, this research introduces e cient au- tomated technique to generate a formal software system model (HLPN) from semi-formal models (UML diagrams). The work in this thesis con- sists of four stages: (1) generating test cases from class diagram and Object Constraint Language (OCL) that can be used for testing the software system static specifications (the structure) (2) combining class diagram, sequence diagram and OCL to generate test cases able to cover both static and dynamic specifications (3) generating HLPN automat- ically from single or multi sequence diagrams (4) generating test cases from HLPN. The test cases that are generated in this work covered the structural and behavioural of the software system model. In first two phases of this work, the class diagram and sequence diagram are decomposed to nodes (edges) which are linked by Classes Hierarchy Table (CHu) and Edges Relationships Table (ERT) as well. The linking process based on the classes and edges relationships. The relationships of the software system components have been controlled by consistency checking technique, and the detection of these relationships has been automated. The test cases were generated based on these interrelationships. These test cases have been reduced to a minimum number and the best test case has been selected in every stage. The degree of similarity between test cases is used to ignore the similar test cases in order to avoid the redundancy. The transformation from UML sequence diagram (s) to HLPN facilitates the simpli cation of software system model and introduces formal model rather than semi-formal one. After decomposing the sequence diagram to Combined Fragments, the proposed technique converts each Combined Fragment to the corresponding block in HLPN. These blocks are con- nected together in Combined Fragments Net (CFN) to construct the the HLPN model. The experimentations with the proposed techniques show the effectiveness of these techniques in covering most of the software system specifications.
Showing items related by title, author, creator and subject.
Engineering System Design for Automated Space Weather Forecast. Designing Automatic Software Systems for the Large-Scale Analysis of Solar Data, Knowledge Extraction and the Prediction of Solar Activities Using Machine Learning Techniques.Qahwaji, Rami S.R.; Ipson, Stanley S.; Alomari, Mohammad H. (University of BradfordSchool of Computing, Informatics & Media, 2010-03-03)Coronal Mass Ejections (CMEs) and solar flares are energetic events taking place at the Sun that can affect the space weather or the near-Earth environment by the release of vast quantities of electromagnetic radiation and charged particles. Solar active regions are the areas where most flares and CMEs originate. Studying the associations among sunspot groups, flares, filaments, and CMEs is helpful in understanding the possible cause and effect relationships between these events and features. Forecasting space weather in a timely manner is important for protecting technological systems and human life on earth and in space. The research presented in this thesis introduces novel, fully computerised, machine learning-based decision rules and models that can be used within a system design for automated space weather forecasting. The system design in this work consists of three stages: (1) designing computer tools to find the associations among sunspot groups, flares, filaments, and CMEs (2) applying machine learning algorithms to the associations¿ datasets and (3) studying the evolution patterns of sunspot groups using time-series methods. Machine learning algorithms are used to provide computerised learning rules and models that enable the system to provide automated prediction of CMEs, flares, and evolution patterns of sunspot groups. These numerical rules are extracted from the characteristics, associations, and time-series analysis of the available historical solar data. The training of machine learning algorithms is based on data sets created by investigating the associations among sunspots, filaments, flares, and CMEs. Evolution patterns of sunspot areas and McIntosh classifications are analysed using a statistical machine learning method, namely the Hidden Markov Model (HMM).
kPWorkbench: A software suit for membrane systemsKonur, Savas; Mierla, L.; Ipate, F.; Gheorghe, Marian (2020)Membrane computing is a new natural computing paradigm inspired by the functioning and structure of biological cells, and has been successfully applied to many different areas, from biology to engineering. In this paper, we present kPWorkbench, a software framework developed to support membrane computing and its applications. kPWorkbench offers unique features, including modelling, simulation, agent-based high performance simulation and verification, which allow modelling and computational analysis of membrane systems. The kPWorkbench formal verification component provides the opportunity to analyse the behaviour of a model and validate that important system requirements are met and certain behaviours are observed. The platform also features a property language based on natural language statements to facilitate property specification.
The use of generalized audit software by Egyptian external auditors: the effect of audit software featuresKim, H-J.; Kotb, A.; Eldaly, Mohamed K.A. (2016)Purpose - This study aims to explore: the actual usage of GAS features among Egyptian external auditors, through the technology acceptance model (TAM); how the conceptual complexity of GAS features impact its actual usage; and what factors influencing the GAS use by Egyptian external auditors. Design/methodology/approach - External audit professionals at twelve international audit firms, including the Big 4 and eight medium-sized firms, in Egypt were surveyed. Findings - The results show that the basic features including database queries, ratio analysis, and audit sampling were higher in GAS use, perceived usefulness, and perceived ease of use among Egyptian external auditors than the advanced features: digital analysis, regression/ANOVA, and data mining classification. The SEM analysis by GAS features suggests that perceived ease of use has a stronger effect on GAS use when the conceptual complexity of GAS features is high. The analysis also support that the use of GAS by Egyptian external auditors is more affected by co-worker, supervisor, or organization through perceived usefulness, but not by job relevance, output quality, and result demonstration. Research limitations/implications - Although Egyptian external auditors participated in this study may limit the extent to which the findings may be generalized, the responses provide an insight into the actual usage of GAS features by external auditors and the impact of conceptual complexity of GAS features, which is consistent with the literature concerning the relatively low level of utilizing the advanced features of GAS by internal auditors, suggesting that the issues revealed should be of concern. Practical implications - The results reported in this paper are useful to audit software developers and audit firms in their understanding of factors influencing GAS usage in a different audit context. Originality/value - The study adds value to prior research by providing context-contingent insight into the application of technology acceptance model in an unexplored audit context.