Theses and Dissertations

Issuing Body

Mississippi State University

Advisor

Bhowmik, Tanmay

Committee Member

Crumpton, Joseph J.

Committee Member

Torri, Stephen A.

Date of Degree

4-30-2021

Original embargo terms

Visible to MSU only for 2 years

Document Type

Graduate Thesis - Open Access

Major

Computer Science

Degree Name

Master of Science

Degree Name

Doctor of Philosophy (Ph.D)

College

James Worth Bagley College of Engineering

College

College of Agriculture and Life Sciences

Department

Department of Computer Science and Engineering

Department

College of Agriculture and Life Sciences

Abstract

In order to mitigate the ever-increasing trend in software failures with far reaching consequences, research has suggested close coordination of requirements engineering (RE) and testing. The literature also advocates the notion of requirements-based testing (RBT) focusing on checking both the quality attributes and implementation of requirements. As requirements reside in the environment comprised of certain problem domain phenomena, the environment assertions connecting some of these phenomena in the indicative mood play a critical part in determining the correctness of a software solution. Although several investigations emphasize the role of environment assertions in testing and QA activities, including RBT, current literature provides manual techniques of formulating environment assertions. Such an approach is extremely time consuming and highly dependent on an individual's domain knowledge. In addition, developers often struggle to formulate good assertions from scratch. To address this issue, in this thesis, we develop a boilerplate with certain placeholders that can be replaced with relevant attributes to formulate individual environment assertions. Leveraging this boilerplate, we further present a framework to capture environment assertions in an automated manner.

Download

Share

COinS