基于正交缺陷分类的软件过程测量方法

软件过程是否有效,对评估软件产品的质量和提高组织的软件能力成熟度具有重要意义.正交缺陷分类(ODC)技术是一种对软件过程的有效性进行量化测量的方法.ODC技术基于对缺陷的分析,它依据一组正交的缺陷属性把缺陷归纳为不同的类别.这些互不相关的属性代表了缺陷的有效特征.软件产品的缺陷属性的统计分析,体现了对软件过程的测量结果,并将其反馈给开发团队.通过缺陷类型属性的应用实例,阐述了ODC技术的基本使用方法.     

基于VB．NET自动验证功能TextBox派生类控件的设计与实现

阐述了VB．NET程序中具有自动验证功能文本框控件的设计与实现的方法,说明在TextBox的派生类组件中把验证的属性、验证过程与错误消息综合到一起方法,并给出实现这些方法的编程要点。     

基于过程度量的软件测试质量管理

软件测试验证软件是否符合用户需求,软件测试过程的科学管理是软件测试成功的重要保证,运用软件度量的方法量化软件测试过程,构造度量并分析过程度量数据的有效性;论述测试效率/软件缺陷作为软件测试工作量/成果指标的必要性,运用工作量/成果模型分析测试过程;通过量化软件相关属性实现过程度量的构造,实施度量后利用工作量/成果模型对度量结果进行分析,并对项目做出评估,并采取相应措施;在现有资源的情况下,实施质量管理,监控软件测试过程,实现软件测试过程的有效管理。     

带时间和资源约束的实例化过程模型验证方法

软件过程的性能是由软件过程模型和软件过程实例化两方面因素决定,如果对软件过程进行了不恰当的实例化,会导致成本超支、进度延期、甚至项目失败．已有的过程描述法不足以分析实例化过程模型,由于没有考虑实例化阶段的时间资源约束,语法结构正确的过程模型并不能保证过程执行的正确性．提出一种带时间和资源约束的实例化过程模型验证方法,为目前已有的s-TRISO／ML建模语言增加时间和资源约束属性,然后提出了从s-TRISO／ML模型转换成时间自动机的转换方法和实现算法,利用已有的分析工具Uppaal对转换得到的时间自动机的性质进行验证,得到一个合理的实例化模型,从而为真实的开发流程提供指导．     

协同业务过程建模与行为验证

对协同业务过程进行建模和行为验证是确保业务过程正确实施的关键。文中提出了一种协同业务过程的建模和行为验证方法。首先,该方法使用有限状态自动机建模每个参与组织的业务过程,并通过集中式消息缓冲区,将业务过程异步组合为协同业务过程;其次,提出了行为约束的声明式模板,用于定义协同业务过程中的行为约束关系,并通过映射规则,将行为约束关系转换为LTL(Linear Temporal Logic)公式;最后,提出了行为验证框架,借助进程分析工具PAT,实现了对协同业务过程行为的自动验证。通过对电力突发公共事件应急处置系统的建模与行为验证,阐述了所提方法的可行性和有效性。     

软件测量与分析的研究与应用

测量与分析过程能帮助软件实现过程改进,确保软件按时交付,提高软件质量。笔者讨论了GJB5000A的测量与分析过程,提出了测量与分析活动、数据采集和测量结果交流的实施过程,并以某型号航空发动机机载软件项目为例,制定了测量目标、测量指标,并给出了测量指标的分析方法,验证了测量分析活动的可行性与有效性。     

一种针对CP-nets并发模型的验证方法

状态爆炸问题导致CP-nets并发模型的正确性验证工作十分困难。提出了基于并发属性的模型化简方法和基于功能组合的模型抽象方法,用于对模型进行处理,移去与并发属性不相关的模型元素,提升模型的抽象层次,使模型状态空间规模得到显著降低,并在并发属性相关行为上与原模型保持一致;在处理后模型中运用状态空间分析、模型检测等验证方法完成模型验证,针对验证得出的模型错误,通过处理前后模型的对照关系在原模型中进行改正。这在一定程度上避免了状态爆炸问题并实现了模型验证。通过将上述方法应用于HMIPv6协议模型,验证了其有效性。     

基于QFD技术的软件可信性评估研究*

对软件可信性的多维属性进行系统综合的度量评估,在软件设计开发过程中有效地跟踪和控制软件可信度是一个重要且亟待解决的研究课题。针对该问题,运用质量机能展开（QFD）技术分析软件可信需求和设计质量特性,并整合运用Kano质量模型测量软件可信性对于软件设计质量特性的敏感程度,提出了一个软件设计开发过程中的可信性评估方法。最后采用某航天操作系统软件的开发实例验证了该评估方法的可行性和有效性。     

