软件测试ST03 Logic Coverage ppt课件.ppt

文档介绍：软件测试与质量保证申明:本课件是在原书作者课件基础上编制,仅用于课堂教学,不得用于任何商业目的的活动。:overageFourStructuresforModelingSoftware6ppt课件第三章:efrommanysourcesDecisionsinprogramsFSMsandstatechartsRequirementsTestsareintendedtochoosesomesubsetofthetotalnumberoftruthassignmentstotheexpressions8ppt课件覆盖逻辑表达式逻辑表达式出现在许多情况下美国联邦航空管理局的安全性至关重要的软件标准要求覆盖逻辑表达式逻辑表达式可以有多种来源决策程序FSMs和状态图需求测试的目的是选择事实总数中的一些子集分配到表达式9ppt课件LogicPredicatesandClausesApredicateisanexpressionthatevaluatestoabooleanvaluePredicatescancontainbooleanvariablesnon-booleanvariablesthatcontain>,<,==,>=,<=,!=booleanfunctioncallsInternalstructureiscreatedbylogicaloperators¬–thenegationoperator–theandoperator–theoroperator–theimplicationoperator–theexclusiveoroperator–theequivalenceoperatorAclauseisapredicatewithnologicaloperators10ppt课件