软件工程基础复习_7

第7章软件测试 软件验证是通过检查和提供客观证据表明软件已经满足规定的需求，是确保软件质量和降低软件成本的重要手段，进行软件验证的方式有两种测试和证明， 软件测试又可以分为两类，静态测试和动态测试，静态测试又称评审，是对软件进行的一种分析和检查活动，动态测试是通过运行软件来检验其动态行为和运行结果的正确性， 软件证明，软件证明是一种通过形式化的数学方法来确保软件正确性的活动， 7.0序言， 软件测

>>阅读原文<<