【技术实现步骤摘要】
一种基于状态机的PLC软件测试用例生成方法和系统
[0001]本专利技术属于软件测试
，更具体地，涉及一种基于状态机的PLC软件测试用例生成方法和系统。
技术介绍
[0002]有别于普通工控环境，舰载装备结构复杂、信号多样、运行环境恶劣、空间受限、防电磁干扰和病毒侵入要求高。多数舰载装备要求具有实时性和高可靠性，一旦崩溃，可能造成严重后果。可编程逻辑控制器(Programmable Logic Controller，简称为PLC)具有高可靠性、稳定性、控制方便的特点，在舰船装备控制领域的应用越来越广泛。因此，设计PLC软件测试用例并发现软件运行过程中的缺陷成为了当前软件测试
的新课题。
[0003]当前设计PLC软件测试用例主要依赖传统测试用例设计方法，通过对需求文档进行功能点分解，测试人员凭借主观分析和经验设计测试用例，很难完全覆盖状态转换、功能联动、故障处理的所有条件分支和其他隐含测试需求，测试充分性无法保证。
[0004]另一方面，PLC软件功能点之间存在内在联系，传统测试用例设计方法未在系...
【技术保护点】
【技术特征摘要】
1.一种基于状态机的PLC软件测试用例生成方法，其特征在于，包括如下步骤：(1)PLC软件测试需求提取步骤：对软件开发文档进行分析，得到软件需求，对所述软件需求的关键内容自动提取，得到软件测试需求，根据得到的软件需求和软件测试需求，在数据库中建立软件需求表和测试项表；(2)PLC软件状态机建模步骤：根据PLC软件状态机包含的所有状态、各状态的转换条件以及满足转换条件后所述各状态的达到状态，构建PLC软件状态机转换模型，并将PLC软件状态机模型中各状态进行标识后和测试项表中对应测试项进行关联；(3)PLC软件测试用例自动生成步骤：将PLC软件状态机模型中各状态的输入按照给定的测试策略生成测试驱动数据，根据所述各状态的测试驱动数据和所述各状态的转换条件生成测试用例，并将所述各状态的测试用例保存在测试项表中对应的测试项下面。2.如权利要求1所述的一种基于状态机的PLC软件测试用例生成方法，其特征在于，所述PLC软件测试需求提取步骤中对所述软件需求的关键内容自动提取，得到软件测试需求，具体为：对软件需求使用关键词进行搜索，所述关键词包括：功能、接口、性能、安全性、工作模式，并使用模糊匹配算法实现对包含关键词的内容自动提取，得到软件测试需求。3.如权利要求1所述的一种基于状态机的PLC软件测试用例生成方法，其特征在于，所述PLC软件测试需求提取步骤中在数据库中建立软件需求表和测试项表，具体为：在数据库中创建的软件需求表和测试项表，所述软件需求表包括：软件需求序号，软件需求标识，软件需求描述、测试需求标识、测试需求描述；测试项表包括：测试项序号，测试项标识、测试项描述、测试需求标识、状态标识；其中，软件需求表和测试项表通过测试需求标识进行关联。4.如权利要求1所述的一种基于状态机的PLC软件测试用例生成方法，其特征在于，所述PLC软件测试需求提取步骤，还包括：数据库中建立的软件需求表和测试项表包含操作界面，所述操作界面支持对软件需求表和测试项表进行增加、修改、删除操作。5.如权利要求1所述的一种基于状态机的PLC软件测试用例生成方法，其特征在于，所述PLC软件状态机建模步骤，具体为：从软件开发文档中提取PLC软件状态机包含的所有状态、各状态的转换条件以及满足转换条件后所述各状态的达到状态，采用星形或者环形构建PLC软件状态机转换图；对所述各状态的转换条件进行标注，所述标注包括所述各状态实现状态转换需要输入的外部信号和中间变量，以及实现转换后输出的外部信号和中间变量，将相邻的两个状态的输入的中间变量和输出的中间变量进行逻辑关联，即：当前状态输出的中间变量作为下一状态输入的中间变量；根据所述PLC软件状态机转换图中各状态之间的转换关系以及转换条件，构建PLC软件状态机转换模型，所述PLC软件状态机转换模型可以使用一个四元组进行表示，所述四元组包括：PLC软件状态机的状态集合、PLC软件状态机的初始状态、PLC软件状态机中间变量集合、PLC软件状态机转换条件集合，将PLC软件状态机模型中各状态进行标...
【专利技术属性】
技术研发人员：余良将，朱程宏，夏晖，林欣堂，李靖，周奇，
申请(专利权)人：中国船舶重工集团公司第七零九研究所，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。