From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-11.3 required=3.0 tests=BAYES_00,DKIMWL_WL_MED, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS,URIBL_BLOCKED,USER_IN_DEF_DKIM_WL autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 5B27EC388F9 for ; Thu, 22 Oct 2020 16:26:58 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by mail.kernel.org (Postfix) with ESMTP id DC7F52463F for ; Thu, 22 Oct 2020 16:26:57 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=google.com header.i=@google.com header.b="JtM0iJmE" Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S2897065AbgJVQ05 (ORCPT ); Thu, 22 Oct 2020 12:26:57 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:51586 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S2896986AbgJVQ05 (ORCPT ); Thu, 22 Oct 2020 12:26:57 -0400 Received: from mail-il1-x143.google.com (mail-il1-x143.google.com [IPv6:2607:f8b0:4864:20::143]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 44E9DC0613CE for ; Thu, 22 Oct 2020 09:26:57 -0700 (PDT) Received: by mail-il1-x143.google.com with SMTP id p10so2274924ile.3 for ; Thu, 22 Oct 2020 09:26:57 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=KZFvf3Ldb3rFeZOwf1If8ODWGX8g/S9h9Con/ZQJhTY=; b=JtM0iJmE6RRrEXd+MT7jIZKLx0kAkZLPovF2TeerZFALAeroqqLSOZx4PrKi7hUI4g 0yuWHR4xm/tThpgwo+RNiM8gVwLCvPyEsTLFQfRu3ZKkWLKShfIOoAGQ4n9o/cl3CEYA 4BwklKnalgc8nHYmDPIvBgR/l97VhTaCwKmwt/58IfI/RFBlrcarYyAr+JOTWMMDI12X 9i6zmQSr6okD6AsOvbYBJft619i0VdbZWL7pfDFqzj8y/o9fBMiVqZ2VlTYB6rmSHWxj 170s+EUHyq4tNm5nmLaFUONUYWPbAvnHKBxNj38eR3E6eZdNIaUjFI4CDB8F6Z/WK6g4 fM4g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=KZFvf3Ldb3rFeZOwf1If8ODWGX8g/S9h9Con/ZQJhTY=; b=nPS3ofUic7lVin04fFRLIjnw0B5QlwZaeHyjP+J97mVUuR81+HMp1CqwGbb2GEuSMs MaO3Wy7IuQIhZIvw8TDxPKB/An+AZUp6uOPSVJOH5RxyjDexOwamnBbSJqDoIUCupsFy GG9pnNBkO+R60CCBEZ7ZmT4AjUYqoz8laVWWpmw/tLCCgcnZsuBMJkUI+O160fxp4u3+ CtY5cJ3y4GjQ/Ao2FIfrc2DL+cRfwJu4+1EIIouJEmyehW8OSulSjvaPIB6C/+BYT4Ik PNJxmtVMWS+L/4kluEy3LBXZ4m/08XYVizVDnyeGm9yQ5b/gMngKHo8PEr0TX2NtKNZb yu8A== X-Gm-Message-State: AOAM530rbPJfER7WwmEHphDHi/3dBmhItrMgDQtjBfWIIL1o+pSK99Pb Qbl1+wJl6MP4iPJ3sV233cukqkJP2+ABuxW3br9UmQ== X-Google-Smtp-Source: ABdhPJw0PaEY23SWooD58Hk6Txf21V5SNFAkA1N1WbunJIPEbRw4F9u/rwglgWIKXyXVJqnuwKqwn0u6tH8TaSTeIkc= X-Received: by 2002:a92:cf44:: with SMTP id c4mr1547289ilr.110.1603384016294; Thu, 22 Oct 2020 09:26:56 -0700 (PDT) MIME-Version: 1.0 References: <20201019224556.3536790-1-dlatypov@google.com> <20201022150648.GH4077@smile.fi.intel.com> In-Reply-To: <20201022150648.GH4077@smile.fi.intel.com> From: Daniel Latypov Date: Thu, 22 Oct 2020 09:26:45 -0700 Message-ID: Subject: Re: [PATCH] lib: add basic KUnit test for lib/math To: Andy Shevchenko Cc: David Gow , Brendan Higgins , Linux Kernel Mailing List , "open list:KERNEL SELFTEST FRAMEWORK" , Shuah Khan Content-Type: text/plain; charset="UTF-8" Precedence: bulk List-ID: X-Mailing-List: linux-kselftest@vger.kernel.org On Thu, Oct 22, 2020 at 8:06 AM Andy Shevchenko wrote: > > On Wed, Oct 21, 2020 at 10:47:50AM -0700, Daniel Latypov wrote: > > On Tue, Oct 20, 2020 at 8:40 PM David Gow wrote: > > > On Tue, Oct 20, 2020 at 6:46 AM Daniel Latypov wrote: > > > > > > > > Add basic test coverage for files that don't require any config options: > > > > * gcd.c > > > > * lcm.c > > > > * int_sqrt.c > > > > * reciprocal_div.c > > > > (Ignored int_pow.c since it's a simple textbook algorithm.) > > > > > > > I don't see a particular reason why int_pow.c being a simple algorithm > > > means it shouldn't be tested. I'm not saying it has to be tested by > > > this particular change -- and I doubt the test would be > > > earth-shatteringly interesting -- but there's no real reason against > > > testing it. > > > > Agreed on principle, but int_pow() feels like a special case. > > I've written it the exact same way (modulo variable names+types) > > several times in personal projects. > > Even the spacing matched exactly in a few of those... > > But if you would like to *teach* somebody by this exemplary piece of code, you > better do it close to ideal. > > > > > These tests aren't particularly interesting, but > > > > * they're chosen as easy to understand examples of how to write tests > > > > * provides a place to add tests for any new files in this dir > > > > * written so adding new test cases to cover edge cases should be easy > > > > > > I think these tests can stand on their own merits, rather than just as > > > examples (though I do think they do make good additional examples for > > > how to test these sorts of functions). > > > So, I'd treat this as an actual test of the maths functions (and > > > you've got what seems to me a decent set of test cases for that, > > > though there are a couple of comments below) first, and any use it > > > gains as an example is sort-of secondary to that (anything that makes > > > it a better example is likely to make it a better test anyway). > > > > > > In any case, modulo the comments below, this seems good to me. > > > > Ack. > > I'll wait on Andy's input before deciding whether or not to push out a > > v2 with the changes. > > You need to put detailed comments in the code to have it as real example how to > create the KUnit test. But hey, it will mean that documentation sucks. So, Out of curiosity * By "it will mean that documentation sucks," do you mean that the documentation will rot faster if people are using the existing in-tree tests as their entrypoint? * What level of detailed comments? On the level of kunit-example-test.c? * More concretely, then we'd have a comment block linking to the example and then describing table driven unit testing? * And then maybe another block about invariants instead of the perhaps too-terse /* gcd(a,b) == gcd(b,a) */ ? > please update documentation to cover issues that you found and which motivated > you to create these test cases. > > Summarize this, please create usable documentation first. Sounds good. I'm generally wary people not reading the docs, and of documentation examples becoming bitrotted faster than actual code. But so far KUnit seems to be doing relatively well on both fronts. usage.rst is currently the best place for this, but it felt like it would quickly become a dumping ground for miscellaneous tips and tricks. I'll spend some time thinking if we want a new file or not, based on how much I want to write about the things this test demonstrated (EXPECT_*MSG, table driven tests, testing invariants, etc). In offline discussions with David, the idea had come up with having a set of (relatively) simple tests in tree that the documentation could point to as examples of these things. That would keep the line count in usage.rst down a bit. (But then it would necessitate more tests like this math_test.c) > > -- > With Best Regards, > Andy Shevchenko > >