排序方式: 共有58条查询结果,搜索用时 15 毫秒
1.
AADL 测试模型的构造研究 总被引:1,自引:0,他引:1
目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用.为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误.研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果. 相似文献
2.
3.
鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景,为了在嵌入式软件系统开发前期保证AADL模型的质量,提出了一种基于模型测试的AADL架构验证方法;该方法应用马尔可夫链描述AADL架构的行为,然后根据得到的马尔可夫链模型以及系统设计要求标准生成相应的测试用例和测试预言,并通过测试用例执行输出和期望值的比较判断AADL模型的正确性,实现对系统AADL模型的测试;最后通过案例分析证明了该方法的有效性。 相似文献
4.
为了保证Web应用的质量和可靠性,Web应用软件测试受到了人们越来越多的重视。有效的Web应用软件的测试依赖于对其进行充分的分析和理解,掌握其内部的控制流和数据流信息,构建结构模型实施基于覆盖率的结构测试。提出了一种Web应用软件结构模型,它分为5级,分别为函数级、函数群级、对象级、对象群级和应用级,且基于此结构模型,提出了测试用例的设计和选择的方法,从而更好地支持了Web应用软件的结构测试。 相似文献
5.
AADL软件容错系统建模与评估 总被引:1,自引:1,他引:1
提出了一种解决软件客错系统的可靠性评估方法,该方法基于AADL,对嵌入式软件系统进行建模,详细分析了软件系统内部各种构件的各种错误状态和其之间的错误传播,构建了AADL软件系统错误模型,并根据基本的转换规则将其转化为广义随机Petri网模型,使用现有工具对其进行了计算,从而实现了软件客错系统的可靠性评估;以航空交通控制(ATC)为应用场景进行实验.根据经验数据适当的假设了部分构件的失效率,收到了较好效果. 相似文献
6.
本文对乐观嵌套工作流事务的基本概念及其规则进行形式化描述,并对乐观嵌套工作流事务的层次化、可串行性进行了讨论。最后得出结论:1)利用乐观嵌套模型来调度事务是可以串行调度的,它能够保证数据的一致性。2)在乐观嵌套工作流事务执行过程中采用多版本的数据管理机制来处理并发事务访问同一数据及其中间状态,是无联级回退的。 相似文献
7.
8.
9.
10.
一种基于大数定律的软件测试方法 总被引:5,自引:0,他引:5
随着软件规模越来越大,复杂程度越来越高,软件测试也变得越来越复杂。由于人力、经费、时间等测试资源有限,穷尽测试显然是不划算的。故需要从数量众多的可能测试数据中精心挑选出尽量少的测试数据来设计测试用例,通过这样设计的测试用例可以高效地把隐藏在软件中的错误、缺陷检测出来。文中根据历史数据和以往的经验,利用统计学中的大数定律提出了设计测试用例的“测试用例优先值向量法”。该方法的思想是当软件开发的资源、技术条件、开发过程管理等影响软件质量的因素相同时.软件产品中的各种缺陷、错误发生的概率也是基本一定的,因此,可以根据历史数据来推断出各类错误的分布情况,并由此来设计测试用例。该方法具有客观性、高效性和可复用等特点,在软件测试过程中可以节省大量的资源,提高软件测试的效率。 相似文献