曹真
- 作品数：3 被引量：2H指数：1
- 供职机构：上海大学计算机工程与科学学院更多>>
- 发文基金：上海市教育委员会创新基金上海市教育委员会重点学科基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术轻工技术与工程更多>>
- 食品安全可追溯系统研究
- 食品安全可追溯系统应用二维码技术,对食品的原产地、加工地、物流商、经销商等信息进行追踪管理。各级经销者和消费者可以使用二维码扫描枪或手机,快速扫描张贴在食品外包装上二维码图片,追溯查询食品身份信息,使"从产地到最终消费"...
- 贺雪晨曹真
- 关键词：食品安全可追溯系统二维码
- 文献传递
- 面向测试的构件系统模型及测试用例生成方法被引量：2
- 2014年
- 随着面向构件的软件开发方法的广泛应用,构件系统的描述和测试成为保证软件质量的关键所在。由于构件系统的复杂性和开发方法的特殊性,用传统方法对构件系统进行集成测试往往面对很多困难。提出了一种改进的面向测试的构件描述模型,称为TCSM,它着重对构件系统中的构件间的交互和约束进行了动态描述,为构件系统集成测试阶段的功能测试和边界测试等提供了大量可用信息。在此基础上,进一步提出一种把TCSM转换成测试模型的方法,以UML协作图模型为原型,实现了构件系统从描述模型到测试模型的自动转换。最后,实现了一种在所产生的测试模型上自动生成测试用例的算法。TCSM更好地描述了构件的交互行为信息,进一步实现了系统的自动化测试,减少了通常需要在构件系统搭建完成后,针对测试对系统手工建立测试模型的工作,提高了构件系统开发的效率和可靠性。
- 曹真曹旻
- 关键词：测试用例生成
- 基于混合架构的FMM算法硬件加速
- 2012年
- 以高性能计算中的经典问题——多体问题的快速多极子(FMM)算法为例,分析FMM算法的各个步骤,根据计算、通信和存储特性将算法中的子过程归类。在CPU、GPU、FPGA和CELL上分别进行测试,提出执行FMM算法的混合可重构体系结构配置方案,并进一步优化算法,分解任务流。针对不同任务流的特点,提出可行的解决方案。结果证明,该方案可提高算法效率。
- 曹旻李海强曹真
- 关键词：任务流
