测试用例自动生成论文

基于模型检测的UML一致性检验与测试用例生成
论文摘要随着计算机软件应用的深入，人们对软件的质量和可靠性提出了更高的要求，通常采用系统建模和软件测试来保障。模型检测作为一种形式化的验证技术，有着自动化和提供反例等诸多优点。...
基于代码植入技术的嵌入式软件测试
论文摘要随着嵌入式系统的应用范围不断扩大,嵌入式软件的测试越来越受到重视。本文关注于嵌入式软件的自动化测试,应用测试用例自动生成技术和代码植入技术设计了一套应用于嵌入式软件自动...
软件测试用例自动生成技术研究
论文摘要软件测试的工作量很大,据统计,测试时间会占到总开发时间的40%,一些可靠性要求非常高的软件,测试时间甚至占到开发周期的60%。由于测试的许多过程是重复性的,因此一些软件...
基于UML statecharts测试方法的研究
论文题目:基于UMLstatecharts测试方法的研究论文类型:博士论文论文专业:控制理论与控制工程作者:占学德导师:缪淮扣关键词:形式化语义,模型,基于规格说明的软件测试,...