A method combining review and testing for verifying software systems

BioMedical Engineering and Informatics: New Development and the Future - Proceedings of the 1st International Conference on BioMedical Engineering and Informatics, BMEI 2008

Volumn 2, Issue , 2008, Pages 813-817

  Chen, Yuting ^a   Liu, Shaoying ^b   Wong, W Eric ^a  

^a The University of Texas at Dallas   (United States)

^b HOSEI UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; BIOMEDICAL ENGINEERING; BIOPHYSICS; SPECIFICATIONS;

FORMAL PROOFS; FUNCTIONAL REQUIREMENT; PROGRAM STRUCTURES; PROGRAM VERIFICATION; SOFTWARE SYSTEMS; VIEW-BASED;

BLACK-BOX TESTING;

EID: 51649126791     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/BMEI.2008.332     Document Type: Conference Paper

References (15)

1. B. Beizer. Black Box Testing-Techniques for Functional Testing of Software and Systems. John Wiley & Sons, Inc., New York, 1995.
2. F. D. Gregory. Software Formal Inspections Standard. Technical Report NASA-STD-2202-93, NASA Office of Safety and Mission Assurance, Washington, D.C., USA, Apr. 1993.
3. M. Frappier, S. Matwin, and A. Mili. Software Metrics for Predicting Maintainability. Technical report, Canadian Space Agency, 1994.
4. S. Liu, "Integrating Specification-Based Review and Testing for Detecting Errors in Programs", In Proceedings of the 9th International Conference on Formal Engineering Methods (ICFEM'07), LNCS, Boca Raton, USA, November 2007. Springer-Verlag.
5. S. Liu. Formal Engineering for Industrial Software Development Using the SOFL Method. Springer, Germany, 2004.
6. Y. Chen, S. Liu, and F. Nagoya. A Tool-Supported Review Approach to Detecting Structural Consistency Violations. In Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06), pages 121-130, USA, Aug. 2006. IEEE Computer Society Press.
7. Y. Chen and S. Liu. An Approach to Detecting Domain Errors Using Formal Specification-Based Testing. In Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC'04), pages 276-283, Korea, Nov. 2004. IEEE Computer Society Press.
8. Y. Chen, S. Liu, and F. Nagoya. An Approach to Integration Testing Based on Data Flow Specifications. In Proceedings of the First International Colloquium of Theoretical Aspects of Computing (ICTAC'04), pages 235-249, Guiyang, China, Sept. 2004. Springer.
9. D. L. Parnas and M. Lawford. The Role of Inspection in Software Quality Assurance. IEEE Transactions on Software Engineering, 29(8):674-676, August 2003.
10. IEEE. 1028-1997 IEEE Standard for Software Reviews, 1997.
11. B. Beizer. Software Testing Techniques. Van Nostrand Reinhold, 1990.
12. D. C. Ince and S. Hekmatpour. An Empirical Evaluation of Random Testing. The Computer Journal, 29(4):380, 1986.
13. B. Jeng and E. J. Weyuker. A Simplified Domain-Testing Strategy. ACM Transactions on Software Engineering and Methodology, 3(3):254-270, July 1994.
14. T. Y. Chen and Y.-T. Yu. A More General Sufficient Condition for Partition Testing to be Better than Random Testing. Information Processing Letters, 57(3):145-149, Feb. 1996.
15. A. J. Offutt, S. Liu, A. Abdurazik, and P. Ammann. Generating Test Data from State-based Specifications. Journal of Software Testing, Verification and Reliability, 13(1):25-53, 2003.