High assurance software testing in business and DoD

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn 2000-January, Issue , 2000, Pages 207-211

  Bayrak, C ^a   Sahinoglu, M ^b   Cummings, T ^c  

^a University of Arkansas at Little Rock ^*  (United States)

^b TROY UNIVERSITY   (United States)

^c Maxwell Gunter AFB   (United States)

Author keywords

Application software; Bayesian methods; Information science; Life testing; Programming; Project management; Scanning probe microscopy; Software development management; Software testing; US Department of Defense

Indexed keywords

APPLICATION PROGRAMS; BAYESIAN NETWORKS; BUDGET CONTROL; COMPUTER SOFTWARE; INFORMATION SCIENCE; LIFE CYCLE; MATHEMATICAL PROGRAMMING; PROJECT MANAGEMENT; SCANNING PROBE MICROSCOPY; SOFTWARE DESIGN; STATISTICAL TESTS; SYSTEMS ENGINEERING; VALUE ENGINEERING;

BAYESIAN METHODS; DEPARTMENT OF DEFENSE; EARNED VALUE MANAGEMENT; EMPIRICAL BAYESIAN; LIFE-TESTING; SOFTWARE DEVELOPMENT LIFE CYCLE; SOFTWARE DEVELOPMENT MANAGEMENT; US DEPARTMENT OF DEFENSE;

SOFTWARE TESTING;

EID: 84948462169     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2000.895463     Document Type: Conference Paper

References (10)

1. Cummings, T., A New Scientific Business Engineering Paradigm for Software Agencies, Master of Science Thesis in Computer and Information Science, Troy State University Montgomery , Montgomery, AL, August 2000
2. Sahinoglu, M. , Mayrhauser, A. , Hajjar, A., Chen T., Anderson C., On the Efficiency of a Compound Poisson Stopping Rule for Mixed Strategy Testing, IEEE Aerospace Conference, March 1999
3. Sahinoglu, M. Compound-Poisson Software Reliability Model, IEEE Trans. On Software Engineering 18, July 1992, pp 624-630.
4. Sahinoglu, M. Alternative parameter Estimation Methods for the Compound Poisson Software Reliability Model with Clustered Failure Data., STVR (J. Software Testing Reliability and Verification) Vol. 17, March 1997, pp 35-57.
5. Sahinoglu, M., Al-Khalidi, A., A Bayesian Stopping Rule for Negative Binomial Distribution, Proceedings of III. National Econometrics and Statistics Symposium, Uludag Univ., Uludag-Bursa, May 1997, pp 29-30
6. Sahinoglu, M. Al-Khalidi, A, A Bayesian Stochastic Stopping Rule for a Compound Poisson LSD Distribution and Application to Software Testing, ISBA Meeting - Satellite to ISI-97, Aug.1997, pp 16-18
7. Sahinoglu, M. , Al-Khalidi, A., A Stopping Rule for Time-Domain Software Testing, Proceedings of ISSRE99, Boca Raton, Oct. 1999, pp. 11-12
8. Randolph, P., Sahinoglu, M., A Compound Poisson Stopping Rule. J. Applied Stochastic Models and Data Analysis, Vol. 11, June 1995, pp 135-143
9. th International Symposium on High-Assurance Systems Engineering (HASE1999), Washington D.C., Nov. 1999, pp 249-256
10. Chen T., Sahinoglu M., Mayrhauser, A., Hajjar, A., Anderson C., Achieving the Quality of Verification for Behavioral Models with Minimum Effort, Proceedings of the 2000 IEEE 1st International Symposium on Quality Electronic Design, San Jose, March 2000, pp.234-239