Theses and Dissertations

Issuing Body

Mississippi State University

Advisor

Bhowmik, Tanmay

Committee Member

Lee, Sarah B.

Committee Member

Crumpton, Joseph J.

Committee Member

Jankun-Kelly, T.J.

Committee Member

Keith, Jason M.

Date of Degree

8-9-2019

Original embargo terms

Visible to MSU only for 3 years

Document Type

Graduate Thesis - Campus Access Only

Major

Computer Science

Degree Name

Master of Science

College

James Worth Bagley College of Engineering

Department

Department of Computer Science and Engineering

Abstract

Software developers dedicate a major portion of their development effort towards testing and quality assurance (QA) activities, especially during and around the implementation phase. Nevertheless, we continue to see an alarmingly increasing trend in the cost and consequences of software failure. In an attempt to mitigate such loss and address software issues at a much earlier stage, researchers have recently emphasized on the successful coordination of requirements engineering and testing (RET). Jackson points out that requirements reside in the environment which is comprised of certain phenomena, also known as environment assertions, and a large number of software issues stem from faulty environment assertions. Current literature doesn’t provide any explicit emphasis on the environment assertions during QA activities. In order to address this gap, in this thesis, we present a detailed empirical study on the prominence of environment assertions in RBT and further propose an automated support to capture environment assertions.

URI

https://hdl.handle.net/11668/14543

Comments

environment assertions||requirements-based testing||requirements engineering and testing||requirements engineering

Share

COinS