基于程序执行状态图的软件测试方法研究

软件测试一直是保证软件质量的最主要的手段之一,多年来人们一直在寻找好的测试方法和测试策略。同时随着图形界面的日益流行,传统的测试方法变得难以适应测试的需要。文章提出了一种基于程序执行状态图PESC的软件测试方法,给出了程序执行状态图的定义,以及相应的覆盖准则。最后,文章介绍了使用PESC逐步生成测试路径的方法。

基于前景理论应急预案处置工序的执行状态优化问题研究

针对突发事件演化发展具有较强不确定性的特点,基于前景理论从微观层面提出一种应急预案处置工序的执行状态优化方法。首先,通过描述突发事件应急决策过程中决策者的心理感知行为并考虑处置工序执行状态选择不当所造成的损失构建损失模型;然后,依据前景理论价值函数和权重函数的思想,计算应急预案处置工序在不同执行状态下的综合前景值,并选取最优值作为工序的执行状态,实现对应急处置工序执行状态的动态优化。最后,通过案例验证所提出方法的可行性与有效性。结果表明,该方法能够在考虑应急决策者的心理行为特征的同时,减少应急处置的损失,最大化应急资源的利用效率,提高应急处置效率和突发事件的应对能力。

应急预案的执行状态优化问题研究

突发事件的发展演变具有极强的不确定性,随着时间的推进,突发事件对应急处置的需求会发生变化,而处于执行过程中的预案,尤其是其中的部分工序可能不再适用,及时地调整预案工序的执行状态对提升整体应急处置效率具有重要意义。针对突发事件应急处置中不确定的应急处置需求,结合应急处置与事件演化的动态博弈特征,从可操作性应急预案的执行工序层面对应急预案的执行状态优化问题进行了研究,解决了特定时刻预案工序的执行状态选择问题,为根据突发事件的实时信息调整可操作性应急预案工序的执行状态提供决策辅助。

状态驱动的可执行业务流程模型的设计与实现

在企业间的流程协同过程中,为了使企业的业务规则管理更灵活,防止企业私有的业务规则暴露给其他企业,并有效地监控流程的执行过程,将业务规则库和Web服务有机地整合,构建状态驱动的可执行业务流程模型(SEBPM)。通过定义抽象业务流和扩展的业务规则,得出业务规则和过程流之间的耦合策略。给出一个SEBPM的具体应用实例。

《会计法》部分条文在高校财务部门的执行状况研究

选取《会计法》中六个条文,分别为总则部分第六条,会计核算部分第十七条,会计监督部分第二十七条、三十三条,会计机构和会计人员部分第三十八、三十九条。分析其在高校中的执行状态和执行环境,并就这六个条文在执行中存在的问题提出健全绩效考评制度、全面清查固定资产、促进部门间信息共享、完善内控制度、严格财务主管筛选条件、加强会计人员培训和整合审查资源等建议。

煤矿信息物理系统执行的忠实性分析

针对现阶段常规系统的忠实性分析方法无法完成煤矿信息物理系统执行的忠实性分析的问题,从系统数据采集、传输、决策和执行状态4个方面,依据信息物理系统的三层体系结构,分别提出了以用户访问频率判断数据采集的忠实性、以超密时间的先后规定数据传输的先后、以不同的系统动作对决策结果影响程度和以多态的执行状态的方法,并对系统执行进行了理论性的忠实性分析。

ODBC中的同步与异步执行模式

1.引言 近年来,随着计算机局域网技术的不断发展,计算机体系结构已经发展到复杂而开放的客户机/服务器模式。对于客户机/服务器应用的开发,现在常用的前端开发工具有:Visual Basic、Delphi、PowerBuilder等。它们可通过ODBC接口访问服务器的SQL Srver数据库服务器。

我们从Simula走了多远?

当今面向对象语言的基本设计思想是源于 Simula 语言的。本文详细介绍了 Simula 语言的面向对象成分,并且与目前典型的面向对象语言作了比较,考察面向对象基本概念和相关技术的演变。希望以此能正确认识面向对象语言发展的现状,明确今后的研究方向。

主动数据库中规则可观察确定性判定问题的一个解决方法

