使用McCabe IQ提高测试质量的研究

随着软件产业的急速发展,应用软件系统规模不断增大,企业对软件质量的的重视程度越来越高,软件企业对软件测试的投入也逐渐增加。探讨了McCabe IQ测试工具对软件测试质量和效益的提升。     

传统软件向SaaS软件转型方案的研究

针对中小企业资金缺乏、IT人才较少等问题,本文对传统软件向SaaS软件转型关键技术进行研究,提出了SaaS软件关键技术的解决方案以及七层架构模型。     

浅谈教学软件开发中的软件复用技术

本文从高校教学软件的开发现状出发，针对性的介绍了软件工程领域的核心思想——软件复用技术，以及构件和构件库等概念，阐明了软件复用技术对教学软件开发的迫切性和必要性，探讨了作为高校教育机构应该如何在教学软件开发过程中利用软件复用技术，最后分析了软件复用技术中存在的一些问题。     

Optimal and adaptive testing for software reliability assessment

Optimal software testing is concerned with how to test software such that the underlying testing goal is achieved in an optimal manner. Our previous work shows that the optimal testing problem for software reliability growth can be treated as closed-loop or feedback control problem, where the software under test serves as a controlled object and the software testing strategy serves as the corresponding controller. More specifically, the software under test is modeled as controlled Markov chains (CMCs) and the control theory of Markov chains is used to synthesize the required optimal testing strategy. In this paper, we show that software reliability assessment can be treated as a feedback control problem and the CMC approach is also applicable to dealing with the optimal testing problem for software reliability assessment. In this problem, the code of the software under test is frozen and the software testing process is optimized in the sense that the variance of the software reliability estimator is minimized. An adaptive software testing strategy is proposed that uses the testing data collected on-line to estimate the required parameters and selects next test cases. Simulation results show that the proposed adaptive software testing strategy can really work in the sense that the resulting variance of the software reliability estimate is much smaller than that resulting from the random testing strategies. The work presented in this paper is a contribution to the new area of software cybernetics that explores the interplay between software and control.     

软件产品线可变性的分析和实现技术研究

目前软件产品线技术极大地提高了软件复用的层次,在软件产品线工程中,可变性作为产品的特殊属性涉及到分析、设计和实现的全部阶段。在分析软件产品线可变性的类型、模式,约束依赖关系基础上,总结目前常用的几种可变性的实现技术,包括预处理指令、面向对象、软件配置等软件技术,特别是面向对象和面向切面技术的结合,分析各种实现技术的适用情况,最后针对一个常见的图书馆信息管理系统,根据用面向特征建模方法建立的可变性模型,给出两个可变点的具体实现实例。     

Discovering vulnerabilities in control system human-machine interface software

As educators plan for curriculum enhancement and modifications to address the net-generation of software engineers, it will be important to communicate the necessity of considering software security engineering as applications are net-enabled. This paper presents a case study where commonly accepted software security engineering principles that have been published and employed for approximately 30 years, are not often seen in an important class of application software today. That class of software is commonly referred to as control system software or supervisory control and data acquisition (SCADA) software which is being used today within critical infrastructures and being net-enabled as it is modernized. This circumstance is driven by evolution and not intention. This paper details several vulnerabilities existing in a specific software application as a case study. These vulnerabilities are a result of not following widely-accepted secure software engineering practices which should have been considered by the software engineers developing the product studied. The applicability of these lessons to the classroom are also established with examples of how they are integrated into software engineering and computer science curricula.     

单片机系统软件抗干扰技术研究

本文就单片机系统软件抗干扰问题进行了研究,提出了开机自检、软件滤波、软件陷阱、软件看门狗以及输出端口刷新的软件抗干扰措施。     

软件的可测试性设计

