机译:安全状态UML:使用UML状态机对软件系统的安全问题进行建模和测试
机译:安全状态UML:使用UML状态机对软件系统的安全问题进行建模和测试
机译:安全状态UML:使用UML状态机对软件系统的安全问题进行建模和测试
机译:从UML模型中获取软件统计测试模型
机译:不同的统计测试,以评估一部分软件可靠性模型的有效性。
机译:基于UML的软件开发中的可靠性建模和评估
机译:基于UML的航空电子软件仿真测试系统建模语言
机译:统计方法的软件测试:基于二项模型,覆盖设计,变异测试和使用模型的方法的初步成功估计