基于规格说明的测试相关论文
直接从含有层次和并发结构的UML statecharts图产生面向对象软件类的测试用例是比较困难的，文中提出了基于UML statecharts图的测试......
由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软......
对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是......
在基于规格说明的测试中错误类型之间的关系不仅可以解释一些测试方法的实验结果,而且还可设计出更加有效的测试用例。讨论了几种......
直接从含有层次和并发结构的UML statecharts图产生类的测试用例是比较困难的.提出了一种从UML statecharts图产生测试用例的方法:......
