AWS、侵入テスト申請やめるってよ - とある診断員の備忘録
先日twitterを見ていたら、こんなつぶやきを拝見して、個人的に侵入テスト申請には色々思い入れのある身であるため、ビックリした「とある診断員」です。 あれ？AWSの侵入テスト申請いらなくなりました？ pic.twitter.com/Z6ULU10SMy— 三ツ矢 ◎=3 (@328__) March 1, 2019 このブログでもとりあげましたが、今までAWSはペネトレーションテストや脆弱性診断などを実施する際に、AWS側への事前の申請が必要だったのですが、今回ポリシーの変更があったらしくどうやら不要になったようです。 ということで、私も自分で確認をしてみました。 Penetration Testing - Amazon Web Services (AWS) 現在日本語版サイトは、翻訳が間に合ってないようでまだ更新されてないようですが（2019/3/5確認）、英語版の方は記載内容がガラリ
#45 – Why Amazon Chose TLA +
仕様検証言語 TLA+ の AWS における使用事例について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。 Why Amazon Chose TLA + | SpringerLink (Google Scholar) How Amazon Web Services Uses Formal Methods Practical TLA+: Planning Driven Development: Hillel Wayne Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers: Leslie Lamport TLA+tlaplus/tlaplus: TLC is an explicit state
AWSにおける形式手法 - masateruk’s blog
AWSにおける形式手法の記事（https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf）を読んだ。特に重要だと思われる示唆を3つあげると以下の通り。 産業界では長年形式手法は多大な工数をかけて比較的容易なコードの断片を検証するというイメージがあったが、これはまったくの誤り。現実の問題に適用可能である アマゾンでは10の現実のシステムに適用して、すべてで効果が得られた。難解なバグの発見したり、正当性を犠牲にすることなく確信を持って最適化を施せた 7つのチームでTLA+を使用。エンジニアは2−3週間で学習することができる 以下は、読んでいる途中で書きだした要点。 AWSでは2011年以降形式仕様とモデル検査を使用している 複雑な分散システムを検証するにあたって、従来の手法 ― 設計レビュー、コードレビュー、静的解析、ストレス
週刊Railsウォッチ（20171201）JSON PatchでRails高速化、Knapsack Proでテスト高速化、Decorator/Presenter gem比較ほか｜TechRacho by BPS株式会社
2017.12.01 週刊Railsウォッチ（20171201）JSON PatchでRails高速化、Knapsack Proでテスト高速化、Decorator/Presenter gem比較ほか こんにちは、hachi8833です。マカーな皆さまはHigh Sierraアップデートお済みでしょうか。 macOS High Sierra なかたは，昨日ネットを騒がせた対策法についての議論はすべて忘れて，すぐに App Store からセキュリティアップデートを行ってください。再起動不要 — Haruhiko Okumura (@h_okumura) November 30, 2017 続報: macOS High Sierra脆弱性パッチに別の不具合、ファイル共有できなくなる恐れ。ただし修正は簡単 12月最初のウォッチ、いってみましょう。 Rails: 今週の改修 MemCacheSto
AWS CodeBuildにRailsのテストを実行してもらう - Qiita
株式会社LITALICOでエンジニアをやっております@Takuan_Oishiiです。 この記事は『LITALICO Advent Calendar 2016』23日目の記事です. 23日目はAWS re:Invent 2016で発表されたAWS CodeBuildでRailsのテストを実行してもらう話をお届けします🎁 CIツールを検討しているRails開発者の方の参考になれば幸いです. はじめに テスト, してますか? セコム, してますか? LITALICOではCircleCIを使ってRailsアプリに対してRSpecで記述したテストを実行しています. GitHubにブランチをpushする, あるいはpull requestをマージすると自動でCircleCIが該当ブランチのテストを実行してくれるようにしています. 最近はコードレビューの負担減などを目的に, プルリクを小さく出すこと
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - adhorn/aws-chaos-scripts: DEPRECATED Collection of python scripts to run failure injection on AWS infrastructure
LocalStack
形式手法で捗る！インフラ構成の設計と検証
形式手法と AWS のおいしい関係。- モデル検査器 Alloy によるインフラ設計技法 #jawsfesta
GitHub - localstack/localstack: 💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline
AWS Device Farm （AWS クラウドで実際のデバイスを使用してアプリをテスト） | AWS
fakes3 と fakefs で Amazon S3 連携のテストを書いてみた - あらびき日記