软件产品开发规模的扩大和数量的增长迫切需要找到一种方法来增加软件测试的有效性。可测试性设计可以增强软件的可测试性,降低测试的强度。该文讨论了软件可测试性的特征和影响软件测试的因素,以及改进软件可测试性设计的几种方法。建议在软件开发的整个周期中融入软件的可测试性的设计。     

关于软件架构的理论综述

随着IT技术的不断发展,越来越多的人把关注目光投入到了计算机软件领域,而软件构架凭借其在软件设计过程中的重要地位更是得到了大家的重视。本文以软件构架为研究对象进行分析,从软件架构与软件框架的概念谈起,阐述了软件架构的发展历程,并总结了软件架构的现状及其局限性。     

On the polynomial dynamic system approach to software development

1IntroductionReactivesystemsareregardedessentialintheareaofcomputerscience[1].Quiteafewapproacheshavebeenproposedtodevelopreactivesystems,includingthestatemateapproach[2],thetemporal-logicapproach[3],thesynchronousapproach[4],amongoth-ers[5,6].Usually,thepropertiesofthereactivesoftwareunderdevelopmentarecheckedaposteriori(aftersoftwaredesignorevensoftwareimplementation)usingpropertyveri-ficationand/orsimulationtechniquessuchasthetemporal-logicapproach[7]andtheSmoochesapproach[5].However,thisi…     

远程心电监护软件系统的设计与实现

介绍了远程心电监护软件系统的总体架构,以及各个模块的设计与实现。在远程心电监护中,医院和医生可以随时随地得到患者的心电信号并进行计算机辅助诊断,实现对患者健康状况的监控。远程心电监护软件系统分为移动监护仪前端软件、医用PDA软件、医院中央服务器监控软件三个部分。前端软件负责数据采集,检测分析,GPRS/蓝牙数据发送;中央服务器监控软件实时接收患者的数据接入,计算机自动分析,调度医生的工作;PDA软件是作为于医生的移动心电信息处理平台。     

Designing for Appropriation: A Theoretical Account

In this article, we propose a theoretical account of software appropriation as a basis for considering how to design software for appropriation. The analysis we develop is based on a holistic perspective including artifact mediation (how software acts as a mediator of users’ activities and how users develop instruments), ecologies of artifacts (taking into consideration that users use multiple artifacts), collective and work practice aspects, and technical and software engineering aspects (different forms of and approaches to software adaptation by users). It leads to an understanding that software appropriation is related to how users consider software as a mediator of their activity and turn it into an instrument for themselves based on the functional values they attribute to it. Building on this analysis, We outline a general perspective on designing for appropriation as empowering users to continue software design in use, review some principles and means, and introduce research questions for future work.     

一种面向普适计算的适应性软件体系结构风格

普适计算软件需要适应用户需求和运行环境的动态变化.这一特点使得软件复杂度空前增加,迫切需要以软件体系结构为代表的架构/设计层面重用手段来支持其高效开发.在以适应性为中心的普适计算空间抽象模型基础上,提出了一种面向普适计算的软件体系结构风格UbiArch,并从概念视图、运行视图和开发视图这3个维度对该软件体系结构风格进行了阐述.UbiArch支持软件实体按需加入应用、主动适应环境的行为模式,实现了软件适应能力的高层次重用,同时与构件等成熟软件技术的紧密结合也保证了其可实践性.支撑该体系结构风格的软件平台原型系统及其上的应用验证了UbiArch的有效性和通用性.     

基于ViewPoint的软件构架描述

软件构架作为系统开发的蓝图,已成为软件工程领域的热点。在软件开发实践中,许多项目更为关注的是软件构架的设计,而忽略了软件构架的描述。事实上软件构架的详细精确描述是成功开发软件的根本保证。文中以UML为构架描述语言,引用IEEE 1471标准中Viewpoint的概念,提出了基于3大Viewpoint的软件构架描述方法。基于Viewpoint的软件构架描述方法有助于开发人员在大型项目开发中从更高层次把握系统构架,从而保证软件开发过程的顺利进行。     

