一种基于需求规约的谓词测试用例生成方法

软件失效多数由其包含的谓词引发.本文针对特定的故障模型,提出一种基于需求规约的谓词测试用例生成方法.该方法从需求规约中提取出因果图,再将因果图转换为谓词,再由BRO算法生成测试约束集,最后将生成测试用例集.实例分析表明,方法能有效生成测试用例集,并满足相应的测试谓词准则.     

电能表信息管理与通信配置检测系统设计与实现

建立了基于C/S结构的电能表基本信息和通信配置信息管理系统.采用基于动态链接库的电能表通信规约库和基于多线程的通信配置检测软件,实现了关口电能表信息的统一管理和现场通信配置检测,为电能表的管理、安装以及现场维护提供了有效的工具和手段,大大提高了关口电能表信息管理和检测的效率.     

罗马法学家视角下的法律观探析

罗马法学家在罗马法律体系中发挥了关键的作用.罗马法学家对政治法律问题的思考带有明显的务实取向,他们关于自然法、市民法与万民法的区分以及法与正义之间关系的论述呈现出斯多葛哲学的理论路向.罗马法学家以法律制度内部秩序的统一性、有机性和连续性为前提,构建了精致的法律分析体系,造就了实质的法律文化.罗马法学家的思想中蕴含着罗马...     

技术风险的生成与治理——以计算机漏洞为例

现代技术在服务社会的同时也孕育着重大风险,通过对计算机漏洞的分析能够深刻揭示技术风险的分类、成因及治理等问题.技术风险客观存在于技术应用过程之中,包括有无法避免的本体性风险,由于不当操作产生的主体性风险,转化为军事应用后形成的政治性风险.技术风险的成因包括人的认知能力的局限性,受资本支配的应用逻辑,以及政治社会因素的影...     

形式化方法和对象技术的结合途径研究

本文首先给出形式化方法概述,并介绍两种分别代表面向模型和面向性质的形式规约语言Ｚ和Ｌａｒｃｈ。然后,重点讨论形式化方法与面向对象技术的结合。     

基于证据推理及评估用例的信息系统安全评估模型

为了实现信息系统安全评估的规范准确,根据评估过程的实际需要,在《信息系统安全保障评估框架》标准基础上建立了证据推理模型,把系统的安全等级、评估规约、直接证据融合入模型之中。引入软件测试理论中测试用例的概念构造评估用例,定义了安全指标的3种类型,提出了基于这3种类型的评估规则,最后给出了模型的实现方式。从实例分析可以看出,该评估方法提高了评估工作的规范性,减少了人为因素对评估结果的影响。     

浅谈在电力市场下的发电调度问题

结合我国电力市场建设的实际,分别针对全电量竞价模式和部分电量竞价模式分析了竞价开机、合同开机2种机组开停机规约;为协调发、购电双方的利益要求,提出了根据竞价机组可用发电量的比例或竞价上网电量的比例等2种在发电公司(厂)内部分配各竞价机组合同电量的方法;为协调边际机组间的边际负荷分配问题,提出了比例分配法、依次分配法2种分配边际负荷的基本方法;根据机组发电计划的组成特点,提出并分析了日合同计划不可调、日合同计划可调2种机组发电计划调整规约。     

函数—规约混合语言的设计与实现

在函数式语言中引入约束类型和优化规则定义机制，并将扩展的函数式语言与代数规约说明语言相结合，支持从规约到程序的设计，并提高编程的效率及灵活性，混合语言系统将代数规约转换为合流的重写系统，将函数定义，计算约束和优化规则视重为规则，基于重写模型，以平行最外方法辅以必要归约进行计算。     

移动终端满文输入的实现

为更好地整理、挖掘、保护和利用大量的满文历史资料,方便人们使用移动终端设备进行满文交流,实现了基于OpenType字库和Unicode编码的满文罗马转写输入法.根据满族文字特点,在移动终端上设计满文输入的软、硬键盘两种布局,提出一键多符和两键确定输入的硬键盘满文输入法,并给出满文输入信息处理和正确显示的关键流程.在实际...     

纵览人类历史追溯体育本意——《运动通史》作者Wolfgang Behringer 教授学术访谈录

Wolfgang Behringer 是德国萨尔大学历史系教授，长期从事历史学研究，一次偶然的机会促使他写一本运动通史，又是很偶然的机会，该书被中国的出版社选中译成了中文，于是就有了《运动通史——从古希腊罗马到 21 世纪》中文版。《运动通史》在 2015 年出版后，先后被多家媒体关注和介绍。该书第一次完整串起体育与人类社会发展史，讲述了各个文明在历史长河中创造的千奇百怪的运动故事，与其背后的文化历史的关系，让人们读到了体育背后丰富的历史。Wolfgang Behringer教授以史学的视角来解读体育本意、解释体育历史，他启发着我们从另外的角度去思考体育，更启迪着我们用史学方法，把体育史的研究变得“生动”起来。