基于CMM的软件过程度量系统的研究与设计*

首先描述了软件过程的度量过程,结合软件度量定义模型GQ(I)M提供的方法和软件能力成熟度模型(CMM)提供的过程框架,给出了项目跟踪与监控过程域的一些度量实例,在此基础上完成了软件过程度量系统的设计;最后,指出了系统进一步的工作。     

软件可测试性检测技术研究

软件的可测试性表示软件中故障检测的难易程度，是重要的软件质量特性之一。文章介绍相关的故障／失效模型和RELAY错误检测模型。提出了一个完整的软件故障检测过程：执行过程、传染过程、传播过程。对程序结构，最小表达式错误产生、计算转移、信息流转移等进行分析。提出了一种通过概率进行度量的可测试性静态检测方法，即整个程序可测试性由其包含的所有语句可测试性均值得到。     

软件过程度量自动化的研究与实现

度量自动化的程度如何是衡量度量项目能否成功的一个关键因素。该文讨论了度量自动化的范围，并进一步提出了一个好的度量工具应满足的7条需求。同时，设计、实现了一个软件过程度量工具SPMT，并分别描述了其体系结构、角色、职责和各个子系统。     

基于正交设计的软件过程度量分析方法

软件过程度量的一项工作是分析、确定影响过程能力的显著因素,并将其结果作为建立过程改进决策的基础,即在软件过程度量中找出影响某一指标的主要因素,针对这些因素对软件过程加以控制和改进.这一过程对建立过程改进的有效决策是至关重要的.将数理统计学中的正交设计方法引入到软件过程度量中,提出了一种基于正交设计的软件过程度量分析方法,量化标识软件过程的主要因素,协助决策者找出需要进行重点监控的关键因素,为过程改进提供了基础.     

面向对象软件系统的测试辅助工具OOSTS

计算机硬件技术的进步,为计算机的广泛应用创造了极好的条件。在这种情形下,自然要求计算机软件一方面要适应高速度、大容量、高可靠性的高性能硬件;另一方面要适应在广泛应用情况下出现的大型、复杂问题对软件技术提出的迫切要求。然而,事实上,与硬件技术的快速发展相比,软件技术的发展大大地落后了。面向对象技术的出现,为解决软件的危机提供了一个有效的途径。本文着重讨论面向对象技术对软件可扩充性的影响,在此基础上,针对面向对象软件系统的特点,提出了一个面向对象软件系统的测试辅助工具OOSTS。     

基于先验贝叶斯推断验证法的高可靠性评估

评估是保证高可信软件中高可靠性的重要手段。传统的评估方法要么不适应高可靠性的特点,要么不符合真正意义上的评估。基于现状,提出了一种基于先验贝叶斯推断验证的评估方法,该方法不仅利用了先验贝叶斯推断验证法的优势,而且结合了二分查找算法的迭代理论,二者结合起来实现了真正意义上有效的高可靠性评估。实例应用证明,这种评估方法比较客观、可行,具有较高的实用价值。     

湖州丝绸城部分私营业主谈如何面对“入世”

中美双方经过长达１３年的艰苦谈判,终于在１１月１５日签署了关于中国加入世贸组织的双边协议,这标志着中国加入世贸组织的最大障碍已扫除。这一消息在湖州丝绸城引起强烈反响,许多私营业主纷纷表示要抓住机遇,迎接挑战。“入世”将给湖州丝绸城带来新的机遇。产品主要销往美国、英国和日本市场的湖州华通实业有限公司总经理蔡阿新说,加入世贸组织对我们丝绸城私营业主来说是利大于弊,机遇多于挑战。“入世”将会使贸易环境更加宽松,出口配额也将提高,这必将促进丝绸产品的出口,目前我们正在积极为“入世”作准备。“入世”同样将给湖州丝绸城带来挑战。产品主要销往美国、法国及中国香港的湖州市富通丝绸贸易有限公司总经理陈建国认为,中国加入世贸组织,对我们私营企业来讲是机遇,但同样也是挑战。因此,作为湖州丝绸城的私营业主必须尽快转变观念,努力克服被动思想,积极寻找对策,走强强联合之路。同时,要加大丝绸新产品的开发力度,提高丝绸产品的科技含量,多生产高附加值的丝绸产品,为明年的外贸出口练好内功、打好基础。针对湖州丝绸城部分经营者对“入世”问题所持的消极态度,湖州中洋丝绸有限公司总经理李建中指出,“入世”以后,外国的丝绸产品,特别是欧美、韩国、日本等国...     

静态检测Ada程序死锁的方法

文中介绍几种常用的静态检测Ａｄａ程序死锁的方法，分析了它们的适应性和不足之处，并指出ＮＰ问题和检测结果的准确性是无锁检测面临的主要问题，死锁检测仍然是一个有待进一步研究的问题。     

基于UML类图和顺序图的C++代码自动生成方法的研究

UML是一种被广泛用于软件系统需求分析和详细设计的标准建模语言,研究将UML描述的软件详细设计自动生成代码的技术可以大大加速软件产品的开发进度,提高软件的质量。提出一种将UML类图和顺序图相结合生成具有静态结构和动态行为信息的C++代码的方法,从而解决现在多数代码生成工具只能将静态图转换为C++代码框架而不能处理动态行为模型转换的问题。该方法包括UML类图和顺序图的元模型以及相应的转换规则。最后通过一个采用Velocity技术实现的代码生成器生成代码的实例描述了代码生成的具体过程及结果。     

软件过程中的度量数据收集方法研究

度量数据收集在软件过程改善实践中起着重要作用,但是往往在研究中受到忽视。介绍了软件过程数据收集方法和技术的发展历程,提出了软件过程度量数据收集方法的评价准则,给出了一个软件过程度量数据自动收集的框架,并且列举了四种实现方法。