Методы верификации программного обеспечения

on use for process improvement and process capability determination. Geneva, 
Switzerland: ISO, 2004.
[48] ISO/IEC 15504-5 Information technology — Process assessment — Part 5: An 
exemplar Process Assessment Model. Geneva, Switzerland: ISO, 2006.
[49] 
http://www.sqi.gu.edu.au/spice/contents.html
. 
[50] Capability Maturity Model Integration (CMMI), Version 1.1. CMMI for Systems 
Engineering, Software Engineering, Integrated Product and Process Development, and 
Supplier Sourcing (CMMI-SE/SW/IPPD/SS, V1.1). Continuous Representation. SEI 
Technical Report CMU/SEI-2002-TR-011, Software Engineering Institute, Pittsburgh, 
March 2002. 
http://www.sei.cmu.edu/pub/documents/02.reports/pdf/02tr011.pdf
. 
[51] Capability Maturity Model Integration (CMMI), Version 1.1. CMMI for Systems 
Engineering, Software Engineering, Integrated Product and Process Development, and 
Supplier Sourcing (CMMI-SE/SW/IPPD/SS, V1.1). Staged Representation. SEI 
Technical Report CMU/SEI-2002-TR-012, Software Engineering Institute, Pittsburgh, 
March 2002. 
http://www.sei.cmu.edu/pub/documents/02.reports/pdf/02tr012.pdf
. 
[52] IEEE 1028 Standard for Software Reviews. New York: IEEE, 1998. 

---

101 
[53] IEEE 1044 Standard Classification for Software Anomalies. New York: IEEE, 1993. 
[54] IEEE 1044.1 Guide to Classification for Software Anomalies. New York: IEEE, 1995.
[55] BS 7925-2 Standard for Software Component Testing. Working Draft 3.4, British 
Computer Society, 2001. 
http://www.testingstandards.co.uk/Component%20Testing.pdf
. 
[56] B. Boehm, V. Basili. Software Defect Reduction Top 10 List. IEEE Computer, 
34(1):135-137, January 2001. 
[57] L. E. Deimel, S. Rifkin. Applying Program Comprehension Techniques to Improve 
Software Inspections. The Software Practitioner 5(3):4-6, May-June 1995. 
[58] T. Gilb, D. Graham. Software Inspection. Addison-Wesley, 1993. 
[59] A. Porter, H. Siy, L. Votta. A Review of Software Inspections. University of Maryland at 
College Park, Technical Report CS-TR-3552, 1995. 
[60] O. Laitenberger. A Survey of Software Inspection Technologies. In Handbook on 
Software Engineering and Knowledge Engineering, v. 2, pp. 517-555. World Scientific 
Publishing, 2002. 
[61] Y. K. Wong. Modern Software Review: Techniques and Technologies. IRM Press, 2006. 
[62] E. P. Doolan. Experience with Fagan's inspection method. Software: Practice & 
Experience, 22:173-182, 1992. 
[63] C. Kaner. The Performance of the N-Fold Requirement Inspection Method. 
Requirements Engineering Journal, 2(2):114-116, 1998. 
[64] 
http://research.microsoft.com/slam/
. 
[65] T. Ball, E. Bounimova, B. Cook, V. Levin, J. Lichtenberg, C. McGarvey, B. Ondrusek, 
S. K. Rajamani, A. Ustuner. Thorough Static Analysis of Device Drivers. In Proc. of 
EuroSys 2006, ACM SIGOPS Operating Systems Review, 40(4):73-85, October 2006. 
[66] 
http://chacs.nrl.navy.mil/personnel/heitmeyer.html
. 
[67] C. Heitmeyer, M. Archer, R. Bharadwaj, R. Jeffords. Tools for constructing 
requirements specifications: The SCR toolset at the age of ten. Journal of Computer 
Systems Science and Engineering, 20(1):19-35, January 2005. 
[68] J. Barnes with Praxis Critical Systems Ltd. High Integrity Software. The Spark 
Approach to Safety and Security. Addison-Wesley, 2003. 

---

102 
[69] A. Gupta. Formal Hardware Verification Methods: A Survey. Formal Methods in 
System Design, 1:151-238, 1992. 
[70] C. Kern, M. Greenstreet. Formal Verification in Hardware Design: A Survey. ACM 
Transactions on Design Automation of Electronic Systems, 4:123-193, April 1999. 
[71] C. Jacob, C. Berg. Formal Verification of the VAMP Floating Point Unit. Formal 
Methods in System Design, 26(3):227-266, Springer Netherlands, 2005.
[72] M. Prasad, A. Biere, A. Gupta. A Survey of Recent Advances in SAT-Based Formal