安全级软件验证与确认中测试技术分析-analysis of testing techniques in verification and validation of security-level software.docxVIP

验证了保护系统能够正确实现典型的仪控功能。关键词：安全级软件，验证与确认，需求验证，软件测试，硬件验证，系统确认TESTINGTECHNIQUESOFVERIFICATIONVALIDATIONFORSAFETY-RELATEDSOFTWAREABSTRACTItisthenationalenergystrategytoactivelydevelopnuclearpowerindustry.Nucleardigitalinstrumentcontrolsystemespeciallythedigitalprotectionsystem(safety-relatedcontrolsystem)isthekeyequipmentwhichmaintainsthesafe,reliableandeconomyoperationofnuclearpowerplant.BecauseofforeigntechnologymonopolyofnucleardigitalICsystem,theindependentRDofnucleardigitalprotectionsystemisofgreatimportanceinimprovingtheenterprisetechnologyinnovation.Thispaperresearchesonthetestingtechniquesofverificationandvalidationforsafety-relatedsoftware,focusingonthesafetyinstrumentandcontrolfunctionsoftwareaswellashardwareprogram,themainworkisdoneasfollows:1．Readstandardsandguidelineswithrespecttonuclearsoftwareverificationvalidation,thenanalyzethewholelifecycleofsafety-relatedsoftwareverificationvalidation.2．Analyzethesystemrequirementsoftypicalsafetyfunctionsoftware,userequirementmanagementtooltocreatearequirementdatabaseandmanagetherequirementinformation,andthenimplementtherequirementverificationtothetypicalmodulesoftherequirementdatabase,onthebasisofatraditionalrequirementverificationmethod.3．Analyzethecharacteristicsoftheapplicationprogramsinthereactorprotectionsystem,andusewhite-boxingtestingaccordingtothefunctionmoduleandblack-boxingtestingaccordingtothefunctionsoftwareofthetypicalsafetyinstrumentandcontrolsystem.4．Makeuseofthemodelcheckingtheoryintheverificationofthereactorprotectionsystemhardwareprogram,inordertomakesurethatthehardwareplatformbewellrealized.5．Inthefinal,implementthevalidationtestingtotheinstrumentandcontrolfunctionofthereactorprotectionsystemprototype,validatethemainprotectionfunction.KEYWORDS:verificationandvalidation,requirementverification,softwaretesting,hardwaretesting,systemvalidation目录摘要................................................................................................................................................................