关于软件架构的理论综述

随着IT技术的不断发展,越来越多的人把关注目光投入到了计算机软件领域,而软件构架凭借其在软件设计过程中的重要地位更是得到了大家的重视。本文以软件构架为研究对象进行分析,从软件架构与软件框架的概念谈起,阐述了软件架构的发展历程,并总结了软件架构的现状及其局限性。     

软件可靠性估计与计算复杂性的关系浅析

软件可靠性估计是软件可靠性研究的重要问题之一.提出一种根据软件随机测试的结果进行软件可靠性估计的方法.它使被测软件的复杂性成为估计公式中的一个因素,从而克服了现有同类方法把软件看作是黑箱的缺点.它以软件的邻域集合的伪维数作为软件复杂性度量,从而使根据软件的可能错误空间进行可靠性估计成为可能.还证明了算法的计算复杂性与软件所可能计算的函数集合的伪维数之间存在着一定的联系.     

Process-Based Software Engineering: Building the Infrastructures

A recent trend in software engineering is the shift from a focus on laboratory-oriented software engineering to a more industry-oriented view of software engineering processes. This complements preceding ideas about software engineering in terms of organization and process-orientation. From the domain coverage point of view, many of the existing software engineering approaches have mainly concentrated on the technical aspects of software development. Important areas of software engineering, such as the technical and organizational infrastructures, have been left untouched. As software systems increase in scales, issues of complexity and professional practices become involved. Software development as an academic or laboratory activity, has to engage with software development as a key industrialized process.This expanded domain of software engineering exposes the limitations of existing methodologies that often address only individual subdomains. There is, therefore, a demand for an overarching approach that provide a basis for theoretical and practical infrastructures capable of accommodating the whole range of modern software engineering practices and requirements. One approach is provided by Process-Based Software Engineering (PBSE); part of the more general trend towards a focus on process.This paper provides a review of process techniques for software engineering and a high-level perspective on PBSE. Typical approaches and techniques for the establishment, assessment, improvement and benchmarking of software engineering process systems are introduced in this paper, and many are developed further in other contributions to this volume.     

软件测试人才能力培养的探索与实践

根据教育部对软件人才培养的要求,针对软件工程专业特点,以软件测试紧缺人才培养为突破口,分析IT企业的用人需求,研究软件测试人才的培养目标和能力培养要求,探索软件测试人才能力培养的有效方法。在此基础上,积极开展软件测试人才能力培养的相关实践活动,包括:凝练软件测试人才培养的教学理念,建立软件测试人才能力培养的新模式,制定软件测试理论课与实践课的课程大纲,编写配套教材,开展实验室建设等。     

A survey on search-based software design

This survey investigates search-based approaches to software design. The basics of the most popular meta-heuristic algorithms are presented as background to the search-based viewpoint. Software design is considered from a wide viewpoint, including topics that can also be categorized as software maintenance or re-engineering. Search-based approaches have been used in research from the high architecture design level to software clustering and finally software refactoring. Enhancing and predicting software quality with search-based methods is also taken into account as a part of the design process. The background for the underlying software engineering problems is discussed, after which search-based approaches are presented. Summarizing remarks and tables collecting the fundamental issues of approaches for each type of problem are given. The choices regarding critical decisions, such as representation and fitness function, when used in meta-heuristic search algorithms, are emphasized and discussed in detail. Ideas for future research directions are also given.     

Use of Software Engineering Practices at a Small MIS Shop

This paper describes the software engineering practices used by the MIS Department at United Technologies Microelectronics Center (UTMC). It describes the life cycle of a software change and the controls established to implement the change. Several software tools used by UTMC to develop and control software development and integration are described as well as methods used to integrate vendor software packages with in-house developed software. A computerized system for tracking and controlling users' modification requests has been developed. Software requirements for a small MIS shop are examined and compared to the requirements for large software development projects.