Name
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 improved product quality. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1016/j.procs.2015.08.448 | Procedia Computer Science |
Keywords | Field | DocType |
Rigorous software specification,sequence-based specification,model-based statistical testing,automated testing,Markov chain usage models,requirements engineering,software quality assurance | Black-box testing,Software engineering,Computer science,Manual testing,White-box testing,Regression testing,Non-regression testing,Software performance testing,Software reliability testing,Artificial intelligence,Machine learning,Keyword-driven testing | Conference |
Volume | ISSN | Citations |
62 | 1877-0509 | 0 |
PageRank | References | Authors |
0.34 | 10 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Lan Lin | 1 | 4 | 8.21 |
| Jia He | 2 | 0 | 0.34 |
| Yong Zhang | 3 | 40 | 6.01 |
| Fengguang Song | 4 | 232 | 19.88 |