一种面向方面需求模型的分析与验证方法

建立具有完整性和一致性的需求模型是软件项目成功的基础,验证需求模型是否具有相关性质在软件开发中具有重要的意义.文中针对面向方面文档驱动需求方法中的需求分析过程,给出了关注点建模过程中的若干验证策略,提出了基于本体的关注点模型验证的相关方法,并通过一个实例说明了文中方法的有效性.     

基于PCIE的数字信号处理板设计与实现

介绍了一种数字信号处理算法评估验证平台的设计实现方法。该平台可通过软件进行配置,通过板卡上的大容量缓存对被测算法的输入、输出以及计算过程进行采集,并通过PCIE协议将采集结果上传至计算机,以使用户能够利用高级算法设计验证工具检验被测算法的有效性。     

ODC在软件过程度量与分析中的应用

正交缺陷分类(ODC)是软件过程度量与分析中的一种新技术。文章介绍了ODC的概念、发展过程、总体结构以及各种ODC缺陷属性的含义,阐述了如何使用ODC来度量开发过程和识别过程中的问题。最后,文章对ODC的应用和实施进行了总结与分析。     

基于软件过程度量的正交缺陷分类技术

软件过程是否有效是评估软件产品质量和提高组织软件能力成熟度的重要依据。给出软件过程有效性量化测量的正交缺陷分类（ODC）技术。介绍ODC的概念、发展过程、总体结构和各种ODC缺陷属性的含义,阐述使用ODC度量开发和识别过程中的问题,对ODC的应用和实施进行分析与总结。     

Orthogonal defect classification-a concept for in-processmeasurements

Orthogonal defect classification (ODC), a concept that enables in-process feedback to software developers by extracting signatures on the development process from defects, is described. The ideas are evolved from an earlier finding that demonstrates the use of semantic information from defects to extract cause-effect relationships in the development process. This finding is leveraged to develop a systematic framework for building measurement and analysis methods. The authors define ODC and discuss the necessary and sufficient conditions required to provide feedback to a developer; illustrate the use of the defect type distribution to measure the progress of a product through a process; illustrate the use of the defect trigger distribution to evaluate the effectiveness and eventually the completeness of verification processes such as inspection or testing; provides sample results from pilot projects using ODC; and open the doors to a wide variety of analysis techniques for providing effective and fast feedback based on the concepts of ODC     

利用正交缺陷分类分析过程阶段执行效果

为改善软件产品质量和提高关键过程的能力,介绍了正交缺陷分类的相关概念以及如何应用正交缺陷分类建立缺陷与过程阶段的关联,进一步评价缺陷相关阶段的执行情况,提出利用相似模块的历史数据改进评价缺陷相关阶段的推断方法.该方法使得在软件开发的早期阶段就能够确定问题所在.最后通过一个应用实例表明如何在具体项目中应用正交缺陷分类分析开发过程,确定需重点关注的过程阶段.     

SQL Server中触发器的应用

触发器是一种特殊类型的存贮过程,它在插入、删除或修改特定表中数据时起作用,通过维持不同表中逻辑上相关数据的一致性,保持数据的相关完整性。本文讨论了SQLServer数据库中触发器的作用、实现和使用等问题。     

SQL Server中触发器的应用

触发器是一种特殊类型的存贮过程，它在插入、删除或修改特定表中数据时起作用，通过维持不同表中逻辑上相关数据的一致性．保持数据的相关完整性。本文讨论了SQL Server数据库中触发器的作用、实现和使用等问题。     

触发器在SQL Server数据库开发中的应用

触发器实际上是一类特殊的存储过程 ,但与一般的存储过程有本质的区别 ,存储过程用户可以调用 ,而触发器不能被调用 ,只有当对表或视图进行一定的触发操作 (INSERT、UPDATE和 DEL ETE)时由系统自动调用。另外触发器不允许带参数 ,和特定的表相关联。并指出了在 SQL Server数据库开发应用中要注意的四个事项     

基于反应式主体的物流信息系统设计

文章通过对物流信息系统特点的分析,提出了基于事件触发机制的反应式物流主体设计方法。依据主体内部状态对事件进行定义和构造,主动规则对所发生的事件进一步分析,确定所要采取的主体活动,满足在物流信息系统运行中任务不可预见和多任务交错的需求。并以报关主体为例,说明反应式物流主体的运行特点。     

触发式语言模型下的混淆网络解码方法

将触发式语言模型应用于混淆网络解码过程来提高汉字识别率。为了利用词间的长距离依赖信息,提出了基于词义类对触发式语言模型的混淆网络解码方法。实验结果显示,该方法可以使汉字错误率相对下降7.9%。