At present, there is still lack of detailed software V&V guidance standards in China, while a number of US nuclear power units and I&C platform are introduced and applied. So the software verification and validation work in our country usually cited the methods in IEEE 1012. With reference to the requirements of IEEE 1012, the V&V process of the software can be mainly divided into three forms: audit evaluation, special analysis and testing. This paper focuses on these parts and gives a detailed description and annotations of the technical methods and their life cycle stages in IEEE 1012, which cover multiple V&V phases. At the same time, the author puts forward his own understanding of the special analysis approach and procedure, such as criticality analysis, interface analysis, traceability analysis, hazard analysis, risk analysis and security analysis, and gives his own experience and related recommendations.
SkillVet: Automated Traceability Analysis of Amazon Alexa Skills
