|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
Testing large software with automated software evaluation systems
March 1975 (vol. 1 no. 1)
pp. 46-58
| ASCII Text | x | ||
| "Testing large software with automated software evaluation systems," IEEE Transactions on Software Engineering, vol. 1, no. 1, pp. 46-58, March, 1975. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.1975.6312819, author = {}, title = {Testing large software with automated software evaluation systems}, journal ={IEEE Transactions on Software Engineering}, volume = {1}, number = {1}, issn = {0098-5589}, year = {1975}, pages = {46-58}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1975.6312819}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - Testing large software with automated software evaluation systems IS - 1 SN - 0098-5589 SP46 EP58 EPD - 46-58 PY - 1975 KW - Testing KW - Software systems KW - Debugging KW - Software reliability KW - System analysis and design KW - software reliability KW - Automated tools KW - correctness KW - performance KW - software evaluation systems VL - 1 JA - IEEE Transactions on Software Engineering ER - | |||
In the past few years, research has been actively carried out in an attempt to improve the quality and reliability of large-scale software systems. Although progress has been made on the formal proof of program correctness, proving large-scale software systems correct by formal proof is still many years away. Automated software tools have been found to be valuable in improving software reliability and attacking the high cost of software systems. This paper attempts to describe some main features of automated software tools and some software evaluation systems that are currently available.
Index Terms:
Testing,Software systems,Debugging,Software reliability,System analysis and design,software reliability,Automated tools,correctness,performance,software evaluation systems
Citation:
"Testing large software with automated software evaluation systems," IEEE Transactions on Software Engineering, vol. 1, no. 1, pp. 46-58, March 1975, doi:10.1109/TSE.1975.6312819
Usage of this product signifies your acceptance of the Terms of Use.