CI/CD Conference 2021 で Zelkova の論文について話してきました - チェシャ猫の消滅定理
こんにちは、チェシャ猫です。 先日開催された CI/CD Conference 2021 で、AWS の IAM Access Anazlyer のバックエンドとして使用されている検査エンジン Zelkova、およびその元となった論文について発表してきました。公募 CFP 枠です。 発表の大筋は、少し前に July Tech Festa 2021 で登壇した際のものと共通です。関連リンク集などは以下の記事にまとめてあるので、よかったらこちらも合わせてお読みください。 ccvanishing.hateblo.jp 内容面では、前回の発表時間 20 分に対して今回は 40 分の枠をもらっていたので、 Level 1-3 として定式化した「検査水準」とツールの対応を明確にすること Zelkova による IAM Policy の SMT エンコードについてより具体的に述べること の 2 点を中心
「DevOps」を全く知らない人のために「DevOps」の魅力を伝えるための「DevOps」入門 - Qiita
2018年現在において、「DevOps」という言葉を耳にしたことがない人は少ないかもしれませんが、本稿では以前に書き記したメモをベースとして「DevOps」の概要を紹介したいと思います。 「DevOps」とは 「DevOpsがあるとき、DevOpsがないとき」にみるDevOps導入のメリット DevOpsを実現するためには 「DevOps」とは 「DevOps（デブオプス）」とは、 開発手法やツールを使って 開発者（Development）と運用者（Operations）が密接に連携することで、 より柔軟かつスピーディーに システムを開発することです。 DevOpsが登場したのは2009年 「DevOps」という言葉は2009年に行われたFlickrのエンジニアによるセッション、「10+ Deploys Per Day: Dev and Ops Cooperation at Flickr」
新卒１年目が荒れ果てた開発環境に１年間でCIを導入し単体テストを布教した話 - Qiita
この記事は 「Develop fun!」を体現する Works Human Intelligence Advent Calendar 2020 21日目の記事です。 昨日の記事は@sparklingbabyさんのStream API がもっとわかる記事でした。 あらすじ 私は2019年にWorks Human Intelligence（正確には分社前の会社）に新卒入社し、 19年10月からプロダクト開発部門に配属され、SETエンジニアとしてとある製品のJava開発環境の改善に取り組んでいます。 ざっくりとプロダクト開発を紹介するとこんな感じです。 3万クラス程度ある大規模Java Webアプリケーション 開発環境はEclipseを使用 開発者のOSはWindowsのみ Before 私が開発チームに参加した時点では 部門として新規開発に注力しており、足下の環境改善をやる担当者がおらず、 い
オープンソースのJenkinsとConcourse CIを比較
「Jenkins」と「Concourse CI」の比較 「Jenkins」と「Concourse CI」は、継続的インテグレーション機能を提供します。 Jenkins 概要 Jenkinsは「継続的なソフトウェアのビルド/テストを行う機能」と「外部で起動するジョブ実行の監視機能」を提供します。 多くのユーザーが使用しています。 メリット ・旧バージョンも管理できる ・情報が得やすい(ユーザー数が多くコミュニティが活発) ・どのようなスクリプトにも対応できる高い汎用性 ・豊富なプラグインによる優れた拡張性 ・対応言語の多さ ・テスト結果(xUnit形式)をレポートとして表示できる デメリット ・Jenkins用サーバを構築する必要がある ・属人的になりやすい(Jenkins職人) ・設定項目が多い ・変更に関するヒストリ機能がない ・CIプロセスが多数のサードパーティ製プラグインに依存してし
WEB+DB PRESS Vol.107にCircleCI特集を寄稿しました。 - 日々、とんは語る。
今月24日発売のWEB+DB PRESS Vol.107に実践CircleCIという特集を寄稿しました。WEB+DBへの寄稿は、Vol.58のEmacs、Vol.86のAtomに続いて3回目となりますが、初めてエディタ以外の内容で記事を書かせてもらいました。 なぜCircleCI特集を書いたのか。 今回、WEB+DBにCircleCI特集を書いた一番理由は、WEB+DBの献本者リストから外れてしまったため、何か寄稿しなければWEB+BDが貰えなくなってしまったからというのが大きな理由です。 WEB+BDでは、原稿を書くと献本者リストにリストアップされ、しばらくの間、献本が行われるという素晴しい仕組みがあるのですが、献本者リストには定員があり、古い人から順番に卒業してしまう制度となっています。前回、寄稿したのが2015年だったのですが、それから約3年が経ち、ついに2010年の寄稿から初めて献
Emacsのバージョンマネージャ "evm" がEmacs LispのCIにおすすめ - Copy/Cut/Paste/Hatena
RubyのrbenvやPHPのphpenvと同じように、Emacsにもバージョンマネージャがあります。 まあ、だいたいの人は最新のEmacsをエディタとして、もしくは環境として利用していると思いますので、普通のEmacsユーザにはあまり必要ないかもしれません。 ただ、Emacs LispをCIにかけるときに真価を発揮します。そうです、EmacsはEmacs Lispの実行環境でしたね。 なのでEmacsにもバージョンマネージャが必要になります。そうです。必要です。 evm https://github.com/rejeep/evm evmはf.elでも有名なrejeepさんがメンテナンスをしています。 使い方は、 evm install [version] でバージョンを指定してインストールする evm use [version] で指定のバージョンのEmacsを使う と、RVMに似ていま
Vim プラグインを Windows 環境でテストする - 永遠に未完成
最近は専ら Vim script 向けテスティングフレームワーク themis.vim を作っているわけですが、テストを書いたら当然実行しないと意味がないわけです。 しかし手動でテストするのは面倒。そこで CI。設定しておけばリモートのリポジトリに push した時に自動でテストを走らせてくれます。 Linux 環境用の CI サービスはたくさんあるので、Travis CI なり drone.io なり自由に使えば良いと思います。便利。 しかし Vim はマルチプラットフォーム。当然 Windows 環境でもテストしたいですよね。と言うわけで Windows 環境で CI できるサービスと、そこで themis.vim を使ってテストを走らせる設定例を紹介します。全部無料でできます。 と言うわけで CI サービス AppVeyor を使います。 Continuous Integration
Developers.IOが更新されたらYoするDEVIOを作った | DevelopersIO
はじめに 皆さん、Yoしてますか？ 相手にYoを送りつけるだけの不思議なソーシャルネットワーク「Yo」ですが、皆さんいまいち使い道のわからないまま、Yoが来たら機械的にYoを返すような状況になっているのでは無いでしょうか。しかしYo APIを使えば様々なアプリケーションが作れる...ということで世の流行から周回遅れもいいとこなんですけど、Yoを使って本ブログ「Developers.IO」が更新されたらYoを送るだけのスクリプトを書いてみました。 ソースコード #!/usr/bin/ruby require 'rss' require 'net/http' YO_API_TOKEN = "edit_your_api_token_strings" def rss_yo(url) lastupdate = Date.new rss = open(url) do |data| RSS::Parse
Jenkinsの使い勝手をよくするための見直し6点 ｜ Developers.IO
今回の課題 こんにちは植木和樹です。7月にserverspecを使ったChefの自動テストのエントリを書きました。 【AWS】JenkinsとserverspecでChefのテストを自動化する このエントリは初めてJenkinsを触った時に書いたので、いろいろと流儀がわかっていませんでした。その後弊社にJenkinsマイスターの渡辺修司さんが入社したということで、Jenkinsの設定について見てもらいました。その時に次の6点を見直すよう指摘がありました。 ジョブは意味ある単位で1つにまとめるべし ジョブで実行するシェルスクリプトもgitから取得すべし EC2の起動に失敗したら後続処理を停止させるべし serverspecの実行結果はJUnit（XML）形式で出力すべし 実行結果のXMLをJenkinsで読み込んで統計グラフを出力すべし 定時実行でなくgit push hookを入れるべし
Vagrant + Chef Solo + serverspec + Jenkins でサーバー構築を CI - naoyaのはてなダイアリー
Jenkins おじさんと戯れること半日、うまくいったので備忘録を残しておく。 やりたかったのは Chef で構築したサーバーを Jenkins で CI する、というもの。このときサーバーはテストが終わる度に破棄して、テスト開始時に再度真っ新な状態から立ち上げたい。(こういうサーバーを壊して作ってというテストはなんという名前で呼ばれるのだろう?) 仮想サーバーを破棄/作成をプログラマブルにやるのはもちろん Vagrant プロビジョニングは Chef Chef の環境を整えるのに knife-solo 0.3.0.pre3 テストは serverspec コードは Github に上げる (https://github.com/naoya/jenkins-vagrant-test) CI は Jenkins という構成になっている。ひとまず Jenkins や Vagrant はローカル
.NET開発者のためのJenkins入門 - ＠IT
.NET開発者中心 厳選ブログ記事 .NET開発者のためのJenkins入門 ―― ブログ「present」より ―― t_nakamura 2011/11/17 2011/11/19 更新 「.NET開発者中心 厳選ブログ記事」シリーズでは、世界中にある膨大なブログ・コンテンツの中から、特にInsider.NET／.NET開発者中心の読者に有用だと考えられるブログ記事を編集部が発掘・厳選し、そのブログ記事を執筆したブロガーの許可の下、その全文を転載・翻訳しています。この活動により、.NET開発者のブログ文化の価値と質を高め、より一層の盛り上げに貢献することを目指しています。 ■はじめに 仕事でSubversionとTracを使っていますが、残念ながら、「活用できている」とは言えません。「継続的インテグレーション（以下、CI）？ 何それ、おいしいの？」という状態。そもそもCIするために、T
BuildHiveをリリースしました - 川口耕介のブログ
このところ頑張って作っていたBuildHiveがようやっとリリースに漕ぎ着けましたので、使ってやってください。 BuildHiveはCloudBeesのDEV@cloudの一環で、GitHubのリポジトリに対する継続的インテグレーションビルドをとても簡単にセットアップできるサービスです。どなたでも無料で使えます。 トップページには既にBuildHive上でビルドされている様々なプロジェクトが表示されます。新しくプロジェクトをセットアップする為に、BuildHiveにいって右上の赤い「Add your Git repositories」ボタンをクリックします。 GitHubとのOAuth認証を聞かれるので、「Allow」ボタンを押して許可してやってください。 すると、CIビルドをセットアップするGitHubのリポジトリを選ぶ画面が出てくるので、適当なプロジェクトを選んで「Enable」を押し
DevLOVE201112 ビルドをだいじに
DevLOVE Hangar Flight - Snow Barrage -での発表資料です。
Common LispプロジェクトをJenkinsで継続的インテグレーション - 八発白中
Clackのバグ報告を定期的にもらいます。ありがたいことなのですが、そのほとんどが○○の処理系でエラーが出てる、などです。具体的に言えば、追加したシンボルがその処理系の標準パッケージのシンボルとコンフリクトする、とかですね。 こういうつまらないものであれば、自動テストを走らせるだけで簡単に見つかるようなものです。けれど、Clackは現在6000行近くあり、一回テストするのに2分くらいかかるので、コードを変更するたびにすべての処理系でテストするなんて現実的じゃありません。かと言っていつの間にかバグ入ってるという状況は避けたい。 なので重い腰をあげて、Clack Project用にJenkinsさんを立てて継続的インテグレーションすることにしました。できたJenkinsサーバは以下のURLで運用しています。 http://ci.clacklisp.org/ せっかくなのでセットアップの流れをま
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Ansible playbookを書くのが面倒くさいあなたへ