Quality Assurance through Rigorous Software Specification and Testing A Case Study》.pdf

Available online at ScienceDirect Procedia Computer Science 62 ( 2015 ) 257 – 265 The 2015 International Conference on Soft Computing and Software Engineering (SCSE 2015) Quality Assurance through Rigorous Software Specification and Testing: A Case Study a,∗ a a b Lan Lin , Jia He , Yong Zhang , Fengguang Song aDepartment of Computer Science, Ball State University, Muncie, Indiana 47306, USA bDepartment of Computer Science, Indiana University-Purdue University, Indianapolis, Indiana 46202, USA Abstract This paper demonstrates a case study of combining two rigorous software specification and testing methods, namely sequence- based software specification and Markov chain usage-based statistical testing and their supporting tools, all developed by the University of Tennessee Software Quality Research Laboratory, and integrating them with an automated testing tool selected for the chosen application to provide fully automated statistical testing and software certification as an economical and feasible means to achieve high product quality. Working on any non-trivial real world problem requires considerable efforts be made to work out all the details needed for fully automated testing with no human intervention. At the end of this process we have the ability of running large numbers of tests, as well as an automated testing facility for low-cost, quick-turnaround testing and re-testing. Our experiences demonstrate a pathway towards lowered cost of testing and impro