于全喜 朱伟 杨凯峰 胡燕京 张彤 程纪元 邓晶晶 苏荟 陈乔 夏辉 曹晋阳 施凤鸣 崔杜武

事件触发同步 无线传感器网络 UML 面向对象软件簇级测试 制造执行系统 低功耗 时间同步 测试用例 多态性 组件 面向对象 功能路径测试用例 累计时延 状态图 合约检查 测试体系架构 基于状态的测试 有限状态机 动态绑定 集成测试 功能点 嵌入式软件 UML顺序图

西安理工大学计算机科学与工程学院 陕西西安 西安财经学院信息学院 武警工程学院电子技术系