类级测试相关硕士博士期刊学术论文 - 搜论网

类级测试相关论文

面向对象类级的一种变异体及其相应的测试充分性

本文旨在根据陈火炎教授提出的具有形式化基础的通过属性变换与方法变换生成面向对象类级变异体的概念和思想,将变异分析与变异测......

学位

面向对象技术变异测试类级测试程序错误生成变异体程序类级变异体

基于Petri网的软件测试模型的构造及其建模工具的研究

随着面向对象的软件开发技术的迅速发展和应用,面向对象的测试技术成为研究的热点问题。在面向对象软件中,由于类之间消息传递的复......

学位

Petri网 UML状态图类Petri网模型可达树

看过本文同时还关注