判定规则集的可观察确定性,是主动数据库中的核心问题之一.本文对于数据检索采用了执行状态图,逐步求得每条执行规则对检索结果的影响,最后累积出最终的影响结果,从而确定其可观察确定性.对事务回退操作采用抽象操作符记录动作的执行顺序,通过动作的逆操作实现事务的回退操作.从而实现了规则集可观察确定性的判定.

程控交换机实时操作系统

实时操作系统是程控交换机联机软件的重要组成部分。本文在说明了操作系统基本组成的基础上,分析了在多机分散控制结构中操作系统的功能分配和层次结构,然后着重论述了操作系统对程控交换机应用程序并发执行的管理和支援:进程的控制、调度和通信。

引用4R模式提高预约装机服务水平

4R模式是咨询公司锡恩顾问团队自创的执行力管理模式。任何一件事，只要用4R模式管理起来，就可以保证进入执行状态，获得想要的结果。具体的4R是指：

软件保护技术的方法分类与强度分析

§0.引言信息是现代社会的一个非常重要的资源。随着计算机应用的普及,计算机软件成为计算机推广应用中的宝贵财富,人们从中获得了巨大的经济效益。计算机软件是计算机的灵魂,没有它,计算机就不能正常工作,

浅谈可计算性与图灵机

一、引言本世纪初数理逻辑学家一直在探讨关于计算及可计算性的概念,1936年基本奠定了可计算性的理论基础。同年英国人图灵(A.M.Toring)也正式提出了图灵机。 40年代人们开始研制电子计算机时,可计算性理论与模型图灵机为电子计算机的研制提供了理论基础,特别是匈裔美籍数学家冯·诺依曼(Von·Neomann)对图灵机进行了改进并将它作为电子计算机的基本设计思想。目前电子计算机虽然已经历了四代的发展。

扬州电视台SQL数据库维护实例解析——使用作业功能实现数据库同步

SQL数据库在扬州电视台的技术系统中有着广泛的应用,在制作系统、媒资系统、收录系统、主干网络、办公网络等各个系统中都发挥着重要的作用,它主要完成用户管理、业务管理、数据管理等功能。所以它的稳定性与可靠性对整个技术系统起着至关重要的作用。

论施工企业的安全文化建设

建筑业是一个仅次于矿山行业的事故多发行业，搞好施工企业的安全管理至关重要。要提高施工企业安全管理的有效性，必须在组织上建立起完整的生产安全保障体系，还要在意识形态领域加强安全文化的建设，以此形成施工企业的安全管理思想和安全文化氛围。安全文化能弥补安全管理的不足，使职工从不得不服从管理制度的被动执行状态，转变成主动自觉地按安全要求采取行动，即从“要我遵章守纪”转变成“我要遵章守纪”。

MRTOS——一个适用于过程控制的小型实时操作系统

MRTOS是一个与DJS-130、131小型机相配的实时操作系统。本文扼要介绍了MRTOS的设计原则及其主要特点。运行表明,本系统的设计是成功的。

MIDI信息的种类[续]

(二)MIDI信息种类(续) 2.1.2 通道方式信息(Channel Mode Messages) 通道方式信息是用来切换接收仪器的接收方式的,其数据格式如下:

递归与连线绘图——在APPLEⅡFORTH—79上的实现

一、递归的实现APPLEⅡ FORTH 是栈式虚拟机,它的运算是在参数栈上完成的。对递归算法,无疑是一良好的条件。但在 FORTH[注1]编译系统中,不允许向前引用。要实现递归,就得扩充 FORTH编译功能。因此,对 FORTH 词的结构、编译过程,我们应有一定的了解。1、FORTH

JDA与IBM联合推出全渠道高级补货方案提升顾客购物体验

这—新的集成性解决方案将为零售商、批发商和制造商提供智能寻源、补货及订单管理等功能,提升顾客满意度和公司利润。2014年11月14日,JDA软件集团公司与IBM宣布,两家公司将联手推出解决方案,帮助企业智能高效地处理和履行产品订单,保证成本效益。提升消费者购物体验。IBM与JDA将共同为企业提供集成化的全渠道供应链,帮助企业实时进行更智能的采购决策,并为其顾客最大程度地提供优质购物体验。如今,零售商、批发商和制造商面临着共同的挑战,即如何满足消费者需求。