公共文化服务平台

共 9 条记录，以下是 1-9

全选清除导出

排序方式：

反应式系统面向性质测试的方法框架: 2004年; 提出了一种反应式系统选择性测试方法 .该方法根据描述待测系统的UMLStatecharts模型和描述系统功能属性的时序逻辑公式生成有针对性的测试序列 .据此实现了一个面向性质的测试工具 .实验表明 ,该方法可以将测试资源集中于用户关注的系统行为 .经扩展后 ,该方法可用于实时系统 .; 李书浩王戟董威齐治昌; 关键词：软件测试反应式系统 UML STATECHARTS 时序逻辑

一种面向性质的实时系统测试方法被引量：6: 2005年; 　尽管Statecharts在反应式实时系统建模领域获得了广泛应用,基于Statecharts开发的实时软件的测试仍然十分困难.由于引入了时间维,待测系统的行为空间变得非常庞大,使得难以对其进行全面深入测试.本文提出了一种面向性质的实时系统测试方法.首先对UMLStatecharts作适当实时扩展,使得扩展后能描述non trivial时间约束;然后用一种受限实时逻辑描述待测系统的功能特性;在此基础上根据待测性质从系统模型生成有针对性的测试序列.实验表明,在相同测试深度下,面向性质测试比非面向性质测试需要少得多的测试序列.; 李书浩王戟齐治昌董威; 关键词：软件测试实时系统 UML STATECHARTS 时序逻辑

WCET分析中面向对象程序多态性问题的解决方法被引量：2: 2006年; 用面向对象建模语言(如统一建模语言UML)设计并用面向对象程序设计语言(如C++)实现实时系统是实时系统开发领域的一个趋势,但面向对象的主要特征(如多态性)却使程序最差情况执行时间(Worst-Case ExecutionTi me,WCET)更加难以分析。本文通过把UML设计信息引入WCET分析来解决此问题。考虑到UML关联关系描述了两个或多个具体类之间的对应关系,因此本文要求指定关联角色的多重性,并假定能够建立关联关系与其在程序中表示的对应关系。在已知关联角色多重性的基础上,本文计算特定循环的执行计数并确定在超(虚)类调用位置上每个具体类的对象个数,该循环使用超类变量遍历统一表示的关联角色对象。通过和Corti等人方法的结合,本文方法能够自动计算具有多态性特征的面向对象程序的WCET。实验结果表明,本文研究的情形在面向对象程序中普遍存在。; 姬孟洛李书浩秦杰齐治昌; 关键词：多态性面向对象程序 WCET分析实时系统软件工程

程序设计规则检查:一种保障软件质量的基本方法被引量：2: 2003年; 1引言程序设计风格是程序员在遵循程序设计语言语法规则的前提下编码的喜好和习惯.高级程序设计语言为程序员提供了越来越多的自由,使他们可以不拘泥于固定的格式来书写程序,并且允许他们以尽量简洁的方式书写.例如,有些编译器会自动给未初始化的变量赋缺省值.; 李书浩齐治昌; 关键词：软件质量程序设计

面向属性的UML Statecharts测试生成: UML Statecharts刻画了对象在其生命周期中的行为.Statecharts测试的难处在于系统的状态空间和输入空间极其庞大.本文提出了一种面向属性的UML Statecharts测试方法,它根据一种受限的线性时序...; 李书浩王戟齐治昌; 关键词：软件测试 STATECHARTS 时序逻辑 UML; 文献传递

基于模型的实时系统测试方法被引量：1: 2006年; 本文分析了基于模型的实时系统测试的主要特征,分类介绍了现有的测试方法,并对这些方法作了归纳、比较和评价,指出了这类测试面临的困难和今后的发展趋势。; 李书浩王戟齐治昌; 关键词：实时系统时间自动机时序逻辑 PETRI NET

软件可靠性评估系统的智能化实现被引量：4: 2001年; 软件可靠性评估系统的智能化有利于避免评估人员水平和经验上的差距造成的评估结果的不一致性，有利于保证评估结果的准确性。文章从专家系统辅助模型预选、各软件可靠性模型的自动比较判优和组合模型（包括其基模型的参数估计方式）的自动确定等方面对可靠性评估系统的智能化实现作了探讨，并给出了其实施框架。; 李书浩毛晓光王戟齐治昌; 关键词：专家系统智能化软件测试

一个基于统计测试的软件可靠性工程环境YH-SREE: 本文探讨了软件可靠性工程中的关键技术,及一个计算机辅助软件可靠性工程环境YH-SREE的实现.它支持用户建立软件的使用模型,进行可靠性测试分析、用例生成和记录,然后依据软件项目特征和软件失效数据,智能化地指导可靠性模型选...; 王戟毛晓光徐锡山齐治昌董威李书浩冯华; 关键词：军事装备软件工程; 文献传递

一种用于反应式系统的选择性测试方法: 复杂反应式系统通常包含大量行为,因此难以对它们进行全面而深入的测试.本文提出了一种用于反应式系统的选择性测试方法,对于描述待测系统的UMLStatecharts模型,根据描述系统功能特性的时序逻辑公式生成有针对性的测试序...; 李书浩王戟齐治昌; 关键词：软件测试反应式系统 UML STATECHARTS 时序逻辑; 文献传递网络资源链接

全选清除导出

共1页<1>

李书浩