利用正交缺陷分类技术测量软件验证过程的有效性

正交缺陷分类(ODC)技术是一种对软件过程的有效性进行量化测量的方法,其Trigger属性代表了对验证过程的测量结果;通过分析Trigger属性的统计特性,可以评估验证过程的有效性,并指导开发和测试组改进验证过程。描述了Trigger属性的定义,并通过具体案例说明了测量软件验证过程的方法。     

基于可执行模型的体系结构验证评估方法

信息系统体系结构设计是系统开发过程中的一个关键环节,正确评估体系结构能够提高系统开发效率.基于可执行模型的体系结构验证评估方法是一种有效的验证体系结构评估方法.分析基于可执行模型的体系结构验证评估的特点,提出该方法的评估过程和评估内容.提出基于对象Petri网的可执行模型构建方法,并通过实例说明该方法的可行性.     

基于Simulink/RTW的汽车电子控制系统的研究

随着汽车电子控制系统的日益先进和复杂化,传统的手工编写代码实现汽车电控系统的开发模式已不能满足开发需要;结合基于模型的设计方法和代码生成技术,提出了一种基于Simulink/RTW的汽车电子实时控制系统的新型设计方法;利用Simulink进行算法开发、系统建模和仿真验证,然后通过RTW自动生成嵌入式代码,实现汽车电子实时控制系统的开发;并将该设计方法应用到发动机控制系统的开发过程中,通过与Simulink中仿真结果进行对比,验证了该方法的可行性与正确性;经过实践证明这种新型设计方法可以大大缩短控制系统的开发周期,对于嵌入式控制系统的开发具有一定的实用价值。     

基于规则的用例规约验证方法

用例模型描述了参与者对系统功能的需求,在整个系统的开发过程中有着重要作用;用例描述若存在问题,会对系统开发造成很大影响。提出了一种用例规约的规则验证方法,通过分析用例规约中的错误类别,在特定的用例规约描述方法上设计了帮助发现规约中不完整性、不一致性错误的验证规则,并通过规则的形式化来支持需求的自动化验证。     

软件工程过程教学——软件估算和复用方法的教学实践

为了提高学生的软件工程管理能力,精心设计了软件过程基础课程的教学和实验,使学生体验从单一开发过程提高到多循环开发过程,从小规模开发过渡到大规模开发过程,掌握估算与计划,亲身体验使用代码复用方法的高效率性。通过总结和分析课程教学和实验数据,验证了PROBE估算教学实验的有效性及应用的合理性,提出了教学改进建议。     

基于jBPM的工作流驱动办公系统的设计与实现

通过研究开源工作流引擎JBossjBPM的架构与特性,分析目前的办公系统开发所存在的问题,提出一种以工作流驱动的办公系统开发方法,并通过设计与实现一个实际办公系统来对该方法进行验证,从而得出可改进办公系统研发过程的一种可行方法。     

基于V模型的伺服系统开发方法

目前伺服系统的开发常采用手工编写代码或者自动代码生成技术,开发过程缺少工程实践方法的指导.针对这一问题,提出一套基于V模型的伺服系统开发方法,在MATLAB&CCS环境下使用从概念到代码实现技术和在回路测试技术进行伺服系统的开发.并通过开发使用磁场定向控制算法、TMS320F2812 DSP和永磁同步电机的伺服系统,对该开发方法进行了实践与验证.实验结果表明该方法能提高伺服系统开发效率与质量,保证一定的软件可重用性.     

一种基于JWT认证token刷新机制研究

JWT(JsonWebToken)认证作为一种服务器端无状态验证方式,在分布式开发中得到了广泛的应用。但是,由于token信息的本身特点,支持的有效时间是固定的,当在token有效时间内用户操作没有完成,操作就会中断,需要重新登录验证。本文通过对比传统Cookie/Session身份验证机制在分布式开发中存在的不足,提出了一种基于JWT认证过程中动态刷新token的方法,有效地解决了分布式开发中会话共享问题,并通过在webApi开发中得到了具体的应用,表明了该方法的有效性和实用性。     

Portal技术下的高校信息门户设计与实现

本文是在高校数字化校园建设开发过程中,结合portal技术对数字化校园中信息门户平台系统开发与实现进行阐述。通过验证测试表明,portal技术对信息门户系统有较好的支撑性。     

面向地勘行业软件开发过程管理信息系统研究与开发

针对目前地勘行业软件开发过程信息管理缺乏规范化手段和软件运维措施落后等现状,在分析地勘行业软件开发过程管理现状和需求的基础上提出建立面向地勘行业软件开发过程管理信息系统。通过建立管理信息系统,在缩短地勘行业软件开发周期、提升开发过程资料回溯性以及提高行业软件开发过程管理和运维效率等方面取得明显进步,并通过实例验证了系统的实用性和有效性。     

PPL: A whole-image processing language

