当然也可在硬件中实现那些可以通过软件获得的功能,但是这样做会相应地增加制造成本和产品价格。嵌入式软件还可实现重复利用利用,并且可更加频繁地更新,以满足不断增长的需求。+ t! |" y x5 ~' K$ u% _' @6 G: K
- L! }9 ?; g9 o; G x
. b. c/ e: {! Q# A: d 图1,在环测试示意图* G7 {7 \; w& Q `: [
所有这些以及其他更多原因造成了嵌入式软件应用的复杂性。很难测试和验证复杂嵌入式软件的功能。验证和确认费用、解决缺陷的成本以及没有及时发现的缺陷问题会抹杀掉软件功能具有的所有优势。' s* Y) F1 Q" X5 f; M
# _7 A1 U# x; m; H- B
嵌入式软件开发行业意识到这一点,并基于图形化模型进行软件开发,以应对不断增长的复杂性。图形化的产品功能还具有仿真能力,可提高验证和确认方法。本文简要概述通过基于模型的设计的关键软件测试方法。) B, I }% D0 h& x8 r
0 y2 U& G' U P( v5 k6 m 1 通过模型开发和测试嵌入式软件
k$ \9 P9 n" [8 y/ M
6 v0 x" z, r' A0 Z 建模是设计和开发中的一个重要步骤,它发生在收集高层需求之后以及进行任何实现之前。模型还允许在开发的同时,进行持续地进行测试和验证。
$ L3 X9 }9 N$ J0 P5 C 图2,建模是设计和开发中的一个重要步骤) _# }3 V" f" I; _- I
在早期的设计阶段,开发者可开发纯粹的行为模型,以阐明并定义软件的详细要求。
/ S# c( w9 v: }' J7 G# C' d% X# u! j" L. q7 w
虽然此类模型已经具备了基本解决方案的轮廓,但是它们依然独立于目标平台。这些目标独立的行为模型将用于设计验证和早期的需求确认。# F W7 u; E6 e4 _& V2 v
2 n, ~% o) R6 d% }6 ]* P$ ` 用于捕获关键需求、在仿真中展示正确行为以及展示对高层需求可追溯性的模型通常被称为“可执行规范”。
2 u; z8 ~4 y# V7 v: t" L( A6 ?' w) \
对可执行规范的进一步开发和具体实现可产生代表最终实现的模型的定义。这就是用于产品代码生成的模型。通常,这些模型会对代码生成做优化;它将从数据类型、目标架构以及要求的代码风格。所有这些变更需要一个验证过程,确保产品代码生成模型中引入的变更不会改变软件的行为。确认生产代码生成模型以及生成代码的正确行为的测试为代码验证。 把验证分布在设计验证和代码验证阶段允许我们更早地开始验证工作,更多的关注在测试上和更短的时间去修复在测试中检测到的错误。在本文的其余部分,我将介绍两个设计验证方法:! z: C# B B+ e/ H. a ?
. w e5 E& ]6 L ·模型在环测试+ @7 g# C* }) I, [
·软件在环测试
' Q5 m7 S# o: H* G, s. q7 H& L N" s: s4 k
以及用于代码验证的两个方法:# w M$ t2 m/ \" J" @
# I5 f0 P/ }, \" n' S
·处理器在环测试 9 b9 g' e( V; `$ f6 k9 z
·硬件在环测试9 Y0 |; @. U0 F: v
0 {# b0 L9 w5 ^4 u
2 设计验证
! e1 | ~# ], U3 n, b. }! @! _1 l9 O) J/ _- G3 O& J7 T' n3 U& l
设计验证的主要目的是确认所有关键要求和设计概念是否已正确体现在设计模型中。
5 K1 }6 q0 n& r4 a# o; p8 M$ f+ x n) R- J
·模型在环测试+ \. q1 o2 t! ]0 J$ I- P
* E ?' O, J3 D 与“静态”的书面设计不同,可在仿真过程中评估可执行规范。通常,通过改变一组模型参数或输入信号,或通过查看输出结果或模型的响应,来完成这一操作。依据模型执行的仿真顺序也称为模型在环测试。$ m* L" N$ M7 f( ` G8 v% }) a
% Z" P* Z& f& Q
模型在环测试的测试数据可来自测试矢量数据库,或来自实际系统的模型,在后一种情况下,我们讨论闭环控制系统。
6 z# h% r1 O6 B* }, x C2 N- b j8 Z. p+ U. z+ [0 g
可执行规范通常不仅仅包含功能设计模型和软件逻辑,还包括设备和环境模型、高层需求的链接以及其他文件。它通常还包括用于自动化仿真结果评估的验证数据。 模型在环测试的结果可用于验证软件行为是否正确,并确认开发流程的初始需求。通过仿真收集的信息会成为代码验证的基准。
3 C7 a2 x* t$ p& p7 V2 m( {( K$ \! I! y
6 k+ c) I9 ]) Q0 z. Q ·软件在环 (SIL)9 q8 q: L5 q/ b6 g# q
! a; b- `. L" Q# p. \( L
在许多情况下,在目标环境中部署软件之前,确保所设计的系统的软件组件能够按预期运行,这一点非常重要。+ ~- L7 J6 R/ {# Q) |) _% K
) o" z' l- N+ F; P 图3,软件在环(软件算法测试)
, `7 z+ f2 t" I" |9 r
软件算法的测试(在主机上的联合仿真中评估生成的函数或手写的代码)称为“软件在环”。与模型在环测试类似,输入测试矢量可来自于测试数据库或来自设备模型,并且可与 MIL 测试共享。
" U; F0 ^, P2 i7 L; C1 G, M; o+ ~+ Z+ ^
当软件组件包含需要在目标平台上执行的生成代码(例如,更新控制器逻辑以满足新要求)和手写代码(例如,现有驱动程序和数据适配器)的组合时,此类验证尤其有用。 通常利用软件在环测试来验证图形化模型中现有算法的重新实现。可能很难或需要花费较多成本来维护一些旧的但是正确的代码,这对于在建模环境中重新实现及验证而言意义重大。在这种情 况下,仿真成为比较新模型实现和旧代码中已有算法的输出的环境。
7 s" v! v7 q4 s' N9 F- `3 Z2 h$ I1 U9 ]. J1 j0 N
3 代码验证# o+ z6 E9 ^6 q. u$ Z) C5 ?
: v5 G0 j, Z6 f8 n6 m
验证设计质量及其对现有的需求的兼容性之后,我们可专注于代码验证。代码验证的关键目标是确保软件行为匹配在仿真中捕获的模型行为。, j) ^7 h% f) B! e
- T! U" _+ _8 f6 g ·处理器在环 (PIL)
" h* M6 r7 y, k; X
" V# H+ ^. U+ K4 K0 ?+ u 从概念上来说,处理器在环 (PIL) 测试类似于软件在环测试。关键的差别在于 PIL 代码在嵌入式处理器硬件或指令集仿真器上执行,以便该验证可考虑在目标处理器上执行的算法的特定具体条件。在模型与部署的目标代码之间传递的数据通过 CAN 或串行设备之间通过真正的输入输出来完成。" |: j( Q( G3 {/ z: C1 u& k+ S2 n
' X# s% f# H: d4 O- [, t4 p1 J
0 @/ R p, j7 N4 ^
图4,处理器在环
/ |2 H1 k3 m5 P" W
用于 MIL 和 PIL 的模型现在可用作处理器板的测试框架。通过处理器在环,我们仍然可在主机上运行模型,并使用它对软件组件输入生成实际数据。除此之外,我们还可使用调试器分析代码(已编译的代码)逐步说明装配级别说明,就像在完全嵌入式系统中那样进行链接和部署。
- Z( b' a- g0 \0 F: k* r% C0 T( {& U) K6 W9 ^
通过 PIL,我们还可查看代码函数的执行顺序,并确认操作系统函数的调用或在目标上执行时所需的其他库,以及在执行验证方案过程中监控内存容量。
/ M: G5 @1 T0 |" E0 v1 k# P8 S6 [0 d( S: i9 f+ u
在一些项目中,PIL 可在符合相同规范当来自不同厂商的处理器板上比较算法行为。: i! q! N% C) P% @) F& Y; O
2 R# f1 U; r' O, a. U/ Q
正如 SIL 一样,此验证方法并不用于非实时分析。1 K' ~( s3 @- t' ?8 l
, o! u0 D9 T( l L
·硬件在环 (HIL)
/ |5 l& U* }7 q1 G0 E
( @8 b( S" k% j! P4 g2 j% H 目前提到的所有测试方法不能用于实时地验证设计。仿真以及与目标板通信的负荷不允许算法的实时测试。. `; W: |- F; ?7 t, W2 R
1 c3 w, {) {4 A0 d9 F+ d, |, l$ F
! U4 @& @% p* ?! b# w$ h0 u6 y 图5,硬件在环
" h3 N, @6 N; P- A
为了重新利用为前面描述的测试方法创建的数据,并继续使用该结果作为实时测试的指导和基准,我们为模型生成代码并在实时环境中部署它。此类配置可降低在实际且通常较昂贵的设备上的测试风险,但是它允许我们验证算法的实时方面。
9 Z' ]- O- m$ H ?$ P. ^ Y" ^$ s; O, B1 [ e* K. R4 f* U
此类型的验证要求尖端的信号调节和电力电子技术,以便正确地模拟输入并接收目标硬件的输出。HIL通常在系统集成和现场测试之前,作为最后一个实验室测试步骤。9 d: h- Q1 P0 ]- K5 ]! U1 k
' }' ?1 i+ A: i( I' I \
4 结论) |& M- N# e; T/ W1 I6 t
9 y* `* f4 k' x
嵌入式系统开发的技术为提升验证和确认方法提供了一次绝好的机会。通过仿真建模以及代码生成使快速原型和更加系统的测试和早期验证成为可能。& u, w7 e- G. ?( p
, @5 v0 p) Y- Z. P' R, `! s
上述的每个在环测试方法解决了特定类型的问题,并且具有某些优势。本文中描述的不同方法在严格的开发过程中均出现过,每个方法有助于将巨大的验证挑战分为更小、更易管理的验证和确认活动。& k5 w$ d( ^+ V# ?: d
, z1 V) L" ~* ]: }0 [
文章来源:数学中国, 关键词:数学中国,数学中国网,数学中国论坛, 4 @+ ~4 {7 B: f; s8 R
; V5 t3 w3 Z6 C; E! ~
| 欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) |
Powered by Discuz! X2.5 |