From: "Yann E. MORIN" <yann.morin.1998@free.fr>
To: Sam Ravnborg <sam@ravnborg.org>
Cc: linux-kbuild <linux-kbuild@vger.kernel.org>
Subject: Re: Kconfig test scripts
Date: Sat, 20 Jul 2013 16:44:02 +0200 [thread overview]
Message-ID: <20130720144402.GE3507@free.fr> (raw)
In-Reply-To: <20130720141905.GA10229@merkur.ravnborg.org>
Sam, All,
On 2013-07-20 16:19 +0200, Sam Ravnborg spake thusly:
> Often when I hack on Kconfig I have missed a set of test cases,
> that would allow me to verify that I did not introduce any regressions.
>
> I have not anything fancy in my mind and I spent
> a little time on the attached today.
> The following is obviously missing a lot a features - but this
> would allow me to get started adding simple test cases.
>
> The idea is that each test cases consist of a full
> Kconfig file and the resulting output.
>
> Anyone have something better than this,
> or maybe some brilliant ideas how to do this much better?
How would one express a test for 'choice'? Test randconfig?
I'm all for a test-suite. But we need to be able to test two things:
- the parser
- the behaviour
For the first, your static tests are doing (can do) fine.
For the second, we'd need something a bit more sophisticated.
For example, we need a way to tell that one of such or such symbol is
expected, but not both at the same time. Eg, for a choice between A and
B:
CONFIG_A=y | CONFIG_B=y (inclusive OR, for tristate choice)
or:
CONFIG_A=y ^ CONFIG_B=y (exclusive OR, for boolean choice)
Also, for randconfig, we'd need to be able to repeatedly run a test and
check symbols probability. Eg:
CONFIG_A=y [25] ^ CONFIG_B=y [75]
Of course, allow for a slight distortion of a few percent to account for
bias in the RNG).
No idea (yet) on how to do that...
Regards,
Yann E. MORIN.
--
.-----------------.--------------------.------------------.--------------------.
| Yann E. MORIN | Real-Time Embedded | /"\ ASCII RIBBON | Erics' conspiracy: |
| +33 662 376 056 | Software Designer | \ / CAMPAIGN | ___ |
| +33 223 225 172 `------------.-------: X AGAINST | \e/ There is no |
| http://ymorin.is-a-geek.org/ | _/*\_ | / \ HTML MAIL | v conspiracy. |
'------------------------------^-------^------------------^--------------------'
next prev parent reply other threads:[~2013-07-20 14:44 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-07-20 14:19 Kconfig test scripts Sam Ravnborg
2013-07-20 14:44 ` Yann E. MORIN [this message]
2013-07-25 20:21 ` Sam Ravnborg
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20130720144402.GE3507@free.fr \
--to=yann.morin.1998@free.fr \
--cc=linux-kbuild@vger.kernel.org \
--cc=sam@ravnborg.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.