Specification mining frameworks for complex software systems
department or school: Science, Irving K. Barber Faculty of (Okanagan)
department or school: Computer Science, Mathematics, Physics and Statistics, Department of (Okanagan)
data provider: DSpace
degree campus: UBCO
creator: Mahato, Pradeep Kumar
issued: 2022-09-30T07:00:00Z
issued: 2021
related degree: Master of Science - MSc
degree grantor: University of British Columbia
description: Software specifications define system behavior, usage guidelines, requirements and act as a tool for debugging. However, quite often, such specification documentation is either missing or carries outdated information due to the evolutionary nature of the software development process. As a result, system operators, developers, and users face difficulties during the production phase due to limited or no information. The problems get even more serious in safety-critical systems. Safety-critical systems are used in many important tasks such as automotive, disaster relief operations, monitoring patient's medical health, and more. In this thesis, we attempt to address the problem of mining missing or outdated software requirement specifications from system traces. We present several approaches to enable system operators to better understand software behavior. We present three tools QMine, MMTQ, and MINTS for mining software specifications from system traces. QMine and MMTQ perform template-based mining for a quantitative regular expression and timed quantitative regular expression with linear time complexity respectively. We propose a novel formalism of timed-quantitative regular expressions that incorporate both events, quantitative values, and time constraints all within a single specification. We realize the limitations of QMine and MMTQ with the need for a human-crafted template as their basis. In an attempt to alleviate this issue, we propose, MINTS a framework that extracts system behavior using traces from the system in an unsupervised approach. MINTS is capable of revealing various system states and the relationship among the state transitions. It then extracts dominant temporal patterns from the extracted relationship model. We use system traces from a custom-built Hexacopter that uses QNX operating system for extracting the dominant temporal patterns. We subsequently mine the quantitative properties using the templates extracted by MINTS for validation. We discu…
aggregated CHO: https://circle.library.ubc.ca/rest/handle/2429/79952
note: SPECIFICATION MININGFRAMEWORKS FOR COMPLEXSOFTWARE SYSTEMSbyPradeep Kumar MahatoB.Tech Hons., NIT Jamshedpur, 2013A THESIS SUBMITTED IN PARTIAL FULFILLMENT OFTHE REQUIREMENTS FOR THE DEGREE OFMASTER OF SCIENCEinThe College of Graduate Studies(Computer Science)THE UNIVERSITY OF BRITISH COLUMBIA(Okanagan)October 2021© Pradeep Kumar Mahato, 2021The following individuals certify that they have read, and recommend tothe College of Graduate Studies for acceptance, a thesis/dissertation entitled:SPECIFICATIONMINING FRAMEWORKS FOR COMPLEX SOFT-WARE SYSTEMSsubmitted by Pradeep Kumar Mahato in partial fulfilment of the require-ments of the degree of Master of ScienceDr. Apurva Narayan, The Irving K. Barber Faculty of ScienceSupervisorDr. Jeff Andrews, The Irving K. Barber Faculty of ScienceSupervisory Committee MemberDr. Fatemeh Fard, The Irving K. Barber Faculty of ScienceSupervisory Committee MemberDr. Eric Li, Faculty of ManagementUniversity ExamineriiAbstractSoftware specifications define system behavior, usage guidelines, require-ments and act as a tool for debugging. However, quite often, such specifi-cation documentation is either missing or carries outdated information dueto the evolutionary nature of the software development process. As a result,system operators, developers, and users face difficulties during the productionphase due to limited or no information. The problems get even more seriousin safety-critical systems. Safety-critical systems are used in many impor-tant tasks such as automotive, disaster relief operations, monitoring patient’smedical health, and more.In this thesis, we attempt to address the problem of mining missing oroutdated software requirement specifications from system traces. We presentseveral approaches to enable system operators to better understand softwarebehavior. We present three tools QMine, MMTQ, and MINTS for min-ing software specifications from system traces. QMine and MMTQ performtemplate-based mining for a quantitative regular …
has type: Thesis/Dissertation
date issued: 2021-11
is shown at: 10.14288/1.0402489
language: eng
degree discipline: Computer Science
provider: Vancouver : University of British Columbia Library
publisher: University of British Columbia
rights: Attribution-NonCommercial-ShareAlike 4.0 International
rights URI: http://creativecommons.org/licenses/by-nc-sa/4.0/
scholar level: Graduate
contributor: Narayan, Apurva
type: Text
identifier URI: http://hdl.handle.net/2429/79952