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.

View/ Open
Last Copy-Thesis.pdf (12.41Mb)
Download
Publication date
2012-06-29Author
Alhroob, Aysh M.Supervisor
Dahal, Keshav P.Hossain, M. Alamgir
Keyword
Software test casesSystem models
Specifications
UML diagrams
High Level Petri Nets models
Software engineering
Software testing
Test data
Model transformation
Rights

The University of Bradford theses are licenced under a Creative Commons Licence.
Institution
University of BradfordDepartment
School of Computing, Informatics and MediaAwarded
2010
Metadata
Show full item recordAbstract
The 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.Type
ThesisQualification name
PhDCollections
Related items
Showing items related by title, author, creator and subject.
-
Dynamic Modelling and Optimization of Polymerization Processes in Batch and Semi-batch Reactors. Dynamic Modelling and Optimization of Bulk Polymerization of Styrene, Solution Polymerization of MMA and Emulsion Copolymerization of Styrene and MMA in Batch and Semi-batch Reactors using Control Vector Parameterization Techniques.Mujtaba, Iqbal M.; Ibrahim, W.H.B.W. (University of BradfordSchool of Engineering, Design & Technology, 2012-02-29)Dynamic modelling and optimization of three different processes namely (a) bulk polymerization of styrene, (b) solution polymerization of methyl methacrylate (MMA) and (c) emulsion copolymerization of Styrene and MMA in batch and semi-batch reactors are the focus of this work. In this work, models are presented as sets of differential-algebraic equations describing the process. Different optimization problems such as (a) maximum conversion (Xn), (b) maximum number average molecular weight (Mn) and (c) minimum time to achieve the desired polymer molecular properties (defined as pre-specified values of monomer conversion and number average molecular weight) are formulated. Reactor temperature, jacket temperature, initial initiator concentration, monomer feed rate, initiator feed rate and surfactant feed rate are used as optimization variables in the optimization formulations. The dynamic optimization problems were converted into nonlinear programming problem using the CVP techniques which were solved using efficient SQP (Successive Quadratic Programming) method available within the gPROMS (general PROcess Modelling System) software. The process model used for bulk polystyrene polymerization in batch reactors, using 2, 2 azobisisobutyronitrile catalyst (AIBN) as initiator was improved by including the gel and glass effects. The results obtained from this work when compared with the previous study by other researcher which disregarded the gel and glass effect in their study which show that the batch time operation are significantly reduced while the amount of the initial initiator concentration required increases. Also, the termination rate constant decreases as the concentration of the mixture increases, resulting rapid monomer conversion. The process model used for solution polymerization of methyl methacrylate (MMA) in batch reactors, using AIBN as the initiator and Toluene as the solvent was improved by including the free volume theory to calculate the initiator efficiency, f. The effects of different f was examined and compared with previous work which used a constant value of f 0.53. The results of these studies show that initiator efficiency, f is not constant but decreases with the increase of monomer conversion along the process. The determination of optimal control trajectories for emulsion copolymerization of Styrene and MMA with the objective of maximizing the number average molecular weight (Mn) and overall conversion (Xn) were carried out in batch and semi-batch reactors. The initiator used in this work is Persulfate K2S2O8 and the surfactant is Sodium Dodecyl Sulfate (SDS). Reduction of the pre-batch time increases the Mn but decreases the conversion (Xn). The sooner the addition of monomer into the reactor, the earlier the growth of the polymer chain leading to higher Mn. Besides that, Mn also can be increased by decreasing the initial initiator concentration (Ci0). Less oligomeric radicals will be produced with low Ci0, leading to reduced polymerization loci thus lowering the overall conversion. On the other hand, increases of reaction temperature (Tr) will decrease the Mn since transfer coefficient is increased at higher Tr leading to increase of the monomeric radicals resulting in an increase in termination reaction.
-
Analytical and Numerical Models for Velocity Profile in Vegetated Open-Channel FlowsPu, Jaan H.; Guo, Yakun; Hussain, Awesar A. (University of BradfordFaculty of Engineering and Informatics, 2020)The presence of vegetation in open channel flow has a significant influence on flow resistance, turbulence structures and sediment transport. This study will evaluate flow resistance and scale velocity profile in depth limited flow conditions, specifically investigating the impact of vegetation on the flow resistance under submerged flow conditions. The resistance induced by vegetation in open channel flows has been interpreted differently in literature, largely due to different definitions of friction factors or drag coefficients and the different Reynolds numbers. The methods utilized in this study are based on analytical and numerical models to investigate the effects of vegetation presence on flow resistance in open channel flows. The performing strategy approach was applied by three-dimensional computational fluid dynamics (CFD) simulations, using artificial cylinders for the velocity profile. This is to estimate the average flow velocity and resistance coefficients for flexible vegetation, which results in more accurate flow rate predictions, particularly for the case of low Reynolds number. This thesis shows different formulas from previous studies under certain conditions for a length scale metric, which normalises velocity profiles of depth limited open channel flows with submerged vegetation, using both calculated and simulated model work. It considers the submerged vegetation case in shallow flows, when the flow depth remains no greater than twice the vegetation height. The proposed scaling has been compared and developed upon work that have been influenced by logarithmic and power laws to present velocity profiles, in order to illustrate the variety of flow and vegetation configurations.
-
Message from the A-MOST 2021 Workshop ChairsLefticaru, Raluca; Lorber, F.; Turker, U.C. (2021-04)We are pleased to welcome you to the 17th edition of the Advances in Model-Based Testing Workshop (A-MOST 2021), collocated with the IEEE International Conference on Software Testing, Verification and Validation (ICST 2021).