首页/ 广东嘉泰智能技术有限公司/ 专利详情

一种状态机设置方法及系统

基本信息

申请号 CN201911345178.9 申请日 -
公开（公告）号 CN111143141A 公开（公告）日 2020-05-12
申请公布号 CN111143141A 申请公布日 2020-05-12
分类号 G06F11/22;G06F11/263;G06F11/36 分类 计算；推算；计数;
发明人 黄燕平;吴富林;冯光展 申请（专利权）人 广东嘉泰智能技术有限公司
代理机构 北京细软智谷知识产权代理有限责任公司 代理人 广东嘉泰智能技术有限公司
地址 510000 广东省广州市黄埔区科学大道247号第11层
法律状态 -

摘要

摘要 本申请公开了一种状态机设置方法及系统。在该方法中，获取用户输入的状态机的信息，状态机的信息包括处理器的至少两种状态、每种状态的触发条件以及实时性要求；根据状态机的信息生成用于实现该状态机的程序；将所述程序应用于测试环境的处理器中并进行测试；根据测试结果生成测试报告，并将所述测试报告展示给用户，该测试报告能够反映测试结果是否满足用户的实时性要求。上述方法能够实现对进行状态机的设置、测试，由于在设置状态机时设置了对状态转换的时间要求，因此测试时对用户设置有时间要求的转换过程进行计时，验证当前设置的状态机能否满足用户对实时性的需求，从软件方面保证了硬实时性。