To this end, people raise a series of concepts and theories like software reliability, software verification, software quality assurance, software testing and etc. 为此,人们提出了软件可靠性、软件验证、软件质量保证、软件测试等一系列概念和理论。
Furthermore, we design an UML-based software testing and verification environment based on the researches of UML testing and verification, and implement the prototype. 此外,根据我们对UML测试和验证的研究成果,设计了一个基于UML的软件测试和验证环境的体系结构,并实现了原型系统。
A model-based embedded software production line should integrate model based development tools and other correlative tools, and hence, it covers the entire development process of embedded software, such as modeling, simulation, verification, code generation and testing. 而一个基于模型的嵌入式生产线开发环境,应该是集成模型开发工具和其他相关工具,包含了建模、模型仿真验证、代码生成、测试等嵌入式软件开发的全过程。
Web services ( WS ) implement SOA, but traditional software verification and validation ( V & V ) techniques cannot satisfy the new challenges in WS testing. Web服务是SOA的一种具体实现,但传统的校核与验证(V&V)技术无法满足Web服务测试的新挑战。