This paper presents the design and implementation of the picture processing language (PPL) that extends the syntax and semantics of traditional image processing libraries. PPL provides a rich set of features to support the development of imaging systems. A main aspect is that many of these features treat a whole-image as an individual operand. An efficient memory management scheme is included that allows “in-place operation” with high memory efficiency.The PPL compiler together with an interpreter can work in two modes. The PPL compiler can convert the source code into C files that can be used as macros within a client program. The program can also be executed at run-time by an interpreter. The dual-execution modes make it possible to be used by both imaging researchers and equipment developers.The extended set of PPL instructions can communicate with digital sensors and 3D displays, and store image data into databases across the Internet. The wavelet-based reverse prediction algorithm can speed up the image loading process approximately three times faster than JPEG. The application programming interface (API) of PPL provides all the building blocks for programmers.     

软件教育新形势下的编译原理课程体系改革

现在编译课程的教学对象已经从面向编译器设计者转变为面向软件技术人员,对编译技术相关课程的目标和教学内容提出了新的要求。为此,文章提出一种面向高水平软件人才培养的新的编译技术教学体系,内容涵盖软件系统核心机制、软件基础理论、语言及其分析技能等多个层面和阶段的培养内容。     

汇编代码验证中的形式规范自动生成

与传统的高级语言程序验证相比,汇编代码验证中所需要的形式规范往往比较复杂,通常的做法是要求程序员手写形式规范,或是牺牲形式规范的表达能力以期能够自动生成规范.本文提出一种能够自动生成形式规范的方法,该方法依托一个出具证明的编译器自动生成汇编级形式规范,从而减轻程序员的负担.使用该方法生成的规范比现有的其他方法自动生成的规范具有更强的表达能力.文章主要描述该方法在出具证明编译器中的实现.     

Refactoring Tools: Fitness for Purpose

Refactoring tools can improve the speed and accuracy with which developers create and maintain software—but only if they are used. In practice, tools are not used as much as they could be; this seems to be because sometimes they do not align with the refactoring tactic preferred by most programmers, a tactic the authors call "floss refactoring." They propose five principles that characterize successful floss-refactoring tools—principles that can help programmers to choose the most appropriate refactoring tools and also help toolsmiths to design tools that fit the programmer's purpose.     

COLTHPF,a run-time support for the high-level co-ordination of HPF tasks

This paper describes COLT_HPF, a run-time support specifically designed for the co-ordination of concurrent and communicating HPF tasks. COLT_HPF is implemented on top of MPI and requires only small changes to the run-time support of the HPF compiler used. Although the COLT_HPF API can be used directly by programmers to write applications as a flat collection of interacting data-parallel tasks, we believe that it can be used more productively through a compiler of a simple high-level co-ordination language which facilitates programmers in structuring a set of data-parallel HPF tasks according to common forms of task-parallelism. The paper outlines design and implementation issues, and discusses the main differences from other approaches to exploiting task parallelism in the HPF framework. We show how COLT_HPF can be used to implement common forms of parallelism, e.g. pipeline and processor farms, and we present experimental results regarding both synthetic micro-benchmarks and sample applications. The experiments were conducted on an SGI/Cray T3E using Adaptor, a public domain HPF compiler. Copyright © 1999 John Wiley & Sons, Ltd.     

Access control in feature-oriented programming

In feature-oriented programming (FOP) a programmer decomposes a program in terms of features. Ideally, features are implemented modularly so that they can be developed in isolation. Access control mechanisms in the form of access or visibility modifiers are an important ingredient to attain feature modularity as they allow programmers to hide and expose internal details of a module’s implementation. But developers of contemporary feature-oriented languages have not considered access control mechanisms so far. The absence of a well-defined access control model for FOP breaks encapsulation of feature code and leads to unexpected program behaviors and inadvertent type errors. We raise awareness of this problem, propose three feature-oriented access modifiers, and present a corresponding access modifier model. We offer an implementation of the model on the basis of a fully-fledged feature-oriented compiler. Finally, by analyzing ten feature-oriented programs, we explore the potential of feature-oriented modifiers in FOP.     

泛型程序设计的研究

泛型程序设计将类型安全的任务从程序员转移给编译器,不再需要程序员编写代码来检测数据类型是否正确,而是在编译时由编译器强制使用正确的数据类型。因此,采用泛型程序设计可以减少类型强制转换的需要和运行时出现错误的可能性。     

使用wire-marshal属性控制列集过程

大多数程序员定义COM接口时，一般使用IDL已描述的数据类型．但在一些环境下必须定义一些数据类型，而IDL不知道如何处理这些数据类型，那么IDL就不知道如何列散和散集这些数据类型．即使知道也不是最优化的处理。IDL提供了一个方法，使开发人员能手工列集自定义的数据类型。这种方法就是在IDL文件中使用wire-marshal属性，它能生成需要开发人员实现的列集方法，这些方法可以在截取层被调用。