基于规格说明的测试相关论文
直接从含有层次和并发结构的UML statecharts图产生面向对象软件类的测试用例是比较困难的，文中提出了基于UML statecharts图的测试......
由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软......
对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是......
Web应用的质量保证是Web应用开发的一个关键问题和研究热点,而测试是保证Web应用质量的一种重要途径。与传统的软件相比,Web应用更......
直接从含有层次和并发结构的UML statecharts图产生类的测试用例是比较困难的.提出了一种从UML statecharts图产生测试用例的方法:......
