本发明涉及一种基于复杂系统的测试建模及测试用例的自动生成方法，属于软件测试自动化技术领域。本发明包括步骤：构建活动图节点、构建SpecMap描述方式、生成的CAR图例子、定义和产生测试数据、对SpecMap界面改造、构建脚本自动化、对接...

本发明涉及一种模块灰盒行为规格说明和灰盒测试用例设计方法，属于计算机软件工程技术领域。其解决了现有黑盒测试测试用例过多、测试效率低下的问题。本发明包括：引入灰盒行为规格说明:被测模块内部成员变量是成员函数作的输入输出，依此输入输出关系划...

本发明公开了一种软件行为模型面向对象建模方法，步骤如下：收集软件待测接口；使用日常语言或者形式化语言，为接口确定合适的面向对象描述的抽象水平；给接口的待测对象命名；给待测对象变量命名；依照软件设计和需求对变量的值做等价类划分；给对象待测...

本发明涉及软件图形用户人机接口测试用例的自动生成方法，属于软件的检验检测技术领域。其解决了现有书写测试用例方法存在的费时费力费钱问题。本发明提出了“条件-行动-预期结果”概念，包括以下步骤：规定计算的路径起点为系统启动；终点为系统退出；...