公开(公告)号：CN103425472A

公开(公告)日：2013-12-04

申请号：CN201210162008.9

申请日：2012-05-23

Applicant: 上海计算机软件技术开发中心

Inventor： 蔡立志 ,  刘振宇 ,  陈文捷 ,  胡芸 ,  刘攀

IPC: G06F9/44 ,  H04L29/08

Abstract: 本发明公开了一种基于云计算的软件测试环境动态生成系统，包括：请求与反馈模块；全局控制模块；测试环境动态调度模块；测试环境模板库；测试环境资源监控模块；云端软件测试环境模块。本发明通过云计算中的虚拟化技术，实现测试环境的动态生成、快速生成及可复用，使用户可以按需远程搭建测试环境，不必购买数量庞大的计算机以及在搭建软件测试环境上投入过多精力，从而达到了降低测试成本、提高测试效率的目的。本发明还公开了一种基于云计算的软件测试环境动态生成系统的实现方法。

公开(公告)号：CN104636200A

公开(公告)日：2015-05-20

申请号：CN201310567625.1

申请日：2013-11-14

Applicant: 上海计算机软件技术开发中心 ,  上海商学院 ,  上海市信息网络有限公司

Inventor： 刘攀 ,  蔡立志 ,  刘振宇 ,  胡芸 ,  傅志仁 ,  廖文昭 ,  杨卉 ,  周伟 ,  郑阳

IPC: G06F9/50 ,  G06F9/46

Abstract: 本发明公开了一种计算机多进程公平调度的方法，包括以下步骤：步骤一：从进程集中取出进程组成调度集，将进程集中未被调度的进程组成后备调度队列；步骤二：判断进程调度请求是否结束，如未结束执行下一步骤，否则调度结束；步骤三：对调度集进行调度；步骤四：将调度集中调度后的进程转移到后备调度队列的队尾；步骤五：清空调度集；步骤六：从后备调度队列中选取进程组成调度集，并跳转至步骤二。本发明通过集合运算操作，构造进程的调度集和后备调度队列，实现计算机处理器对多进程的公平调度，避免了进程并发调度时的死锁发生，提高了计算机处理器对并发进程的调度能力。

公开(公告)号：CN104636200B

公开(公告)日：2019-03-29

申请号：CN201310567625.1

申请日：2013-11-14

Applicant: 上海计算机软件技术开发中心 ,  上海商学院 ,  上海市信息网络有限公司

Inventor： 刘攀 ,  蔡立志 ,  刘振宇 ,  胡芸 ,  傅志仁 ,  廖文昭 ,  杨卉 ,  周伟 ,  郑阳

IPC: G06F9/50 ,  G06F9/46

Abstract: 本发明公开了一种计算机多进程公平调度的方法，包括以下步骤：步骤一：从进程集中取出可进行并发调度的进程组成调度集，将进程集中未被调度的进程组成后备调度队列；步骤二：判断进程调度请求是否结束，如未结束执行下一步骤，否则调度结束；步骤三：对调度集进行调度；步骤四：将调度完成的进程进入后备调度队列的队尾；步骤五：清空调度集；步骤六：从后备调度队列中选取进行并发调度的进程组成新调度集，并跳转至步骤二。本发明通过集合运算操作，构造进程的调度集和后备调度队列，实现计算机处理器对多进程的公平调度，避免了进程并发调度时的死锁发生，提高了计算机处理器对并发进程的调度能力。

公开(公告)号：CN106681702A

公开(公告)日：2017-05-17

申请号：CN201510759945.6

申请日：2015-11-10

Applicant: 上海计算机软件技术开发中心 ,  上海商学院 ,  上海市信息网络有限公司

Inventor： 刘攀 ,  蔡立志 ,  刘振宇 ,  胡芸 ,  傅志仁 ,  廖文昭

IPC: G06F9/44

CPC classification number: G06F8/10

Abstract: 本发明公开了一种将有限自动机中的循环转换为正则表达式的方法，主要解决了传统方法无法将有限自动机中的复杂循环转换为正则表达式的问题。其步骤是：步骤一：识别有限自动机中的所有循环，包括自循环和间接循环；步骤二：为自循环和间接循环构造新的迁移条件序列；步骤三：若循环是为自循环，则直接删除循环上的状态和迁移条件；若循环为间接循环，则删除除循环初始状态外的所有状态和相关的迁移条件；步骤四：将新的迁移条件序列加入到有限自动机中；步骤五：输出不带循环的有限自动机。本发明能被应用于软件行为建模、基于模型的测试、硬件电路系统设计、软件工程、编译器、网络协议和计算与语言的研究等领域，显著地提高计算机处对含有复杂循环的有限自动机的处理能力。

公开(公告)号：CN103425472B

公开(公告)日：2016-08-24

申请号：CN201210162008.9

申请日：2012-05-23

Applicant: 上海计算机软件技术开发中心

Inventor： 蔡立志 ,  刘振宇 ,  陈文捷 ,  胡芸 ,  刘攀

IPC: G06F9/44 ,  H04L29/08

Abstract: 本发明公开了一种基于云计算的软件测试环境动态生成系统，包括：请求与反馈模块；全局控制模块；测试环境动态调度模块；测试环境模板库；测试环境资源监控模块；云端软件测试环境模块。本发明通过云计算中的虚拟化技术，实现测试环境的动态生成、快速生成及可复用，使用户可以按需远程搭建测试环境，不必购买数量庞大的计算机以及在搭建软件测试环境上投入过多精力，从而达到了降低测试成本、提高测试效率的目的。本发明还公开了一种基于云计算的软件测试环境动态生成系统的实现方法。