会议摘要
嵌入式系统的开发需要多种软件工具的支持，验证活动在开发过程中所占比重超过60%。在验证过程中，功能验证的主要目的是为了检查系统设计是否符合需求，然而却很少有工具能够对功能性需求本身进行验证。在典型的软件工程中，40%到60%的设计问题都是由于错误的需求产生的——之后需求规格需重新定义、代码要重写，然后又要重新调试——这些都要付出高昂的代价。
在实践中，需求规格说明几乎都是使用自然语言表述，并且通过人工进行检查。需求中很多模糊和错误的地方往往在确认测试阶段才被发现。我们都知道，错误越晚被检查出来，修正错误的成本就会越高。当需求说明或者合同中涉及第三方时，情况会更加复杂。现有诸多需求管理及需求追踪软件都无法验证需求，缺乏实用的需求验证工具是这种情况产生的主要原因。
stimulus带来全新的凯发娱乐登录的解决方案——功能性的实时需求的早期验证和确认。stimulus使用一种高级的、基于约束的、实时的近自然语言来表述需求，使用基于约束的求解器来仿真需求，生成并分析满足约束的执行迹线。通过将“是什么”可视化，在开始设计阶段之前，就能够发现模糊的、不正确的、缺失的、或者不完整的需求。并且能够自动生成满足需求覆盖率的的测试用例用于验证最终的系统实现。
参会流程
1.时间
2017年3月16日（周四） 14:00-15:30
2.参会方式
a：电脑端参会
进入恒润凯发娱乐登录官网（www.hirain.com），经由凯发娱乐登录官网下方导航“用户社区-在线研讨会”进入直播报名界面，点击本主题下的“直播报名”，显示“报名成功”即可参会（首次参会客户还请先完成会员注册，注册成功后再点击“直播报名”）。参加直播时，登录凯发娱乐登录官网会员账号即可点击进入直播间参会。
b：手机端参会
点击本文下方“阅读原文”进入登录界面。
名称：请输入在恒润凯发娱乐登录官网上会员注册认证的邮箱地址（新用户请先参照电脑端参会指南完成恒润凯发娱乐登录官网会员注册认证）
直播口令：720377
3. 在线抽奖
会后在线提交调查问卷者，均可参加现场抽奖！小米空气净化器、恒润科技高级记事本、工具包国内免费邮寄哦！
如果您感觉该主题还不错，请帮忙转发给您的好友，参会有惊喜！